Statement 1I
Given the following statement:
(G • ∼ M) ⊃ (M ∨ G)
-Statement 1I is:
A) Consistent.
B) Logically equivalent.
C) Tautologous.
D) Contingent.
E) Self-contradictory.

Question

Quizplus · Accepted Answer

The statement (G • ∼ M) ⊃ (M ∨ G) is a tautology because it is true in all possible truth value assignments. The antecedent (G • ∼ M) can never be true simultaneously with the consequent (M ∨ G) being false, making the implication always true.

Statement 1I Given the Following Statement