Problem Set $1$ Submit $(\%)$

$10$ pts

$$

$-6.$

$-10$ pts

$10$ pts

$9.$

$10$ pts

$10$ pts

The derivations below make use of the basic inference rules, but the last four $(7-10)$ also make use of the two

conditional introduction rules.

$\backslash$table$[[2.],[($PvvQ$),($notPharrR$),([$QvvnotR$]$&R$)|--$Q$]]$

$10$ pts

ps

$($P

$1$

$$

$3$

$-10$ pts

$(P$&$Q)|--([QvvR]$&$[PvvnotR])$

$7$

$(PQ),(Q[RS]),(R$&$P)|--(S$&$Q)$

$10$ pts

$5$

$10$ pts