Question $4(10$ points$)$

Complete the following truth table. Above each of the logical statements are the name of the statement which you can reference

elsewhere in this exam.

Question $5(15$ points$)$

Show the following argument is valid. For the reason in each step, you may use the names of the rules provided in Question $4.$

$qs$

$st$

$pr$

$ts$

notp$q$

:$.$notr$s$

Question $6(10$ points$)$

Prove the following statement. For the reason in each step, you may use the names of the rules provided in Question $4.$

$(pvvnot(p^{{?}^{?}}$not$)vvq)>(pvvqvv(pr))$

Step

Reason