P(x,y) = x buffalos y
— Bill Shillito – now at @solidangles.bsky.social (@solidangles) March 2, 2022
B = the set of buffalo in Buffalo
The buffalo⁸ statement can be phrased as:
∀a∈B, ∃b∈B:P(b,a)→∃c∈B:P(a,c)
P(x,y) = x buffalos y
Reply
P(x,y) = x buffalos y
— Bill Shillito – now at @solidangles.bsky.social (@solidangles) March 2, 2022
B = the set of buffalo in Buffalo
The buffalo⁸ statement can be phrased as:
∀a∈B, ∃b∈B:P(b,a)→∃c∈B:P(a,c)