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.

  • 2
    Correct: the argument is invalid; thus you cannot prove it. Commented May 9, 2022 at 7:52
  • However, it is possible to prove (C∧D)∨(¬C∧¬D) entails C↔D @SparrowTree Commented Jun 21, 2022 at 3:21


You must log in to answer this question.

Browse other questions tagged .