Logika Nalar Matematika Implikasi

Logika implikasi sangat penting dalam matematika mau pun dalam kehidupan sehari-hari. Namun Paman APIQ mengingatkan bahwa orang pada umumnya jarang menggunakan logika implkasi. Mereka cenderung menggunakan logika biimplikasi.

Logika metematika mendefiniskan implikasi sebagai

JIKA p MAKA q

bernilai salah JIKA p = BENAR MAKA q = SALAH.

Selain kondisi di atas, pernyataan implikasi selalu bernilai BENAR.

Mari bermain contoh yang sering digunakan Paman APIQ.

p: turun hujan
q: Geo memakai payung

JIKA turun hujan MAKA Geo memakai payung. BENAR.
Tidak ada masalah dalam hal ini. Jika benar maka benar, masuk akal.

JIKA turun hujan MAKA Geo tidak memakai payung. SALAH.
Kita dapat menerima kenyataan ini. Geo dapat saja basah kuyup kan? Jadi, pernyataan implikasi di atas bernilai SALAH.

JIKA tidak turun hujan MAKA Geo memakai payung.

Benar atau salah pernyataan di atas?
Umumnya orang menganggap pernyataan di atas sebagai salah. Padahal logika matematika mendefinisikan implikasi di atas justru bernilai BENAR.

Mengapa?

Mungkin saja Geo memakai payung untuk melindungi dirinya dari terik matahari. Jadi, pernyataan di atas bernilai BENAR.

JIKA tidak turun hujan MAKA Geo tidak memakai payung. BENAR.

Tidak masalah. Kita dapat memahami jika tidak hujan maka tidak perlu memakai payung. BENAR.

Mari sedikit bermain contoh matematika.

Jika x = 3 maka x kuadrat = 9.

Bagaimana menurut Anda?

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout /  Ubah )

Foto Google

You are commenting using your Google account. Logout /  Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout /  Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout /  Ubah )

Connecting to %s