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?
 
Just ONCE, I wanted to see a post titled Status Update that was not a blatant, annoying spam post by a new member. So here it is. Today was a good day here in Northern Wisconsin. Fall colors are here, no mosquitos, no deer flies, and mild temperature, so my morning run was unusually nice. Only two meetings today, and both went well. The deer that was road killed just down the road two weeks ago is now fully decomposed, so no more smell. Somebody has a spike buck skull for their...
Thread 'RIP George F. Smoot III (1945-2025)'
https://en.wikipedia.org/wiki/George_Smoot https://physics.berkeley.edu/people/faculty/george-smoot-iii https://apc.u-paris.fr/fr/memory-george-fitzgerald-smoot-iii https://elements.lbl.gov/news/honoring-the-legacy-of-george-smoot/ https://www.nobelprize.org/prizes/physics/2006/smoot/facts/ https://www.aps.org/publications/apsnews/200611/nobel.cfm https://inspirehep.net/authors/988263 Structure in the COBE Differential Microwave Radiometer First-Year Maps (Astrophysical Journal...
Back
Top