734
edits
Distributivity: Difference between revisions
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. | |||