Jam dan tanggal

    : :

Logika Informatika (Lanjutan)



Operasi-operasi ini diimplementasikan pada penghubung kalimat implikasi.

Konvers
Operasi konvers membalikkan posisi kalimat deklarasi.
a b                Implikasi
b → a                Konvers
Contoh :
Implikasi         : “Jika Andi tidur, maka Andi bermimpi dan mendengkur.”
Konvers           : “Jika Andi bermimpi dan mendengkur, maka Andi tidur.”
Berikut tabel kebenarannya.










Invers
Operasi invers menegasikan kedua kalimat deklarasi.
a → b                Implikasi
¬a → ¬b            Invers
Implikasi         : “Jika Kyle mengerjakan tugas, maka Kyle mendapatkan nilai dari dosen.”
Invers              : “Jika Kyle tidak mengerjakan tugas, maka Kyle tidak mendapatkan nilai dari dosen.”
Berikut tabel kebenarannya

 







Kontraposisi
Operasi kontraposisi membalikkan posisi serta menegasikan kedua kalimat deklaratif.
a → b                Implikasi
¬b → ¬a            Kontraposisi
Implikasi         : “Jika mereka melakukan kejahatan berat, maka mereka dihukum mati.”
Kontraposisi    : “Jika mereka tidak dihukum mati, maka mereka tidak melakukan kejahatan berat.”
Berikut tabel kebenarannya.

 






Jika kita perhatikan bersama hasil operasi pada tabel diatas, maka kita bisa simpulkan bahwa :
Hasil Implikasi ekuivalen (hasil akhir dalam kolom sama) dengan hasil kontraposisi.
Hasil konvers ekuivalen (hasil akhir dalam kolom sama) dengan hasil invers.

Bila ingin mendownload materi ini, kalian bisa klik link dibawah.
 Konvers, Invers, dan Kontraposisi.pdf

No comments:

Post a Comment