


Some=several: I haven t phoned my uncle for some years. (=certain): Some people believe everything 5.

Questions + yes : Would you like some orange juice? 3. Affirmatives: There are some people waiting outside. They are much, many, (a) little, (a) few, a lot (of), some, any, no, none, both, all, either, neither, each, every, (the) other(s), another. General information Some, any, no, none, one Quantifiers Quantifiers are words which show how many things or how much of something we are talking about.

Section 1.8 - Proof Methods and Strategy - Exercises.Section 1.7 - Introduction to Proofs - Exercises.Section 1.6 - Rules of Inference - Exercises.Section 1.5 - Nested Quantifiers - Exercises.Section 1.4 - Predicates and Quantifiers - Exercises.Next Answer Chapter 1 - Section 1.4 - Predicates and Quantifiers - Exercises - : 33 Previous Answer Chapter 1 - Section 1.4 - Predicates and Quantifiers - Exercises - : 31 Will review the submission and either publish your submission or provide feedback. You can help us out by revising, improving and updatingĪfter you claim an answer you’ll have 24 hours to send in a draft. This means: All pigs can not swim or not catch fish. $\neg (\exists x(T(x) \land U(x))) \equiv \forall x \neg(T(x) \land U(x)) \equiv \forall x (\neg T(x) \lor \neg U(x)) $ The negation is then by De Morgan’s Law for Qualifiers and the regular De Morgan’s Law: We can then rewrite the given statement as: $\neg (\forall x(\neg S(x))) \equiv \exists x \neg (\neg S(x)) \equiv \exists x S(x) $Į) Let the domain be pigs and T(x) mean "x can swim" and U(x) mean "x can catch fish“. The negation is then by De Morgan’s Law for Qualifiers and the double negation law: We can then rewrite the given statement as ”every monkey can not. This means: There is a koala that cannot climb.ĭ) Let the domain he monkeys and S(x) mean ’ x can speak French'. $\neg (\forall x R(x)) \equiv \exists x \neg R(x)$ $\neg (\exists xQ(x)) \equiv \forall x \neg Q(x)$Ĭ) c) Let the domain he koalas and R(x) mean “x can climb”, rewrite the given statement as: This means: There is a dog that does not have fleas.ī) Let the domain be horses and Q(x) mean "x can add”. $\neg (\forall xP(x)) \equiv \exists x\neg P(x)$ The negation is then by De Morgan’s Law for Qualifiers: A) a) Let the domain be dogs and P(x) mean "x has fleas”.
