Tabel Kebenaran pernyataan, Tautologi, kontradiksi, dan kontingen
1. KELOMPOK 2
ARLAN RIDFAN FARID 15.22.1.0122
EVA RATIFAH 15.22.1.0109
MIDA SITI A.B 15.22.1.0142
YENI KURNIATI 15.22.1.0099
TABEL KEBENARAN PERNYATAAN
(TAUTOLOGI, KONTRADIKSI DAN
KONTINGEN)
2. TABEL KEBENARAN PERNYATAAN
Tabel kebenaran ialah suatu tabel yang
memuat nilai kebenaran pernyataan-
pernyataan majemuk.
Rumus tabel kebenaran:
ket: hasil kali di bagi 22n
3. Contoh:
1. pᴧq
Rumus: 22 = 4/2 = 2
2. (pᴧq) →r
Rumus: 23 = 8/2 = 4
p q pᴧq
B B B
B S S
S B S
S S S
p q r pᴧq (pᴧq) →r
B B B B B
B B S B S
B S B S S
B S S S B
S B B S S
S B S S B
S S B S S
S S S S B
4. a). Tabel konjungsi b). Disjungsi
c). Implikasi d) Biimplikasi
p q pᴧq
B B B
B S S
S B S
S S S
p q pᴠq
B B B
B S B
S B B
S S S
p Q P→q
B B B
B S S
S B B
S S B
p q P↔q
B B B
B S S
S B S
S S B
5. 1. TABEL KEBENARAN BIASA
CONTOH:
~ (p ᴧ q)
p q p ᴧ q ~ (p ᴧ q)
B B B S
B S S B
S B S B
S S S B
6. 2. TABEL KEBENARAN SINGKAT
CONTOH:
~ (p ᴧ q)
~ (p ᴧ q)
S B B B
B B S S
B S S B
B S S S
8. 2. Kontradiksi
Pernyataan yang seluruh nilai kebenarannya
S tanpa memandang nilai kebenaran komponen-
komponen penyusunnya.
Contoh:
pᴧ (~p ᴧ q)
p q ~p (~p ᴧ q) pᴧ (~p ᴧ q)
B B S S S
B S S S S
S B B B S
S S B S S
9. 3. Kontingen
Pernyataan yang nilai kebenarannya
merupakan kumpulan dari nilai B dan S, di luar
tautologi dan kontradiksi.
Contoh:
(p → q) ᴧ ~q
p q (p→q) ~q (p→q)ᴧ ~q
B B B S S
B S S B S
S B B S S
S S B B B