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:
S | S | B | B | B | B | B | B |
S | B | B | S | B | S | S | S |
B | S | S | B | S | B | B | S |
B | B | S | S | B | B | B | B |
Berikutnya: Logika Simbolik