How to Prove A v C in Symbolic Logic?

  • Thread starter Thread starter questiongirl111
  • Start date Start date
  • Tags Tags
    Logic
AI Thread Summary
The discussion revolves around proving the statement A v C using logical reasoning. The initial steps correctly establish A v C and ~B v C, followed by subproofs for B and ~B, leading to a contradiction. This contradiction supports the conclusion of ~B v C. Further subproofs for A and C are introduced, but the final step, proving A v C using vINTRO, is questioned. Participants seek clarification on the meaning of vINTRO and the context of the class related to this logical proof.
questiongirl111
Messages
1
Reaction score
0
The question asks you to prove A v C

This is what I have. Everything is correct until the last question, #11

1. A V C
2. ~BvC
3.(new subproof) B
4. (new subproof ~B
5. contradiction contradiction intro 4,3
(end subproof from 4-5)
6. ~BvC V Intro 2
(end subproof from 3-6)
7. (new subproof) A
8. A v B vINTRO 1
(end subproof from 7-8)

9.(new subproof) C
10. ~BvC (vINTRO 2)
(end subproof 9-10)
11.A v C VINTRO ?


Thanks!
-J
 
Physics news on Phys.org
What class is this for? What does vINTRO mean?
 
Thread 'RIP Chen Ning Yang (1922-2025)'
https://en.wikipedia.org/wiki/Yang_Chen-Ning ( photo from http://insti.physics.sunysb.edu/~yang/ ) https://www.nytimes.com/2025/10/18/science/chen-ning-yang-dead.html https://www.bbc.com/news/articles/cdxrzzk02plo https://www.cpr.cuhk.edu.hk/en/press/mourning-professor-yang-chen-ning/ https://www.stonybrook.edu/commcms/physics/about/awards_and_prizes/_nobel_and_breakthrough_prizes/_profiles/yangc https://www.stonybrook.edu/commcms/physics/people/_profiles/yangc...
"In 2013, after a series of hospitalizations due to magnets, New Zealand government officials permanently banned the sale of those made from neodymium-iron-boron (NIB)." https://www.sciencealert.com/new-zealand-teen-loses-part-of-his-bowel-after-swallowing-nearly-200-magnets "A 13-year-old boy in New Zealand has had part of his bowel surgically removed after he ingested nearly 200 high-powered magnets. (2025)" OK, this teen was a fool, but it is not always a teen, it is not always...
Back
Top