Math Problem Solver

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 con-

clusion 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 → r

b. s ∨ ∼q

c. ∼t

d. p → t

e. ∼p ∧ r → ∼s

f. ∴ ∼q