PERTEMUAN 3

TAUTOLOGI, KONTRADIKSI,
DAN CONTINGENT

Dosen Pengampu :
Sukma Puspitorini, ST. M.Kom

Prodi Teknik Informatika STMIK NH 1

 POKOK BAHASAN

MEMBUAT TABEL KEBENARAN SUATU PROPOSISI DAN

MENENTUKAN APAKAH PROPOSISI TERMASUK TAUTOLOGI,
KONTRADIKSI, DAN CONTINGENT.

Prodi Teknik Informatika STMIK NH 2

 3.1 TAUTOLOGI

Tautologi adalah suatu bentuk kalimat yang selalu

bernilai benar (True) tidak peduli bagaimanapun
nilai kebenaran masing-masing kalimat
penyusunnya.
Contoh :
1. Tunjukkan bahwa proposisi p(q) adalah tautologi
p q q Pernyataan
p(q) bukan tautologi
T T F T
T F T T
F T F F
F F T T
Prodi Teknik Informatika STMIK NH 3
 Buktikan pernyataan p(q) q adalah tautologi

p q q p(q) p(q) q
T T F T T
T F T T T
F T F F T
F F T T T

 Karena semua pernyataan bernilai benar atau true maka

terbukti bahwa proposisi merupakan tautologi

Prodi Teknik Informatika STMIK NH 4

2. Tunjukkan bahwa (pq)  [(p)  (q)] adalah tautologi!

p q p q pq pq xy

(x) (y)
T T F F T F T
T F F T T F T
F T T F T F T
F F T T F T T

Prodi Teknik Informatika STMIK NH 5

 3.2 KONTRADIKSI

Kontradiksi adalah suatu bentuk kalimat yang selalu

bernilai salah (False) tidak peduli bagaimanapun
nilai kebenaran kalimat penyusunnya.
Contoh :
1. Tunjukkan bahwa proposisi p(q) adalah kontradiksi
Tidak benar bahwa pernyataan diatas
adalah
p kontradiksi
q q p(q)
T T F F
T F T T
F T F F
F F T F
Prodi Teknik Informatika STMIK NH 6
2. Tunjukkan bahwa (pq)  [(p)  (q)] adalah kontradiksi!

p q p q pq pq xy

(x) (y)
T T F F T F F
T F F T T F F
F T T F T F F
F F T T F T F

Karena dapat dibuktikan bahwa nilai kebenaran pernyataan

diatas adalah false semua, maka pernyataan terbukti kontradiksi

Prodi Teknik Informatika STMIK NH 7

 3.3 CONTINGENT

 Jika pada semua nilai kebenaran menghasilkan nilai F dan T,

maka disebut formula campuran (contingent).
Contoh :
1. Tunjukkan bahwa proposisi  p(q) adalah contingent

p q p q p q
T T F F F
T F F T T
F T T F T
F F T T T

Prodi Teknik Informatika STMIK NH 8

2. Tunjukkan bahwa [(pq)  r]  p adalah contingent

p q r pq (pq)  r [(pq)  r]  p

T T T T T` T
T T F T F T
T F T F T T
T F F F T T
F T T F T F
F T F F T F
F F T F T F
F F F F T F

Prodi Teknik Informatika STMIK NH 9

selesai

Prodi Teknik Informatika STMIK NH 10