× Didn't find what you were looking for? Ask a question
Top Posters
Since Sunday
w
3
w
3
e
3
3
r
3
g
2
2
b
2
M
2
V
2
f
2
c
2
New Topic  
Voehet Voehet
wrote...
Posts: 4
Rep: 0 0
9 years ago
Hello all! I came across this problem on my homework and I would like for somebody to check and see if my answers are correct.
Using the predicate symbols shown and appropriate quantifiers, write each English
language statement in predicate logic. (The domain is the whole world.)
P(x) is ”x is a person.”
T(x) is ”x is a time.”
F(x,y) is ”x is fooled at y.”
1. You can fool some of the people all of the time.
-For this I put ∃xF(P(x),T(x))
2. You can fool all of the people some of the time.
-∀xF(P(x),T(x))
3. You can’t fool all of the people all of the time.
I put ¬∀xF(P(x),T(x)) for this.
Thanks in advance!!
Read 1758 times
1 Reply

Related Topics

Replies
rsb
wrote...
9 years ago
Using the predicate symbols shown and appropriate quantifiers, write each English language statement as a predicate w?. (The domain is the whole world.) C(x) is “x is a Corvette.” P(x) is “x is a Porsche.” F(x) is “x is a Ferrari.” S(x,y) is “x is slower than y.” a. Nothing is both a Corvette and a Ferrari. b. Some Porsches are slower than only Ferraris. c. Only Corvettes are slower than Porsches. d. All Ferraris are slower than some Corvette. e. Some Porsches are slower than no Corvette. f. If there is a Corvette that is slower than a Ferrari, then all Corvettes are slower than all Ferraris.

a. ~(C and F)
b. S(P,F)
c. S(C,P)
d. S(F,C)
e. S(P,C)
f. S(C,F) -> S(C,F)



Using the predicate symbols shown and appropriate quantifiers, write each English language statement as a predicate wff. (The domain is the whole world)

L(x): x is lion
R(x): x roars
P(x): x is a predator
Z(x): x is a zebra
E(x,y): x eats y

a. All lions are predators
b. Some lions roar
c. Only lions roar.
d. Some lions eat all zebras.
e. All lions eat all zebras.

symbols are written in []
a. [for all] x, L(x)->P(x)
b. [there exists]x , L(x)[and]R(x)
c. R(x)->L(x)
d. [there exists]x, L(x) [and]([for all]z, Z(z)->E(x,z)) -> is [implies]
e. ([for all]x)([for all]z) (L(x)[and]Z(z))->E(x,z)
New Topic      
Explore
Post your homework questions and get free online help from our incredible volunteers
  499 People Browsing
Related Images
  
 1235
  
 726
  
 81
Your Opinion
What's your favorite math subject?
Votes: 559