Konvers, lnvers, dan Kontraposisi
Jika implikasi:
p → q
Maka: Konversnya : q → p
Inversnya : ~ p → ~ q
Kontrapositipnya : ~ q → ~ P
Contoh:
Jika Microsoft Word maka Windows sistem operasinya adalah implikasi yang benar, berdasarkan implikasi di atas maka:
Konversennya : Jika Windows sistem operasinya maka Microsoft Word aplikatifnya.
Inversenya : Jika bukan Microsoft Word maka bukan Windows sistem operasinya
Kontrapositipnya : Jika bukan windows sistem operasinya maka bukan Microsoft Word aplikatifnya
Tabel kebenaran
Jadi dapat disimpulkan bahwa proposisi yang saling kontra-positif mempunyai nilai kebenaran yang sama (ekuivalen).
Berdasarkan sifat tersebut maka kita dapat membuktikan suatu dalil dalam bentuk implikasi melalui nilai kebenaran kontra-positipnya.
Contoh:
Buktikan bahwa:
Jika x2 bilangan genap, maka x juga bilangan genap dapat ditulis:
x2 = genap → x = genap
Jawab:
Kontrapositif dari implikasi di atas adalah:
Jika x bukan bilangan genap maka x2 juga bukan bilangan genap.
dapat ditulis:
Jika x = ganjil maka x2 = ganjil
Setiap bilangan bulat bukan genap adalah ganjil, sehingga x ganjil ditulis x = 2k + 1, k bilangan bulat, akibatnya:
Karena k bilangan bulat maka:
k2 juga bilangan bulat
2k juga bilangan genap
2k2 + 2k juga bilangan genap
sehingga x2 = bilangan ganjil, karena bilangan genap ditambah 1 sama dengan bilangan ganjil.
Jadi kontrapositipnya benar akibatnya implikasinya juga benar.
Thanks for reading Konvers, lnvers, dan Kontraposisi. Please share...!