Register to reply

First order logic

by jamborta
Tags: logic, order
Share this thread:
jamborta
#1
Jan11-08, 05:56 PM
P: 2
hi,

could someone explain to me why the sentence - There are exactly two purple mushrooms is represented in FOL like this:
(Ex)(Ey) mushroom(x) ^ purple(x) ^ mushroom(y) ^ purple(y) ^ ~(x=y) ^ (Az) (mushroom(z) ^ purple(z)) => ((x=z) v (y=z))

especially the last part i have problem with. i assume that i misunderstood some of the definitions which are the basis of FOL, that might be the source of the confusion.

thanks for your help
Phys.Org News Partner Science news on Phys.org
New model helps explain how provisions promote or reduce wildlife disease
Stress can make hard-working mongooses less likely to help in the future
Grammatical habits in written English reveal linguistic features of non-native speakers' languages
MathematicalPhysicist
#2
Jan12-08, 02:38 AM
P: 3,215
well without the last part with z, you actually stating that there are at least 2 purple mushrooms, while with the last part you stating that there are exactly two.
jamborta
#3
Jan12-08, 03:17 AM
P: 2
thanks. but i dont understand why it's and OR ((x=z) v (y=z)) which would allow either of them being equal to z.

HallsofIvy
#4
Jan12-08, 08:24 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,297
First order logic

Yes, that's the whole point. If you posit three purple mushrooms, x, y, and z, saying that there are, in fact, only two, the last of them, z, must be the same as either one of the first two. If you start of with two purple mushrooms, x and y, and state they are not the same mushroom, then any third purple mushroom must be the same mushroom as x or y but you don't know which. Yes, definitely, either of them could be equal to z.


Register to reply

Related Discussions
2nd order logic and mathematics? Set Theory, Logic, Probability, Statistics 1
Write this in first order logic Set Theory, Logic, Probability, Statistics 0
Dissatisfaction with second-order logic Set Theory, Logic, Probability, Statistics 0
First-Order Logic General Discussion 1
Propositional and First Order Logic General Math 16