Bukti Tidak langsung

(indirect proof)
Pertemuan 9
 𝑝 → 𝑞 merepresentasikan pernyataan kondisional “jika p maka q” yang biasa disebut
implikasi
~𝑝 merepresentasikan negasi

Berdasarkan pernyataan kondisional

Jika Tom tinggal di San diego, maka dia tinggal di California”
Converse : “Jika Tom tinggal di California, maka dia tinggal di San Diego” ( False/Salah )
Inverse : “Jika Tom tidak tinggal di San Diego, maka dia tidak tinggal di California” (False/Salah)
Kontraposisi : “Jika Tom tidak tinggal di California, maka dia tidak tinggal di San Diego”
(True/Benar)
 Hukum inferensi negatif( kontraposisi)
Pertimbangkan keadaan berikut, dan terima setiap premis sebagai benar:
1. Jika Matt membersihkan kamarnya, maka dia akan pergi ke bioskop. (𝑃 → 𝑄)
2. Matt tidak pergi ke bioskop. (~𝑄)
Apa yang bisa disimpulkan “Matt tidak membersihkan kamarnya”
Bukti Tidak Langsung

Pada contoh 3 diasumsikan kebalikan dari pernyataan.

Latihan soal