- #1
sugars225
- 1
- 0
Can someone help with this proof:
G→(PVE), P→N, E→C, -(NVC) ㅏ-G
This is what I have done so far
1 (1) G→(PVE) Assumption
2 (2) P→N Assumption
3 (3) E→C Assumption
4 (4) -(NVC) Assumption
what do I do if here?
G→(PVE), P→N, E→C, -(NVC) ㅏ-G
This is what I have done so far
1 (1) G→(PVE) Assumption
2 (2) P→N Assumption
3 (3) E→C Assumption
4 (4) -(NVC) Assumption
what do I do if here?