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.

Jam dan tanggal