Nama : I Kadek Risky Aditya Putra

Nim : 2115091085
Kelas : B

Tugas Dasar Logika

Tabel Kebenaran
p q
p q r
T T
T T T T F
T T F F T
T F T F F
T F F
F T T
F T F
F F T
F F F

Soal

Dari tabel kebenaran yang telah disediakan silahkan cari hasil

dari persamaan berikut, dan tentukan termasuk tautologi atau
kontradiksi

• (p ^ q) →q
• ¬(q → (p v q))
• ¬(p ^ q) v (p ^ q)
• (p v q) →¬(r ^ q)
• ¬((¬q) ^ p) → ((p v q) ^ (p v q))

PENYELESAIAN

Dik :
 p, q, dan r dilambangkan sebagai Proposisi
 ^ disimbolkan sebagai konjungsi
 V disimbolkan sebagai Disjungsi
 ~ disimbolkan sebagai negasi
 → disimbolkan sebagai implikasi
Dit :
 Hasil dari persamaan berikut ?
 Hasil dari persamaan tersebut ditentukan menjadi tautologi atau
kontradiksi
Jawaban :
1. A ( p ^ q ) → q
p q p^q
T T T
T T T
T F F
T F F
F T F
F T F
F F F
F F F

(p^q) q (p^q)→q
T T T
T T T
jadi hasil diri persamaan ( p ^
F F T
q)→q
F F T
adalah termasuk kedalam jenis
tautologi
 F T T
F T T
F F T
F F T

1. B ( p ^ q ) → q
p q (p^q)
T T T
T F F
F T F
F F F

(p^q) q (p^q)→q
T T T jadi hasil diri persamaan ( p ^ q )
→q
F F T
F T T adalah termasuk kedalam jenis
F F T tautologi

2. A , ~( q → (p v q))
p q pvq ( q →( p v q )) ~(q →(p v q ))
T T T T F
T T T T F
T F T T F
T F T T F
F T T T F
F T T T F
F F F T F
F F F T F
Jadi hasil dari permasalahan ~(q →(p v q )) adalah termasuk kedalam jenis
kontradiksi.
2 B ~(q →(p v q ))
p q (pvq) ~(q →(p v q ))
T T T F
 T F T F
F T T F
F F F F
Jadi hasil dari permasalahan ~(q Cp v q )) adalah termasuk kedalam jenis
kontradiksi.
3. A, ~( p ^ q) v ( p ^ q )
p q p^q ~( p ^ q) ~(p ^ q) v ( p ^ q )
T T T F T
T T T F T
T F F T T
T F F T T
F T F T T
F T F T T
F F F T T
F F F T T
Jadi hasil dari permasalahan ~( p ^ q) v ( p ^ q ) adalah termasuk kedalam jenis
Tautologi
3 B, ~( p ^ q) v ( p ^ q )
p q (p^q) ~( p ^ q ) ~(p ^ q) v (p ^ q)
T T T F T
T F F T T
F T F T T
F F F T T
Jadi hasil dari permasalahan ~( p ^ q) v ( p ^ q ) adalah termasuk kedalam jenis
Tautologi
4. ( p V q ) → ~(p ^ q )
p vq ( r ^ q) ~(r ^ q) ( p V q ) → ~(p ^ q )

T T
T F
T F
T F
T T
F F
T T
T T
T T
F F
 T F T F
F F T F
F F T F
Jadi hasi permasalahan dari ( p V q ) → ~(p ^ q ) adalah tidak termasuk
kedalam kedua masalah tersebut
5. A, ¬((¬q) ^ p) → ((p v q) ^ (p v q))
~q ~p^q ~( ~q ^ p) ( (p V q ) ^ (p v q )

F F T T
F F T T
T T F T
T T F T
F T T T
F F T t
T F T F
T F T F
~(( ~q)^p) →(( p v q ) ^ ( p v q ))
T
T
T
T
T
T
F
F
Jadi hasi permasalahan dari ¬((¬q) ^ p) → ((p v q) ^ (p v q)) adalah tidak
termasuk kedalam kedua masalah tersebut

5 B, ¬((¬q) ^ p) → ((p v q) ^ (p v q))

(( p v ) ^ ( p v (~q) (~Q)^P) ~((~q) ^ p) ~((~q)^p →(( p v q ) ^ ( p v q ))
q ))
T F F T T
T T T F T
T F F T T
F F F T F
Jadi hasi permasalahan dari ¬((¬q) ^ p) → ((p v q) ^ (p v q)) adalah tidak
termasuk kedalam kedua masalah tersebut