Contoh :
p : Paus adalah mamalia (BENAR) konsep disjungsi hanya akan
q : Paus adalah herbivora (SALAH) bernilai salah jika kedua
p∨q : Paus adalah mamalia atau herbivora (BENAR) pernyataan (p dan q) salah.
3) Implikasi (⟹)
Tabel Kebenaran Implikasi :
Implikasi ditandai dengan notasi ‘⟹’.
Misalkan p, q adalah pernyataan, p q p⟹q
implikasi berikut: B B B
p⟹q B S S
dibaca ‘jika p maka q ’. S B B
S S B
Contoh :
konsep implikasi akan bernilai salah jika dan
p : akar dua dari 4 adalah 2 (BENAR)
hanya jika sebab bernilai benar namun
q : 2 adalah bilangan negatif (SALAH)
akibat bernilai salah.
p ⟹ q : Jika 2 adalah hasil akar dari 4 maka 2
bilangan negatif (SALAH)
4) Biimplikasi (⇔)
Tabel Kebenaran Biimplikasi :
Suatu pernyataan p dan q dapat
digabungkan dengan menggunakan P q p⇔q
kata hubung ‘jika dan hanya jika’ B B B
sehingga membentuk pernyataan B S S
majemuk ‘p jika dan hanya jika q’ S B S
yang disebut biimplikasi yang S S B
dilambangkan dengan “p ⇔ q”.