These notebooks are to be done in SageMath. Turn in the pdf output obtained from Sage.

Math $146$ Prof. Hellen Colman

Logic sage notebook

Display the truth table for the following statements and decide if they are

tautologies.

P $1$ a $$ b

P $2$ a $$ b

P $3$ a $$b

P $4$ a $->$b

P $5($a $$ c$)->(($a $$b$)->$ c$)$

P $6($a $$ b$)($a $$b$)$