Distributività: differenze tra le versioni

Versione delle 04:42, 28 apr 2006

Versione delle 12:34, 3 lug 2006

Riga 10:

Dato un [[insieme]] <i>S</i> e due [[operazione binaria|operazioni binarie]] * e + su ''S'', diciamo che

* l'operazione * è ''distributiva a sinistra'' su + se, dati gli elementi generici <i>x</i>, <i>y</i>, e <i>z</i> di <i>S</i>,

::<i>x</i> * (<i>y</i> + <i>z</i>) = (<i>x</i> * <i>y</i>) + (<i>x</i> * <i>z</i>);

* l'operazione * è ''distributiva a destra'' su + se, dati gli elementi generici <i>x</i>, <i>y</i>, e <i>z</i> of <i>S</i>:

::(<i>y</i> + <i>z</i>) * <i>x</i> = (<i>y</i> * <i>x</i>) + (<i>z</i> * <i>x</i>);

* l'operazione * è ''distributiva'' su + se è sia distributiva a destra che distributiva a sinistra.

Si osservi che quando * è [[commutatività|commutativa]], allora le tre condizioni precedenti sono [[equivalenza logica|logicamente equivalenti]].