B S S S B S

S B S B S S
S S B B B B

Karena p  q mempunyai nilai kebenaran sama dengan (p 

q)(q  p), maka kedua pernyataan majemuk di atas disebut
ekwivalen logis.
Jadi, p  q  (p  q)(q  p)

3. Konvers, Invers dan Kontraposisi

 Jika suatu bentuk implikasi p  q diubah menjadi q 
p disebut konvers
 Jika suatu bentuk implikasi p  q diubah menjadi ~p
 ~q disebut invers
 Jika suatu bentuk implikasi p  q diubah menjadi ~q
 ~p disebut kontraposisi

Adapun skema konvers, invers dan kontraposisi dapat

dilihat sbb:
konvers
p q q p

invers kontaposisi invers

~p  ~q ~q  ~p
Konvers

Contoh 3.17:
Carilah konvers, invers dan kontraposisi dari pernyataan:
“ Jika binatang itu bertubuh besar maka binatang itu
disebut gajah “

Dasar Matematika | 60