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.
Answer
Answers can be viewed only if
- The questioner was satisfied and accepted the answer, or
- The answer was disputed, but the judge evaluated it as 100% correct.
2 Attachments
The answer is accepted.
- answered
- 149 views
- $20.00
Related Questions
- Solve summation problem: $\sum_{k=1}^{n} \tfrac{2k+1}{k^{2}(k+1)^2 } $
- Discrete Structures - Proving a statement false by proving the negation to be true
- How many balanced lists of n left and n right parentheses are there?
- Growth of Functions
- Induction proof for an algorithm. Introductory level discrete math course. See attachment for details
- Discrete Math/ Set theory Question
- Logic Question 𝐴→(𝐵→𝐶),𝐴→𝐵,𝐴⊢𝐶
- Logic Question 𝐴∨𝐵→𝐶⊢(𝐴→𝐶)∧(𝐵→𝐶)