TAUTOLOGI

&
KONTRADIKSI
TAUTOLOGI
► Adalah suatu pernyataan yang selalu bernilai benar.
Beberapa contoh tautologi:
► Contoh :
▪ ¬P ∨ P
▪ Modus Ponens
▪ Modus Tollens
▪ Modus Silogisme
 Contoh TAUTOLOGI
■ ¬P ∨ P

P ¬P ¬P ∨P
B S B

S S B

Karena semua Nilai Kebenaran bernilai Benar,

maka ¬P ∨ P merupakan Tautologi
 Contoh Tautologi
■ Modus Ponens: ((P ⇒ Q) ∧ P) ⇒ Q
((P⇒Q)∧P)
P Q (P⇒Q) ((P ⇒ Q)∧P)
⇒Q
B B B
B B
S S B
B S
B S B
S B
B S B
S S
Karena semua Nilai Kebenaran bernilai Benar, maka Modus
Ponens: ((P ⇒ Q) ∧ P) ⇒ Q merupakan Tautologi
 Contoh Tautologi
■ Modus Tollens: ((P ⇒ Q) ∧ ¬Q) ⇒
P ¬P
Q ¬P ¬Q (P⇒Q) ((P ⇒ Q)∧¬Q) ((P⇒Q)∧P)⇒¬P
B B S S B S B
B S S B S S B
S B B S B S B
S S B B B B B

Karena semua Nilai Kebenaran bernilai Benar, maka Modus

Tollens: ((P ⇒ Q) ∧ ¬Q) ⇒ ¬P merupakan Tautologi
 Contoh Tautologi
Modus Silogisme (MS): ((P⇒Q) ∧ (Q⇒R)) ⇒ (P⇒R)
((P⇒Q) ∧
P Q R (P⇒Q) (Q⇒R) (P ⇒ R) MS
(Q⇒R)) B
B B B B
B B B S
B S S B
B B S S B B
S B
B S B S B S S B
B S S B B B B B
S B B B S S B B
S B S B B B B B
S S B B B B B B
S S semua
Karena S Nilai Kebenaran bernilai Benar, maka Modus
Silogisme: ((P⇒Q) ∧ (Q⇒R)) ⇒ (P⇒R) merupakan Tautologi
KONTRADIKSI
► Adalah suatu pernyataan yang selalu bernilai salah.
Beberapa contoh kontradiksi:
► Contoh :
▪ ¬P ∧ P
▪ (P ∨ Q) ∧ (¬P ∧ ¬Q)
 Contoh Kontradiksi
■ ¬P ∧ P

P ¬P ¬P ∧P
B S S

S S S

Karena semua Nilai Kebenaran bernilai Salah, maka

¬P ∧ P merupakan Kontradiksi
 Contoh Kontradiksi
■ (P ∨ Q) ∧ (¬P ∧¬Q)

(P ∨ ( ¬P (P∨Q) ∧
P Q ¬P ¬Q Q) ∧¬Q) (¬P∧¬Q)
B B S S B S S

B S S B B S S
S B B S B S S
S S B B S B S
Karena semua Nilai Kebenaran bernilai Salah,
maka (P∨Q) ∧ (¬P∧¬Q) merupakan Kontradiksi
EKIVALEN ATAU
KESETARAAN
Hukum-hukum Logika

11
12
Rumus Ekuivalensi Tambahan
a) P→Q≡ ~P V Q ≡ ~Q → ~P

b) ~(P → Q) ≡ P Λ ~Q

c) P → (Q→R) ≡ (P Λ Q) →R

d) ~(P ↔ Q) ≡ P ↔ ~Q

e) P↔Q≡ (P→Q) Λ (Q→P)

f) P↔Q≡ (P Λ Q) V (~P Λ ~Q)

g) Q→P≡ ~P → ~Q

h) P → ~Q ≡ Q → ~P

i) Q ↔ ~P ≡ P → ~Q
e) P↔Q≡ (P→Q) Λ (Q→P)≡ (P Λ Q) V (~P Λ ~Q)

(~P V Q) ^ (~Q V P)
Contoh 25

Terbukti
Contoh 26
• Tunjukan bahwa p V −(p V q) dan p V q keduanya ekivalen secara logika
• Penyelesian:
(hk. De Morgan)
(hk. distributif)
(hk. negasi)
(hk. identitas)
Proposisi tidak ekivalen
Soal Latihan

Buktikan ekuivalensi kalimatkalimat berikut dengan tabel kebenaran dan

dengan rumus ekuivalensi:
1)~ (p V ~q ) V (~p Λ ~q ) ≡ ~p
2)~ ((~ p Λ q ) V (~p Λ ~q )) V (p Λ q) ≡ p
3)(p Λ (~ (~p V q))) V (p Λ q) ≡ p
4)P → (Q → R) ≡ P→ (~Q V R) ≡ (PΛQ) → R
5)(~P Λ (~Q Λ R)) V (Q Λ R) V (P Λ R) ≡ R