KONVERS, INVERS, DAN KONTRAPOSISI
 

• Apabila dua pernyataan P dan Q, yaitu dapat ditulis P ⇒Q, maka konvers dari implikasi itu adalah Q ⇒ P.
• Apabila dua pernyataan P dan Q, yaitu dapat ditulis P ⇒Q, maka invers dari implikasi itu adalah ~P ⇒ ~Q.
• Apabiladuapernyataan P dan Q, yaitudapatditulisP ⇒Q, maka kontraposisi dari implikasi itu adalah ~Q ⇒ ~P.

Dari tabel di atas terlihat bahwa,
Implikasi mempunyai nilai kebenaran sama dengan kontraposisi, Sehingga dapat kita katakan bahwa implikasi setara dengan kontraposisi.
p ⇒ q ≡ ~q ⇒ ~p

Invers mempunyai nilai kebenaran sama dengan konvers. Sehingga dapat kita katakan bahwa invers setara dengan konvers.
q ⇒ p ≡ ~p ⇒ ~q .



Sumber:

www.soesilongeblog.wordpress.com
http://www.matematikamenyenangkan.com/logika-matematika/