Professional Documents
Culture Documents
18.
23.
c) ∃x¬B(x) states "There exists someone who was not born in California."
∃x(C(x) ∧ ¬B(x)) states "There exists someone in your class who was not born in California."
26.
28.
a)¬P(x)
b) ∀x(T(x)→(P(x)∧C(x)))
c) ∀x(T(x)→(P(x)∧C(x)))
d)¬∃x(P(x)∧C(x))
e)∃x(T(x)∧¬P(x)∧C(x))
In these expressions:
- T(x) means "x is a tool",
- P(x) means "x is in the correct place"
- C(x) means "x is in excellent condition".
33.
a) Domain: Old dogs.
∃x T (x)
Negation is ∀x ¬T (x): No old dogs can
learn new tricks.
b) Domain: Rabbits.
¬∃x C(x)
Negation is ∃x C(x): There is a rabbit that knows calculus.
c) Domain: Birds.
∀x B (x)
Negation is ∃x ¬B (x): There is a bird who cannot fly.
d) Domain: Dogs.
¬∃x D (x)
Negation is ∃x D (x): There is a dog that talks.
34.
a) Negation: ¬(∃x)(D(x) ∧ ¬S(x)): There are no drivers who do not obey the speed limit.
b) Negation: ¬(∀x)(S(x) → M(x)): There exists a Swedish movie that is not serious.
c) Negation: ¬(∀x)(P(x) → K(x)): There exists someone who can't keep a secret.