Ekuivalensi Logika
 

Ekuivalensi yang disimbolkan dengan tanda ≡ menandakan bahwa dua atau lebih pernyataan majemuk memiliki nilai kebenaran yang sama. 

Jika pernyataan p dan q dikatakan ekuivalen atau ditulis sebagai p≡q, itu berarti nilai kebenaran pada pernyataan p sama dengan nilai kebenaran pada pernyataan q. 

Berikut adalah beberapa hukum-hukum ekuivalensi logika yang perlu diingat:

Hukum Komutatif

p∧q≡q∧p

p∨q≡q∨p

p↔q≡q↔p

Hukum Asosiatif

(p∧q)∧r≡p∧(q∧r)

(p ∨q)∨r≡p∨(q ∨r)

Hukum Distributif

p∧(q∨r)≡(p∧q) ∨(p∧r)  

p∨(q∧r)≡(p∨q) ∧(p∨r)  

Hukum Negasi ganda

∼(∼p)≡p

Hukum implikasi 

p→q≡∼p∨q

Hukum De morgan

∼(p∧q)≡∼p∨∼q

∼(p∨q)≡∼p∧∼q

Gabungan Hukum Implikasi dengan hukum De Morgan

∼(p→q) ∼(p→q)​≡∼(∼p∨q)≡p∧∼q

​
#materiUTBK2024 #PenalaranUmum #PenalaranKuantitatif