Given the statements: P ≡ (S ∨ ∼ A) / A ⊃ (M • J) / J ⊃ (P • S) / J ≡ A
These statements are:
A) Valid.
B) Contradictory.
C) Tautologous.
D) Inconsistent.
E) Consistent.

Question

Quizplus · Accepted Answer

The statements are consistent because they can all be true at the same time. Given J ≡ A, if J and A are true, then M • J (and therefore A) can be true, making S ∨ ∼A true regardless of S's value. J ⊃ (P • S) also holds if P and S are true, which is possible within these conditions.

Given the Statements: P ≡ (S ∨ ∼ A)