jehello
- 1
- 0
Any advice on how to make step 6 check out?
Symbolic Logic, Proof with Conditional
- Thread starter jehello
- Start date
-
- Tags
- Conditional Logic Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
Any advice on how to make step 6 check out?
Discussion
- 4,305
- 49
The problem is you can't conclude
Then isn't another quantifier elimination all you need (i.e. prove that Cube(e) and Dodec(d) implies FrontOf(d, e)) ?
Also I'm wondering if you mixed up the order of e and y in step 4.
FrontOf(d, e)
from step 4, isn't it?Then isn't another quantifier elimination all you need (i.e. prove that Cube(e) and Dodec(d) implies FrontOf(d, e)) ?
Also I'm wondering if you mixed up the order of e and y in step 4.