Question 1
Which of the following correctly demonstrates the rule of Conditional Introduction in a formal proof?
Question 2
Which of the following represents a correct step in applying the rule of Biconditional Introduction?
Question 3
Which of the following steps correctly demonstrates the application of the rule of Conjunction Elimination?
Question 4
Which of the following correctly demonstrates the rule of Disjunction Elimination?
Question 5
Which of the following represents a correct application of the rule of Negation Elimination?
