Rome_Leader
New member
- Joined
- May 21, 2013
- Messages
- 4
Hi! I'm new, and I'm not sure if this is the correct subheading for my topic of query (discrete math), but I thought it fit best here. If it should be moved, please feel free to do so!
I have the whimsical expression "If a person is an insane vampire, then he believes only in false things and always lies."
I have converted it to symbols appropriately, with definitions:
p = A person is an insane vampire
q = He only believes in false things
r = He always lies
My final expression, which I'm confident in, for the negation is p&(~q + ~r)
What is tripping me up is the conversion back into words. When negating my propositions, are the words 'always' and 'only' quantifiers for the expressions? Or would their negation simply be: "He does not only believe in false things" and "He does not always lie" respectively?
Any help would be greatly appreciated!
I have the whimsical expression "If a person is an insane vampire, then he believes only in false things and always lies."
I have converted it to symbols appropriately, with definitions:
p = A person is an insane vampire
q = He only believes in false things
r = He always lies
My final expression, which I'm confident in, for the negation is p&(~q + ~r)
What is tripping me up is the conversion back into words. When negating my propositions, are the words 'always' and 'only' quantifiers for the expressions? Or would their negation simply be: "He does not only believe in false things" and "He does not always lie" respectively?
Any help would be greatly appreciated!