I asked this question awhile ago:
I naively did not account for the deduction system I was using not being used much broadly speaking.
A good answer was given but it did not work for me, so am I correct in not accepting the answer?
Following this question, every question I asked on this topic (Natural Deduction) listed the specific rules I was using and a resolution to the question was always reached.
The two options I am thinking of to resolve this question:
- Editing the question to list the specific system rules I am using, then leaving it open to see if anyone else answers. Self answering if no one does, as I know the answer now. (I'm unsure of this due to there being an upvoted answer already).
- Just accepting the answer given (I'm unsure of this because it doesn't work for the system used in question).