Recent content by jamborta

thanks. but i don't understand why it's and OR ((x=z) v (y=z)) which would allow either of them being equal to z.

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...