I am having trouble solving this proof. Line 5 is wrong, I know it's Demorgan's Law, but the proof machine doesn't accept that as an answer. I think it only accepts ~Elim, vElim, vIntro, ~Intro, &Intro, etc.
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.Sign up to join this community