Just as the question proposes, I'm having trouble with proving this tautology. I know one should use proof by contradiction however I am currently stuck.

  • 1
    Assume (P↔¬P) and derive a contradiction. Mar 5, 2018 at 7:07
  • 1
    Second step: unpack P↔¬P with -elimination rule. Mar 5, 2018 at 10:13

1 Answer 1


Here is a proof using the Fitch software:

enter image description here

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .