soal menjelaskan kebenaran statement dari kalimat
1. 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
Misalkan, 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
~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 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)
Tidak ada komentar:
Posting Komentar