I would like to know if this can be proven

I would like to know if this can be proven

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 another response by Alexander George
Read another response about Logic
Print