Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.
I'm trying to do a bunch of proofs to get better at them but it seems like I need some help with negation. Can anyone who has time prove the following arguments? I would really appreciate it!
Which proof system are you talking about -- natural deduction? Which of these arguments are you having trouble with? What does your attempt look like and where specifically did you run into trouble? What is that issue you're having with negation, exactly? All I'm seeing is a bunch of assignments; where is your actual question?
Hi, I'm talking about fitch style natural deduction. I have been attempting a lot of other negation arguments but I am having trouble when they get longer and more complex. These 4 different arguments are the ones I'm currently having a problem with. I was just asking if anyone who has time and who enjoys proofs could demonstrate correct proofs of these.
thank you! it is actually not, just some negation problems from a textbook to improve myself. I tend to understand better when I see sample proofs and I wanted to use these examples to find my way in other proofs. I do not like cheating either! :) i appreciate the hints
Hi again, @Bumble could you explain the hints more openly for 1. and 4.? I am still relatively new to logic and I'm trying my best at understanding and improving
With 1, one of De Morgan's rules says that ¬(A ∧ B) is equivalent to ¬A ∨ ¬B, so this plus double negation elimination gives the first step. De Morgan's rule itself can be proved by assuming the negation and deriving a contradiction. ¬P ∨ Q is equivalent to P → Q. P → Q together with ¬P → Q proves Q. Depending on your rules, you might need to prove the law of excluded middle.
With 4, assume ¬R, then from R ∨ (P ∨ Q) by disjunctive syllogism you have P ∨ Q. ¬Q can be proved from Q → ¬Q, so then another application of disjunctive syllogism gives P. Discharge the assumption to get ¬R → P. Combine this with R → P to get P.
By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.