CONTOH PROPOSISI

Premis 1 : Jika saya cinta atau sayang kamu maka saya akan membelikanmu tahu isi
Premis 2 : Jika saya merindukanmu maka saya sayang kamu
Premis 3 : Saya tidak membelikanmu tahu isi
Konklusi : ∴ Saya tidak merindukanmu

Bukti:

P1 = (𝑎 V b) 𝑐
P2 = 𝑑 𝑏
P3 = ~𝑐
∴ ~𝑑

VALIDITAS PEMBUKTIAN LANGSUNG

Modus Tollens langkah 1 dan 3
1. (𝑎 V b) 𝑐 Premis 1 (𝑎 V b) 𝑐
~𝑐
2. 𝑑 𝑏 Premis 2 ∴ ~(𝑎 V b)
3. ~𝑐 Premis 3
4. ~(𝑎 V b) Teknik Modus Tollens 1 dan 3 Modus Tollens langkah 2 dan 6
𝑑 𝑏
5. ~𝑎 ∧ ~b Ekuivalen dengan langkah 4 ~𝑏
6. ~𝑏 Simplifikasi dari langkah 5 ∴ ~𝑑

7. ~𝑑 Teknik Modus Tollens 2 dan 6

Jadi kesimpulannya saya tidak merindukanmu.