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

- 266 Language
- 331 Logic
- 134 Existence
- 57 Truth
- 113 Children
- 147 Freedom
- 128 Love
- 37 Race
- 24 History
- 57 Punishment
- 2 Culture
- 359 Religion
- 71 Emotion
- 70 Feminism
- 246 Justice
- 5 Euthanasia
- 272 Mind
- 1 Action
- 77 Physics
- 30 Space
- 213 Education
- 149 Sex
- 43 Color
- 73 Death
- 52 Medicine
- 77 Identity
- 89 Time
- 21 Suicide
- 200 Value
- 197 Science
- 68 Business
- 109 Art
- 36 Literature
- 101 Biology
- 67 Perception
- 558 Philosophy
- 58 Abortion
- 63 Happiness
- 90 Law
- 106 Animals
- 261 Knowledge
- 33 Sport
- 1221 Ethics
- 28 Gender
- 124 Profession
- 48 War
- 75 Beauty
- 31 Music
- 4 Economics

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.