In 41–44 a set of premises and a conclusion are given. Use
the valid argument forms listed in Table 2.3.1 to deduce the
conclusion from the premises, giving a reason for each step as
in Example 2.3.8. Assume all variables are statement variables.
41. a. ,p ~ q S r
b. s ~ ,q
c. ,t
d. p S t
e. ,p ` r S ,s
f. [ ,q