LOGIKA INFORMATKA

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

 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) 

terima kasih