Tautologi,

Kontradiksi dan
Kontingesi
ARLITA GITA - BAYU WAHYU AJI - ROFINA BAHUS
 Tautologi

Tautologi adalah sebuah formula (statement atau

proposisi majemuk) yang selalu bernilai benar
untuk setiap nilai variabel proposisi.
 contoh
BUKTIKAN B AH W A N OTAS I P ˅ ~ (P ˄ Q) ADAL AH TAUTOL OGI !

Jawab:
Tabel Kebenaran
Kontradiksi

Kontradiksi adalah sebuah formula (statement atau

proposisi majemuk) yang selalu bernilai salah untuk
setiap nilai variable proposisi. (kebalikan dari
tautology).
 contoh
TUNJUKAN BAHWA NOTASI (P ˄ Q) ~ (P ˅ Q) MERUPAKAN
SEBUAH KONTRADIKSI!

JAWAB:
TABEL KEBENARAEAN
Kontingensi

Sebuah statement (proposisi

majemuk) disebut kontingensi bila
statement tersebut tidak tergolong
tautologi maupun kontradiksi.
CONTOH

Tunjukan bahwa [(P ˄ Q) → R] → P merupakan kontingensi.

Jawab:
Table kebenaran