DISUSUN OLEH:
p ⇔ q dinyatakan benar, jika τ(p) = τ(q) (p dan q mempunyai nilai kebenaran yang
sama).
p ⇔ q dinyatakan salah, jika τ(p) ≠ τ(q) (p dan q mempunyai nilai kebenaran yang
tidak sama).
Jadi nilai kebenaran dari suatu biimplikasi hanya akan bernilai benar apabila
kedua pernyataan bernilai sama. Atau, suatu biimplikasi hanya akan bernilai benar jika
kedua pernyataan bernilai benar atau keduanya bernilai salah.
p q p⇔q
B B B
B S S
S B S
S S B
2. Table kebenaran biimplikasi untuk 3 pernyataan.
C. BENTUK-BENTUK BIIMPLIKASI
1. Biimplikasi berbentuk p(x) ⇔ q(x)
Jika P dan Q merupakan himpunan penyelesaian dari kalimat terbuka p(x) dan
q(x). Pembicaraan S, maka kalimat p(x) ⇔ q(x) menjadi p ⇔ q yang bernilai benar
jika P ≡ Q.
2. Biimplikasi Logis
Dalam kalimat p(x) ⇔ q(x), pada setiap penggantian nilai x yang menjadi
kalimat p(x) benar akan menjadi kalimat q(x) benar dan jika sebaliknya. Kalimat p(x)
⇔ q(x) yang bercirikan demikian dinamakan Biimplikasi logis dengan kata lain p(x)
dan q (x) merupakan kalimat yang merupakan ekuivalen yang dilambangkan dengan
p(x) ≡ q(x). Jika, dua kalimat terbuka disebut dengan ekuivalen, jika dua kalimat
terbuka itu memiliki himpunan penyelesaian yang sama.
Contoh soal:
1. Ayam adalah hewan berkaki empat jika dan hanya jika Kambing adalah hewan berkaki
dua.
Nilai kebenaran dari Ayam adalah hewan berkaki empat (pernyataan pertama)
adalah salah.
Nilai kebenaran dari Kambing adalah hewan berkaki dua (pernyataan kedua)
adalah salah.
Sehingga, nilai kebenaran untuk biimplikasi pada contoh tersebut adalah benar.
2. Kucing berkembang biak dengan bertelur jika dan hanya jika Ayam memiliki dua kaki.
Nilai kebenaran dari pernyataan pertama adalah salah.
Sedangkan nilai kebenaran dari pernyataan kedua adalah benar.
Nilai kebenaran dari salah jika dan hanya jika benar adalah salah. Jadi, nilai kebenaran untuk
contoh tersebut adalah salah.
Sharma S. N., Widiastuti N., Himawan C., dkk. (2017). Jelajah Matematika SMA Kelas XI
Program Wajib. Jakarta: Yudisthira.
Kresnoadi, (2023, 9 mei). Logika Matematika: Ingkaran, konjungsi, disjungsi, implikasi,
biimplikasi | matematika kelas 11. Ruang Guru.
https://www.ruangguru.com/blog/logika-matematika