Propriété de la distribution
Dans l'algèbre abstraite et la logique formelle, la propriété distributive des opérations binaires généralise la loi distributive de l'algèbre élémentaire. Dans la logique propositionnelle, la distribution se réfère à deux règles de remplacement valides. Les règles permettent de reformuler les conjonctions et les disjonctions dans les preuves logiques. Par exemple, en arithmétique: 2 · = +, mais 2 / ≠ +. Dans le côté gauche de la première équation, le 2 multiplie la somme de 1 et 3; Sur le côté droit, il multiplie les 1 et 3 individuellement, les produits ajoutés après. Parce que ceux-ci donnent la même réponse finale, nous disons que la multiplication par 2 distribue par addition de 1 et 3. Puisque nous avons pu mettre des nombres réels à la place des 2, 1 et 3 ci-dessus, et que nous avons toujours obtenu une équation vraie, nous Disent que la multiplication des nombres réels diffuse sur l'addition de nombres réels.