Using which rules can one infer B using the following statements: (A → B), (C → B), and (C ν A)?
A) hypothetical syllogism and simplification
B) material equivalence and addition
C) constructive dilemma and redundancy
D) disjunctive syllogism and material implication

Question

Quizplus · Accepted Answer

Constructive dilemma allows us to infer B from (A → B), (C → B), and (C ν A) by considering both possibilities (A or C) leading to B. Redundancy is not directly used here, but the inference aligns with the constructive dilemma.

Using Which Rules Can One Infer B Using the Following