Statement 1F
Given the following statement:
∼ [K ⊃ (N ⊃ K)]
-Statement 1F is:
A) Self-contradictory.
B) Contingent.
C) Consistent.
D) Tautologous.
E) Logically equivalent.

Question

Quizplus · Accepted Answer

Statement 1F, ∼ [K ⊃ (N ⊃ K)], is self-contradictory because the inner formula, K ⊃ (N ⊃ K), is a tautology (always true), and negating a tautology results in a contradiction (always false).

Statement 1F Given the Following Statement