Is it possible to prove this formally in fitch? I found that when C is false and D is true the conclusion is false while the premise is true.
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.
Sign up to join this community
Anybody can ask a question
Anybody can answer
The best answers are voted up and rise to the top
(C∧D)∨(¬C∧¬D)entailsC↔D@SparrowTree