Addició lògica
De Wikisofia
La revisió el 09:45, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} En lògica d'enunciats, regla d'inferència que permet obtenir un enunciat compost, de la forma <math>P\vee Q<...».)
La revisió el 09:45, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} En lògica d'enunciats, regla d'inferència que permet obtenir un enunciat compost, de la forma <math>P\vee Q<...».)
En lògica d'enunciats, regla d'inferència que permet obtenir un enunciat compost, de la forma [math]\displaystyle{ P\vee Q }[/math] a partir d'un solament dels seus elements disyuntos (Per exemple: Si és veritat que «plou», també ho és «plou o fa sol», «plou o fa fred»).
L'addició entre classes és la suma lògica.