- 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.
p : Hari ini panas,
q : hari ini lebih dingin dari hari kemarin
r : Kita akan pergi berenang,
s : Kita ikut jalan-jalan dengan perahu
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
Tidak ada komentar:
Posting Komentar