1) a) Decide if (q ( p~ q))~ p is a tautology using propositional equivalence and the
laws of logic.
b) Prove that the following argument is valid:
q
q r
p r
p
~
_________
~
c) Replace p, q and r in 1b) by statements and construct an argument.
No clue how to even start. Thank you
1 answer
Many of the symbols aren't showing up. Try rewriting using ∧ and ∨, or & and |.
2 answers