Add this site to your Home Screen by opening it in Safari, tapping and selecting "Add to home screen"

Our panel of 88 professional philosophers has responded to

Question of the day

Since "-N" is true (3), then from (2), you can infer that "-K" is true. So you know that "-K and -N" is true. Hence from premise (1) you can infer that "(-P > K) and (-R > G)" is true. Hence "-P > K" is true. Since you already showed that "-K" is true, it follows that "P" is true. But if "P" is true then it will follow from premise (4) that "-R" is true. Since you've already shown that "-R > G" is true, you can conclude that "G" is true.

If you know what natural deductions are, you might find an online natural deduction proof checker and reconstruct the derivation in that.