For each of the given statements:
1 - Express each of the statements using quantifiers and propositional functions.
2 - Form the negation of the statement so that no negation is to the left of the quantifier.
3 - Express the negation in simple English. (Do not simply use the words “it is not
the case that...”).
(a) Some drivers do not obey the speed limit.
(b) All Swedish movies are serious.
(c) No one can keep a secret.
(d) No monkey can speak French.
(e) There is someone in the class who does not have a good attitude.
Part a
Let x denote drivers
Predicate P(x) denotes "x obey the speed limit"
The given statement in logical expression is "\u018e x \u00acP(x)"
Negation of the given statement in logical expression is
"\u00ac\u018e x \u00acP(x) \u2261 \u2200 x \u00ac(\u00acP(x))"
All drivers obey the speed limit.
Part b
Let x denote Swedish movies.
Predicate P(x) denotes "x is serious"
The given statement in logical expression is "\u2200 x (P(x))"
Negation of the given statement in logical expression is
"\u00ac\u2200 x P(x) \u2261 \u018e x \u00acP(x)"
There is a Swedish movie that is not serious
Part c
Let x denote a person
Predicate P(x) denotes "x can keep a secret"
The given statement in logical expression is "\u2200 x (\u00acP(x))"
Negation of the given statement in logical expression is
"\u00ac\u2200 x P(x) \u2261 \u018e x \u00ac(P\u00ac(x))\\\\\n\u2261 \u018e x P(x)\\\\"
There is someone who can keep a secret.
Part d
No monkey can speak French.
We write this statement as.
"\u2200x(M(x) \u2192 \u00acF(x))\\\\\n\u2200x(\u00acM(x)\u2228 \u00acF(x))"
Its negation is "\u2203x(M(x) \u2227 F(x))" .
There is a monkey who can speak French.
Part e
Let x denote the class member
Predicate P(x) denotes "x does have a good attitude"
The given statement in logical expression is "\u018e x \u00acP(x)"
Negation of the given statement in logical expression is
"\u00ac\u018e x \u00acP(x) \u2261 \u2200 x \u00ac(\u00acP(x))"
All drivers obey the speed limit.
All the class members have a good attitude
Comments
Leave a comment