Symbolic logic help please, please!

  • #1
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
53
0
What class is this for? What does vINTRO mean?
 

Related Threads on Symbolic logic help please, please!

  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
3
Views
6K
  • Last Post
Replies
16
Views
3K
  • Last Post
Replies
2
Views
4K
Replies
6
Views
7K
  • Last Post
Replies
2
Views
5K
  • Last Post
Replies
7
Views
2K
Replies
1
Views
2K
  • Last Post
Replies
6
Views
11K
W
  • Last Post
Replies
6
Views
4K
Top