Distributivity: Difference between revisions

180 bytes added ,  11:54, 19 February 2022
no edit summary
(Created page with "== Formal definition == A predicate <math>P(\mathbf x)</math> is '''distributive''' in terms of its argument <math>\mathbf x</math> iff : <math>\forall \mathbf x. P(\mathbf x)...")
 
No edit summary
 
Line 8: Line 8:


Another way to think of distributivity is that it shifts verbs back into the realm of singular logic, where all statements are meaningful of singular objects. Toaq’s grammar “does not care” about distributivity, since singular logic works in precisely the same way in plural logic contexts, whereas the converse is not true.
Another way to think of distributivity is that it shifts verbs back into the realm of singular logic, where all statements are meaningful of singular objects. Toaq’s grammar “does not care” about distributivity, since singular logic works in precisely the same way in plural logic contexts, whereas the converse is not true.
== More examples ==
* {{t|reı|{{x}} surrounds {{x}}}} is nondistributive because when six snakes surround you, it’s not true that each one of those snakes also surrounds you.