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 only be viewed under the following conditions:
  1. The questioner was satisfied with and accepted the answer, or
  2. The answer was evaluated as being 100% correct by the judge.
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 a 50% commission on every question that your affiliated users ask or answer.