Propositional Logic and Categorical Logic

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