Tugas logika matematika 3

Nama : febriyanto maria bang ritan

Kelas :12d
Nim:211210007

1. Buktikan bahwa ~ (p ˄ q)vq adalah Tautologi

p q p˄q ~ (p ˄ q) ~ (p ˄ q) v q
T T T F T
T F F T T
F T F T T
F F F T T

2. Buktikan bahwa ((p v q)˄ ~p) ˄ ~q

p q ~p ~q (p v q) ((p v q)˄ ~p) ((p v q)˄ ~p) ˄

~q
T T F F T F F
T F F T T F F
F T T F T T F
F F T T F F F

3. Buktikan bahwa p → q ≡ ~q → ~p adalah equivalensi

p q ~p ~q p→q ~q → ~p
T T F F T T
T F F T F F
F T T F T T
F F T T T T