Logic quesiton A v ¬A
Answer
Answers can only be viewed under the following conditions:
- The questioner was satisfied with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.
2 Attachments
1.9K
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.
- answered
- 584 views
- $20.00
Related Questions
- Discrete Math Question
- Questions about computability Theory, Logic
- Characterizing the Infinitely Visited Intersections in a Ride-Forever Path on a Directed Graph
- Probability of making a full house in a poker hand
- Order Notation
- Discrete Math- Number of factor trees of a graph
- Discrete Math/ Set theory Question
- Induction proof for an algorithm. Introductory level discrete math course. See attachment for details
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.