705
edits
Distributivity: Difference between revisions
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)..."
(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 difference)
|