Kesimpulan:
Ekuivalensi implikasi dapat diperoleh dengan mengambil kontrapositif dari pernyataan tersebut.
Soal 20
Jika ibu membaca buku, maka ibu mengajar.
Dengan premis tambahan "Ibu mengajar jika dan hanya jika ibu memahami materi", maka kesimpulan yang dapat diambil adalahβ¦
A. Jika ibu membaca buku, maka ibu memahami materi
B. Jika ibu memahami materi, maka ibu membaca buku
C. Ibu membaca buku dan ibu memahami materi
D. Ibu tidak membaca buku atau ibu tidak memahami materi
E. Ibu membaca buku jika dan hanya jika ibu memahami materi
Jawaban: A
Pembahasan:
Premis 1: p β q (Jika ibu membaca buku, maka ibu mengajar)
Premis 2: q β r (Ibu mengajar jika dan hanya jika ibu memahami materi)
Dengan modus silogisme, kita dapat menyimpulkan p β r (Jika ibu membaca buku, maka ibu memahami materi).
Kesimpulan:
Modus silogisme memungkinkan penarikan kesimpulan langsung dari dua implikasi berantai.
Soal 21
Jika kamu pergi ke gym, maka kamu sehat.
Kamu tidak sehat.
Menggunakan modus tollens, kesimpulan yang dapat diambil adalahβ¦
A. Kamu pergi ke gym
B. Kamu tidak pergi ke gym
C. Kamu pergi ke gym atau kamu tidak pergi ke gym
D. Tidak dapat ditarik kesimpulan
E. Kamu sehat atau kamu pergi ke gym
Jawaban: B
Pembahasan:
Modus tollens:
Premis 1: p β q
Premis 2: Β¬q
Kesimpulan: Β¬p
Dengan p = "kamu pergi ke gym", q = "kamu sehat", maka kesimpulan adalah "kamu tidak pergi ke gym".
Kesimpulan:
Modus tollens memungkinkan penarikan kesimpulan dengan menolak konsekuensi dari implikasi.
Soal 22
Jika Budi tidak mengerjakan tugas, maka dia tidak akan bermain.
Budi mengerjakan tugas.