B S S S B B

S B B B S B
S S B S B B

Karena pada tabel kebenaran di atas benar semua, maka

pernyataan di atas suatu tautologi

2. Implikasi Logis dan Ekuivalen Logis

Suatu bentuk pernyataan implikasi yang merupakan
tautologi disebut implikasi logis.

Contoh 3.15:
Selidikilah apakah bentuk pernyataan majemuk [( p 
q)p]  p merupakan implikasi logis atau bukan.

p q p q (p  q )  p [( p  q)p] p
B B B B B
B S S S B
S B B S B
S S B S B

Dua atau lebih pernyataan majemuk yang mempunyai nilai

kebenaran sama disebut ekwivalen logis dengan notasi “  “
atau “  “

Contoh 3.16:
Selidikilah apakah bentuk pernyataan majemuk p q
ekivalen logis dengan
(p  q)  (q  p)

p q p q p q q p (p  q)  (q  p)
B B B B B B

59 | Logika Matematika