1.4.

Konvers, Invers, dan Kontraposisi

Konvers, Invers dan Kontraposisi adalah bagian dari Implikasi seperti yang sudah di bahas di
Logika Matematika.Konvers, Invers dan Kontraposisi adalah suatu pernyataan Implikasi baru
dari suatu pernyataan implikasi.

1. Konvers adalah perubahan dari satu sistem ke sitem yang lain. Pernyataan q=>p
disebut Konvers dari p=>q.
2. Invers adalah Pembalikan suatu susunan dari suatu susunan yang lazim. Pernyataan
~p=>~q disebut Invers dari p=>q.
3. Pernyataan ~q=>~p disebut Kontraposisi dari p=>q.

Nilai kebenaran Konvers, Invers dan Kontraposisi dari Implikasi:

p q Implikasi Konvers Invers Kontraposisi

p=>q q=>p ~p=>~q ~q=>~p
B B B B B B
B S S B B S
S B B S S B
S S B B B B

Dari tabel diatas diketahui Implikasi ekuivalen dengan kontra posisi atau biasa ditulis dengan

p=>q ≡ ~q=>~p.
LATIHAN SOAL :

1. Dengan Menggunkan table kebenaran, tentukan apakah kalimat-kalimat di bawah ini

adalah equivalen
a. p=>q dengan ~p ˅ q
b. ~ (p ˄ q) dengan ~p ˅ ~q