Propositional Logic and Categorical Logic
Paper details:
4 questions- produce a truth table and determine validity for each one
Part 1: Please produce truth-tables for the following four arguments. Then indicate if the argument is valid or invalid.
1. p ? (q v r)
q ? r
? p ? r
2. r ? (p v q)
r & q
? ~p
3. (p & q) v r
~(p v q)
? r
4. p ? (q v ~p)
p
? q