STATMENT
Logika Informatika Hallo, pada kali ini saya akan membuktikan bahwa statmen dibawah ini valid atau tidak valid. Soal 1 : “Hari ini tidak panas dan lebih dingui dari hari kemarin. Kita akan pergi berenang hanya jika hari panas jika kita tidak pergi berenang, maka kita akan ikut jalan-jalan dengan perahu, maka kita akan pulang pada saat matahari terbenam jadi, kita akan pulang pada saat matahari terbenam.” Jika dibuktikan dengan tabel kebenarang : ( ~p ^ q) <-> (p ->r) <-> s Jadi, statmen tersebut tidak benar karena tabel kebenarannya menunjukan hasil yang Berbeda .