Valid atau Tidak Valid (Contoh Soal 1)

Nama           = Muhammad Faisal Yudiansah

NIM             = 2017230135

Jurusan        = Teknik Informatika

Mata Kuliah = Logika Informatika

Universitas Darma Persada

Contoh Soal 1

Soal 1 :
"Hari ini tidak panas dan lebih dingin dari hari kemarin. kita akan pergi berenang jika hari panas. Jika kita pegi 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"
Jika di buktikan dengan menggunakan tabel kebenaran maka

(~p ^ q) <-> (p ->r ) <-> s