Symbolic logic help please, please!

  • #1
questiongirl111
1
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
 

Answers and Replies

  • #2
eraemia
53
0
What class is this for? What does vINTRO mean?
 

Suggested for: Symbolic logic help please, please!

  • Last Post
Replies
2
Views
371
Replies
10
Views
307
Replies
10
Views
1K
  • Last Post
Replies
4
Views
394
Replies
7
Views
2K
  • Last Post
Replies
2
Views
301
  • Last Post
Replies
3
Views
449
Replies
12
Views
513
Replies
4
Views
975
Top