Contoh

Jika dan hanya jika murid melanggar peraturan, murid akan dihukum.

Kalimat ini berupa bi-implikasi. Karena sehari-hari kita tidak menggunakan jika dan hanya jika, berarti kita harus menggantinya menjadi:

Jika murid melanggar peraturan, ia akan dihukum, tetapi jika tidak, ya tidak dihukum.

Atau:

Jika murid melanggar peraturan, ia akan dihukum, dan jika tidak mau dihukum, ya jangan melanggar aturan.

Aturan penggantiannya adalah:

\begin{aligned} p \Leftrightarrow q &\equiv (p \Rightarrow q) \land (q \Rightarrow p) \\ p \Leftrightarrow q &\equiv (p \Rightarrow q) \land (\neg p \Rightarrow \neg q) \end{aligned}
pq \neg p\neg q p \Rightarrow q q \Rightarrow p \neg p \Rightarrow \neg q p \Leftrightarrow q
SSBB BBBB
SBBS BSSS
BSSB SBBS
BBSS BBBB

Berikutnya: Logika Simbolik

Ditulis oleh
Ari Prasetyo
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
logika implikasi biimplikasi