Proposition 1B
Given the following proposition:
∼[(A ∨ ∼ B) ⊃ X] ⊃ [∼ Y ⊃ (A • X)]
-In Proposition 1B, the main operator is a:
A) Dot.
B) Triple bar.
C) Wedge.
D) Tilde.
E) Horseshoe.

Question

Quizplus · Accepted Answer

The main operator in the proposition is a horseshoe (⊃), which is the conditional symbol. The proposition states that if we don't have (A ∨ ∼ B) implying X, then in order for ∼ Y to be true, A • X must be true.

Proposition 1B Given the Following Proposition