Konvers Invers dan Kontraposisi

Konvers

Apabila dua pernyataan P dan Q, dapat ditulis P => Q, maka Konvers dari implikasi tersebut adalah Q
=> P. Kesimpulannya, konvers adalah kebalikan dari implikasi.

Untuk memperoleh pernyataan konvers dari pernyataan yang berbentuk “jika-maka” (implikasi), kita
harus menukar anak kalimat yang mengandung kata “maka” dengan anak kalimat yang mengandung
kata “jika”

Contoh konvers :

P : x^2 bilangan asli

Q : x adalah bilangan asli

Implikasi : Jika x^2 bilangan asli, maka x adalah bilangan asli

Konvers : Jika x adalah bilangan asli, maka x^2 bilangan asli

Invers

adalah apabila dua pernyataan P dan Q, dapat ditulis P Q, maka invers dari implikasi tersebut adalah

~P => ~Q. Jadi kesimpulannya invers merupakan negasi dari implikasi P => Q.

Contoh Invers :

P : Fungsinya Linear

Q : Grafiknya garis lurus

Implikasi : P => Q

Jika fungsinya linier, maka grafiknya garis lurus

Invers : ~P => ~Q

Jika fungsinya bukan linier, maka grafiknya bukan garis lurus

Kontraposisi

Adalah apabila dua pernyataan P dan Q, yaitu dapat ditulis P => Q, maka kontraposisi dari implikasi
tersebut adalah ~Q => ~P

Contoh Kontraposisi

P : Harga naik

Q : Permintaan turun

Implikasi :

Jika harga naik, maka permintaan turun.

Invers :

Jika permintaan tidak turun, maka harga tidak naik.

Tabel Kebenaran Konvers, Invers, dan Kontraposisi

Tabel kebenaran digunakan untuk melihat nilai kebenaran dari konvers, invers, dan kontraposisi
suatu implikasi. Selain itu, kita akan menggunakan tabel kebenarannya untuk melihat hubungan
antara konvers, invers, dan kontraposisi dengan implikasi awalnya.

Dari tabel kebenaran di atas dapat kita lihat bahwa nilai kebenaran implikasi p ⇒ q sama dengan
nilai kebenaran kontraposisi ~q ⇒ ~p sebagai berikut :

τ[p ⇒ q] = τ[~q ⇒ ~p] = B S B B

Selain itu, dapat juga kita lihat bahwa nilai kebenaran dari konvers q ⇒ p sama dengan nilai
kebenaran dari invers ~p ⇒ ~q sebagai berikut:

τ[q ⇒ p] = τ[~p ⇒ ~q] = B B S B

Dengan demikian, dapat kita simpulkan :

1. Implikasi ekuivalen dengan kontraposisi : p ⇒ q ≡ ~q ⇒ ~p

2. Invers ekuivalen dengan konvers : q ⇒ p ≡ ~p ⇒ ~q

3. Implikasi tidak ekuivalen dengan inversnya

4. Implikasi tidak ekuivalen dengan konversnya