Tilted Forum Project Discussion Community - View Single Post - Logic problems

dimbulb · 09-26-2003, 10:10 AM

ok, here's my translation of statement A:

FOR ALL x, such that x is an element of P, THEN THERE EXISTS y, such that y is both an element of P, and an element of {y: x knows y}

so
(x)[........] means for all x, the following in the brackets holds
reversed C means "implies" or THEN or ==>

Py = set of all Persons
Kxy = set of all persons that know x.

does it make sense? or am i blowing smoke out of my ass??

09-26-2003, 10:10 AM	#24 (permalink)
dimbulb Riiiiight........	ok, here's my translation of statement A: FOR ALL x, such that x is an element of P, THEN THERE EXISTS y, such that y is both an element of P, and an element of {y: x knows y} so (x)[........] means for all x, the following in the brackets holds reversed C means "implies" or THEN or ==> Py = set of all Persons Kxy = set of all persons that know x. does it make sense? or am i blowing smoke out of my ass??