Specializations > Semantics and Pragmatics
Predicate Logic and Nobody
(1/2) > >>
Question about predicate logic.
I want to figure out the translation of a sentence like: Nobody is a college student and not poor.
For now, I have something like this: ¬∃x(person'(x)∧student'(x)→¬poor'(x))
Would this be close to the meaning? Any input is awesome.
You seem to be mixing up two approaches: you're using both existential quantification and also material implication, when you only need one.
Is this homework? You should try to figure it out on your own (and also not be posting the questions online).
If not, if you just want to talk about the ideas behind predicate logic, we can discuss it here, but be aware this will NOT necessarily result in the "right" answers for your class which will use one specific approach that won't be the same as other classes or what people on the internet say.
It isn't homework. I just heard the sentence and was trying to figure out exactly what it meant, so I thought to approach it that way. What is material implication exactly?
"→" is material implication. It's similar to English "if", but in a very specific sense. It's a relationship of truth conditions.
The sentence you're thinking about is complicated. It can be reduced to a simpler structure by substitution (eliminating some of the negation, for example), but I'd suggest starting with a basic sentence and working it out from there.
Notice also the relationship between material implication and negation mentioned at the start of the Wikipedia article:
--- Quote ---In propositional logic, material implication is a valid rule of replacement that allows for a conditional statement to be replaced by a disjunction in which the antecedent is negated. The rule states that P implies Q is logically equivalent to not-P or Q and that either form can replace the other in logical proofs.
--- End quote ---
To begin, I'd suggest trying a simpler sentence like "Nobody sleeps", and working up from there.
For all X (student(x) ->poor(x) ) will do , isnt it?
 Message Index
[#] Next pageGo to full version