Hello, I need help writing proofs for a logic and moral reasoning philosophy class. The proofs are for: 1. Premises: q -> (q &~ q) Conclusion: ~q 2. Premises: k & l
PHI 1600
Spring 2021
(1) Premises: q -> (q &~ q)
Conclusion: ~q
(2) Premises: k & l
Conclusion: (k - > l) & (l -> k)
(3) Premises: p & (q V r), p -> ~r
Conclusion: q V e
(4) Premises: ~(p -> q)
Conclusion: ~q
(5) Premises: (a V b) & (c V d), a -> (e -> (c &d)), c <-> ~d
Conclusion: e -> b