4 ms·
(A and X) or (A and (not X)) simplifies to A in classic logic. I guess there's an ambiguity whether "God exists" is a propositional variable.
by killerstorm 2y ago
(A and X) or (A and (not X))
simplifies to A in classic logic.
I guess there's an ambiguity whether "God exists" is a propositional variable.