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

Question

Quizplus · Accepted Answer

The main operator in the proposition is the horseshoe (⊃), which indicates material implication. It connects the antecedent [(A ≡ X) ∨ (Y ⊃ ∼ B)] to the consequent ∼[(X ∨ B) • (A • Y)].

Proposition 1G Given the Following Proposition