EKIVALEN LOGIKA INFORMATIKA

EKIVALEN LOGIKA INFORMATIKA

Soal :
1.  A ^ ( ~A -> A )
2. ~(~A^ (Bv~B )
3. ~A -> ~ ( A -> ~B)
4. (A -> B) -> (A ->~B) -> ~A)
5. (A->(Bv~C)^ ~A^ B

Jawab :
No 3.
No 2
No 1


No 4.
No 5

Comments

Post a Comment

Popular posts from this blog

Contoh Tautologi, Kontradiksi, Kontingen dan Ekuivalensi Logis Beserta Tabel Kebenarannya

Image
A.Tautologi dan Tabel Kebenarannya     Tautologi adalah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya.           * (p ʌ ~q)  p          Ini adalah tabel kebenaran yang menunjukkan Tautologi dengan alasan yaitu semua pernyataannya bersifat benar atau True (T). maka dengan perkataan lain pernyataan majemuk (p ʌ ~q)  p  selalu benar.   B.Kontradiksi dan Tabel Kebenarannya       Kontradiksi adalah kebalikan dari tautologi yaitu suatu bentuk pernyataan yang hanya mempunyai contoh substansi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai kebenaran dari komponen-komponennya.     *(P V Q) Q    C.Kontingen dan Tabel Kebenarannya Kontingensi adalah suatu ekspresi logika yang mempunyai nilai benar dan salah di dalam ...
Read more

Latihan Logika Informatika

. Hari ini tidak panas dan lebih dingin dari hari kemarin. Kita akan pergi berenang hanya jika hari panas. Jika kita tidak pergi berenang, maka kita akan ikut jalan-jalan dengan perahu. Jika kita ikut jalan-jalan dengan perahu, maka kita akan pulang pada saat matahari terbenam. Jadi, kita akan pulang saat matahari terbenam. • Buktikan bahwa argument di atas valid Jawab: Misal : p : Hari ini panas, q : hari ini lebih dingin dari hari kemarin r : Kita akan pergi berenang, s : Kita ikut jalan-jalan dengan perahu t : Kita akan pulang saat matahari terbenam Maka : ~p ∧ q : Hari ini tidak panas dan lebih dingin dari hari kemarin r → p : Kita akan pergi berenang hanya jika hari panas ~r → s : Jika kita tidak pergi berenang, maka kita akan ikut jalan-jalan dengan perahu s → t : Jika kita ikut jalan-jalan dengan perahu, maka kita akan pulang pada saat matahari terbenam Kesimpulan: t Pembuktian : Langkah    Keterangan 1. ~p ∧ q    P...
Read more