Mango Steel

RSS
Dec 5
Early morning learning.
The sentence “Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo” is grammatically correct, containing all the necessary word forms to make logical sense.

Given domain = the set of all buffalo (animal), FB(x) = ‘x is from Buffalo (place)’ and B(x, y) = ‘x buffalos (verb) y’, the sentence can be translated into first order logic as follows: 

In other words: "New York bison whom other New York bison bully, themselves bully New York bison."

Early morning learning.

The sentence “Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo” is grammatically correct, containing all the necessary word forms to make logical sense.

Given domain = the set of all buffalo (animal), FB(x) = ‘x is from Buffalo (place)’ and B(x, y) = ‘x buffalos (verb) y’, the sentence can be translated into first order logic as follows: \forall x (\exists y (FB(x) \wedge FB(y) \wedge B(y, x)) \to \exists z (FB(z) \wedge B(x, z)))

In other words: "New York bison whom other New York bison bully, themselves bully New York bison."