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. !
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
Langkah Keterangan
1. ~p ∧ q Premis
2. ~p Simplifikasi dari (1)
3. r → p Premis
4. ~r Modus tollen dari (2) dan (3)
5. ~r → s Premis
6. s Modus ponen dari (4) dan (5)
7. s → t Premis
8. t Modus ponens dari (6) dan (7)
Jadi, argument tersebut valid (sahih)
0 komentar:
Posting Komentar