Konvers, Invers dan Kontraposisi

1. Konvers
    adalah pernyataan majemuk yang berbentuk q => p. Pernyataan q => p disebut konvers dari p => q.
2. Invers
    adalah pernyataan majemuk yang berbentuk ~p => ~q. Pernyataan ~p => ~q disebut invers dari p => q.
3. Kontraposisi
    adalah pernyataan majemuk yang berbentuk ~q => ~p. Pernyataan ~q => ~p disebut Kontraposisi dari
    p => q.

Tabel Kebenaran Konvers, Invers dan Kontraposisi

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

Kesimpulannya :

1) Implikasi ekuivalen dengan Kontaposisi

    p => q = ~q => ~p

2) Konvers ekuivalen dengan Invers

    q => p = ~p => ~q

Contoh :

Tentukan konvers, invers dan kontraposisi dari pernyataan dari :

1) Jika dia rajin belajar maka lulus ujian

    Jawab :

    Konvers  (q => p)

    * Jika dia lulus ujian maka dia rajin belajar

    Invers (~p => ~q)

    * Jika dia tidakrajin belajar maka dia tidak lulus ujian

    Kontaposisi

    * Jika dia tidak lulus ujian maka tidak rajin belajar

sekian dari saya, semoga bermanfaat :)