Logika

Informatika
Pertemuan-5
 Agenda
01 Tautologi

02 Kontradiksi

03 Kontingensi

11/4/2021 2
01
Tautologi
 01
Tautologi
Sebuah proposisi disebut tautologi jika
hasil akhirnya semuanya benar, tidak
bergantung pada nilai kebenaran
masing-masing proposisi.

Proposisi tautologi dicirikan pada kolom

terakhir pada tabel kebenarannya
hanya memuat T (True) atau B (Benar).

11/4/2021 4
 Contoh Tautologi
p ~p p  ~p Ekspresi logika :

T F T p  ~p
F T T

p q pq ~ (p  q) ~ (p  q)  q Ekspresi logika :

T T T F T ~ (p  q)  q
T F F T T

F T F T T

F F F T T

11/4/2021 5
02
Kontradiksi
 Kontradiksi
Sebuah proposisi disebut kontradiksi
jika hasil akhirnya semuanya salah,
tidak bergantung pada nilai
kebenaran masing-masing proposisi.

Proposisi kontradiksi dicirikan pada

kolom terakhir pada tabel
kebenarannya hanya memuat F (False)
atau S (Salah).

11/4/2021 7
 Contoh Kontradiksi
p ~p p ~p Ekspresi logika :

T F F p ~p
F T F

p q p q ~ (p  q) ~ (p  q)  q Ekspresi logika :

T T T F F ~ (p  q)  q
T F T F F

F T T F F

F F F T F

11/4/2021 8
04
Kontingensi
 Kontingensi
Jika pada semua nilai kebenaran
menghasilkan nilai F(False)/S(Salah) dan
T(True)/B(Benar), maka disebut formula
campuran (contingent).

11/4/2021 10
 Contoh Kontingensi
Ekspresi logika : p q r pq (p  q) → r [(p  q) → r ] → p

[(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
11/4/2021 11
 Latihan (1)
• Tentukan dengan tabel kebenaran, ekspresi logika tersebut termasuk
tautologi/kontradiksi/kontingensi ?

1. (~p → ~q) → (q → p)

2. [p→ (q → r)] → (p → q)

3. ( p  q )  [(p  q)  (~p  ~q)]

4. ~[p  (q  r)]  [(p  q)  (p  r)]

11/4/2021 12
 Latihan (2)
• Diberikan proposisi majemuk sebagai berikut

Jika saya suka menabung maka saya akan mendapatkan kado special dan
tambahan uang jajan.

Misalkan :

p : Saya suka menabung.

q : Saya akan mendapatkan kado spesial.

r : Saya akan mendapatkan tambahan uang jajan.

Tentukan ekspresi logika untuk proposisi di atas dan tentukan apakah termasuk
tautologi, kontradiksi, atau kontingensi!

11/4/2021 13
 05
Terimakasih
Semoga ilmunya bermanfaat!

11/4/2021 14