I know something if, and only if, I have some causal contact with the physical world. If I know something, then there is no demon deceiver. I know something. So, I know something just in case both I have causal contact with the physical world and there is no demon deceiver.
-Which of the following is the best translation into PL of this argument?
A) K ≡ C K ⊃ ∼D
K / K ≡ (C • ∼D)
B) K ≡ C K ⊃ ∼D
K / (K ≡ C) • ∼D
C) K ≡ C K ≡ ∼D
K / K ≡ (C • ∼D)
D) K ≡ C ∼D ⊃ K
K / K ≡ (C • ∼D)
E) K ≡ C ∼D ⊃ K
K / (K ≡ C) • ∼D

Question

Quizplus · Accepted Answer

The argument structure is best represented by choice A, which correctly translates the given statements into propositional logic, maintaining the logical relationships between knowing something (K), having causal contact with the physical world (C), and the absence of a demon deceiver (∼D).

I Know Something If, and Only If, I Have Some