I would like to know if this can be proven
I am attempting to prove G with these premises:
1. (-K and -N) > [(-P> K) and (-R> G)]
2. K> N
3. -N and B
4. -P v -R
I am not sure if the premises are enough to allow the solver to prove the solution or if there should be additional premises. A response would be appreciated!
- Read more about I would like to know if this can be proven
- 1 comment
- Log in to post comments