Tentukan Kesimpulan dari premis-premis di bawah ini p ∨q ∼q …………

Logikanya begini:
p = aku minum kopi
q = aku minum teh
p v q = aku minum kopi atau teh
ternyata, -q = aku tidak minum teh.
Berarti, aku minum kopi = p
Jadi,
kesimpulannya adalah p

p v q ekuivalen dengan ~p => q
~p => q
~q
------------
~(~p)
= p
Jadi kesimpulannya p (berdasarkan modus tolens)