Diketahui premis-premis berikut: 1. Jika sebuah segitiga siku-siku,

maka salah satu sudutnya 90°.
2. Jika salah satu sudut segitiga 90°, maka berlaku theorema phitagoras.
Ingkaran dari kesimpulan yang sah pada premis-premis di atas adalah ....

Pembahasan:
Misal: p = sebuah segitiga siku-siku
q = salah satu sudutnya 90°
r = berlaku teorema phytagoras
Diketahui
1) Jika sebuah segitiga siku-siku, maka salah satu sudutnya 90°.
2) Jika salah sudutnya segitiga 90°, maka berlaku teorema phytagoras.
Premis:          p ⇒ q
                        q ⇒ r
Kesimpulan: p ⇒ r
Ingkarannya: ~(p ⇒ r) = p โดท ~r
Maka, kesimpulan yang diperoleh adalah:
"Sebuah segitiga siku-siku dan tidak berlaku teorema phytagoras."