PENYEDERHANAAN LOGIKA Dwi Retno Sari,ST.,M.

Kom
Tautologi mempunyai persyaratan :
T
Tautologi adalah suatu ekspresi logika yang selalu bernilai benar
didalam tabel kebenarannya, tanpa mempedulikan nilai kebenaran
dari proposisi-proposisi yang berada didalamnya.
Jika pada tabel kebenaran untuk semua pasangan nilai, variabel-
variabel proposisionalnya yang ada bernilai benar

(A V ~ A) selalu bernilai T
K ontradiksi
ontradiksi

Kontradiksi merupakan kebalikan dari tautologi, dimana ekspresi logika selalu bernilai SALAH
didalam tabel kebenarannya, tanpa mempedulikan nilai kebenaran dari proposisi-proposisi yang
berada didalamnya.

(A  ~A) selalu bernilai F

C Ontingent
Ontingent (Formula
(Formula Campuran)
Campuran)

Contingent adalah suatu ekspresi logika yang mempunyai nilai benar

dan salah didalam tabel kebenarannya, tanpa mempedulikan nilai
kebenaran dari proposisi-proposisi yang berada didalamnya.
Tentukan apakah ekspresi logika ini adalah
tautologis, kontradiksi atau contingent Contoh

(~P V ~Q) ↔ (P ᴧ Q)
K
ontradiksi
ontradiksi

P Q ~P V ~Q ↔ P ᴧ Q
T T F F F F T T T
T F F T T F T F F
F T T T F F F F T
F F T T T F F F F
Tentukan apakah ekspresi logika ini adalah
tautologis, kontradiksi atau contingent

P →(Q V ~R)
P Q R P → (Q V ~R)
T T T T T T T F
T T F T T T T T
T F T T F F F F
T F F T T F T T
F T T F T T T F
F T F F T T T T
F F T F T F F F
F F F F T F T T
Tentukan apakah ekspresi logika ini adalah tautologis, kontradiksi atau
contingent

((P ᴧ Q ) ᴧ (R ᴧ S)) → P
P Q R S ((P ᴧ Q) ᴧ (R ᴧ S)) → P
T T T T T T T T T T T T T
T T T F T T T F T F F T T
T T F T T T T F F F T T T
T T F F T T T F F F F T T
T F T T T F F F T T T T T
T F T F T F F F T F F T T
T F F T T F F F F F T T T
T F F F T F F F F F F T T
F T T T F F T F T T T T F
F T T F F F T F T F F T F
F T F T F F T F F F T T F
F T F F F F T F F F F T F
F F T T F F F F T T T T F
F F T F F F F F T F F T F
F F F T F F F F F F T T F
F F F F F F F F F F F T F