Logic quesiton A v ¬A

  • 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

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

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

  • Approach #2 added. :-)

The answer is accepted.