Exam 8: Statement Logic: Proofs

(p → q) :: (~q → ~p) expresses which rule of equivalence?

If an assumption for a conditional proof has been discharged, it cannot be used in subsequent lines of the proof.

Which of the following is a correct application of the equivalence rule exportation?

The rule of modus tollens indicates that if we have a conditional and then denial of its antecedent, we may validly infer the denial of its consequent.

The rule of modus ponens indicates that if we have a conditional statement and the affirmation of its consequent, we may validly infer its antecedent.

Hypothetical syllogism is an implicational rule.

(p → q) :: (~p ν q) expresses which rule of equivalence?

Which of the following is a correct replacement for (D • C) → ~(A ⋁ B) using material equivalence?

The rule of commutation applies to conditionals.

Which of the following is a statement of one of the two De Morgan's laws?

Using which rules can one infer B using the following statements: (A → B), (C → B), and (C ν A)?

Which of the following arguments is an instance of modus ponens?

A symbolic argument is valid if and only if its corresponding conditional is a theorem.

Which of the following is a correct application of the equivalence rule commutation?

Which of the following is a correct application of the equivalence rule distribution

The basic principle underlying reductio ad absurdum is that whatever implies a contradiction is false.

According to De Morgan's laws, ~(p ⋁ q) :: (~p • ~q).

Which of the following arguments is an instance of simplification?

Which rule of inference is exemplified by the argument (R → S) \ (R → S) ν T?

The basic idea behind conditional proof is that