Page 20 - logika matematika

P E M B E L A J A R A N

Definisi :

Dua pernyataan majemuk A dan B dikatakan ekuivalen jika
memiliki nilai kebenaran yang sama, ditulis A = B,
Beberapa ekuivalen yang penting diketahui :
1.Hukum komutatif

p v q = q v p
p ∧ q ≡ q ∧ p
2. Hukum asosiatif
p ∧ ( q ∧ r ) ≡ ( p ∧ q ) ∧ r

p v ( q v r ) ≡ ( p v q ) v r
3. Hukum distributive
p ∧ ( qv p ) ≡( p ∧ q ) v ( p ∧ r )
p v ( q v p ) ≡ ( p v q ) ∧ ( p v r )

4. Hukum de morgan
(p ∧ q) ≡ ~ p v ~ q
~(p v q) ≡ ~ p ∧ ~ q

2.Tautologi
Suatu pernyataan majemuk merupakan tautologi, jika nilai
kebenarannya adalah selalu benar

P ~p P v ~ p

B S B

S B B

tautologi

L O G I K A M A T E M A T I K A 18