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
Kav10
2.1K
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
- 882 views
- $20.00
Related Questions
- Set Theory Question Help
- Discrete Structures - Proving a statement false by proving the negation to be true
- Problem Help - Matrix/Markov
- Find the chromatic number of Kn, Kn,m, Cn.
- Discrete math- Range and preimage of the floor function
- Recursive Set
- Solve summation problem: $\sum_{k=1}^{n} \tfrac{2k+1}{k^{2}(k+1)^2 } $
- [Discrete Mathematics] Algorithm and Pseudocode - Write an algorithm to find the roots of a quadratic equation ax2 + bx + c = 0. Write Pseudocode of algorithm.
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.