Logic quesiton A v ¬A

  • Mathe Mathe

    This is a principle or 'law' of propositional calculus. It can be only proved using an equivalent statement, which would make the whole proof circular. In short, this is not meant to be proven in propositional calculus.


Answers can be viewed only if
  1. The questioner was satisfied and accepted the answer, or
  2. The answer was disputed, but the judge evaluated it as 100% correct.
View the answer

2 Attachments

Kav10 Kav10
  • Xyzjaw Xyzjaw

    Would love if you to use the other approach if you could be so kind Best, Z

  • Kav10 Kav10

    Sure. I can add that too. The approach I added first, is more straight forward though.

  • Kav10 Kav10

    Approach #2 added. :-)

The answer is accepted.
Join Matchmaticians Affiliate Marketing Program to earn up to 50% commission on every question your affiliated users ask or answer.