Tautologi

Bentuk pernyataan majemuk yang

selalu bernilai benar untuk setiap
substitusi nilai kebenaran
pernyataan-pernyataan tunggalnya.
Contoh:
p  p
pq  q p
Nilai kebenaran dari tautologi mudah
diperiksa dengan menyusun tabel nilai
kebenarannya


Cara 1. Tabel kebenaran dari pq  q p

p q p q q p  pq  q p

T T T T T

T F T T T

F T T T T

F F F F T
1 2 3 4 5


Cara 2. Tabel kebenaran dari pq  q p

p  q  q  p

T T T T T T T

T T F T F T T

F T T T T T F

F F F T F F F
1 3 2 7 4 6 5

Langkah ke-7 Merupakan Nilai Kebenaran dari tautologi

Beberapa Tautologi
 p → (p v q) v r
Alasan :
◘ Jika p bernilai salah, maka implikasi tersebut pasti
bernilai benar (karena pendahulunya salah), dan
◘ Jika p bernilai benar, maka implikasi tersebut
bernilai benar pula sebab pengikut implikasi tersebut
bernilai benar untuk setiap nilai kebenaran q dan r
 pvq→qvp
 pq→pvr
 p → q ↔ ¬p v q
 Kontradiksi

Bentuk pernyataan majemuk yang

selalu bernilai salah untuk setiap
substitusi nilai kebenaran pernyataan-
pernyataan tunggalnya.
Contoh
 p  ¬p
 (p  q)  ¬p
Nilai kebenaran dari kontradiksi diperiksa dengan
menyusun tabel nilai kebenarannya.
Tabel kebenaran dari (p  q)  ¬p

p q p q ¬p (p q)¬p

T T T F F
T F F F F
F T F T F
F F F T F
1 2 3 4 5
 Kontingensi
Bentuk pernyataan yang kadang
bernilai benar dan kadang bernilai
salah untuk setiap substitusi nilai
kebenaran pernyataan-pernyataan
tunggalnya.
Contoh
 p q
 p  q r

Nilai kebenaran dari kontingensi diperiksa dengan

menyusun tabel nilai kebenarannya.
Tabel kebenaran dari p  q r
.
p  q r
T T T T T
T T T F F
T F F T T
T F F T F
F F T T T
F F T T F
F F F T T
F F F T F
1 3 2 5 4
langkah ke-5 merupakan Nilai Kebenaran dari kontingensi