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
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
- 874 views
- $20.00
Related Questions
- Let A be an uncountable set, B a countable subset of A, and C the complement of B in A. Prove that there exists a one-to-one correspondence between A and C.
- Logic Question 𝐴→(𝐵→𝐶),𝐴→𝐵,𝐴⊢𝐶
- Markov Process Problem
- Problem Help - Matrix/Markov
- Find the chromatic number of Kn, Kn,m, Cn.
- Discete Math
- [Discrete Mathematics] Induction
- Discrete Structures - Proving a statement true
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.