- #1
jj0424
- 3
- 0
Homework Statement
(p -> q) has an unambiguous meaning both in logic and in natural language. The DeMorgans laws tell us what is meant by the negation of a conjunction or the negation of a disjunction, but what is the negation of a conditional such as p -> q? Use the rules of logic to produce a meaning for...[not(p -> q), and translate it into natural language using the statement, "If I go to McDonalds, then i will get a Big Mac."
Homework Equations
¬ ( p ˅ q ) <=> ( ¬p ˄ ¬ q )
¬ ( p ˄ q ) <=> ( ¬p ˅ ¬ q ) De Morgans laws
The Attempt at a Solution
( p q ) => ( ¬ p ˅ q ) Implication
¬ ( p q ) => ¬ ( ¬ p ˅ q ) Implication
¬ ( ¬ p ˅ q ) <=> ( p ˄ ¬ q ) De Morgans
Translation:
I went to McDonalds, but I did not get a Big Mac.
Im not sure if this is the right way to solve this problem does anyone know if this is right or wrong?
Thanks for your help!