0

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.

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

1 Answer 1

Reset to default
1

Here is a proof using the Fitch software:

enter image description here

Improve this answer

You must log in to answer this question.

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