Given the statements: A ⊃ (B • C) / B ⊃ (D ∨ ∼ E) / C ⊃ (E ∨ ∼ D) / A • E.
These statements are:
A) Consistent.
B) Tautologous.
C) Invalid.
D) Logically equivalent.
E) Inconsistent.

Question

Quizplus · Accepted Answer

The statements are consistent because there is no inherent contradiction among them. Given A, it follows that both B and C must be true. From B and C, it follows that either D or ~E, and E or ~D must be true, respectively. Since A and E are true, the conditions can be satisfied without contradiction, making the set of statements consistent.

Given the Statements: a ⊃ (B • C) / B