If an Assumption for a Conditional Proof Has Been Discharged

Q17: Which of the following is a correct

Q18: A proof is a series of steps

Q19: Using which rule can one infer (A

Q20: A proof that employs reductio ad absurdum

Q21: (p → q) :: (~q → ~p)

Q23: Which of the following is a

Q24: The rule of modus tollens indicates that

Q25: The rule of modus ponens indicates that

Q26: Hypothetical syllogism is an implicational rule.

Q27: (p → q) :: (~p ν q)