Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
En lógica de enunciados, regla de inferencia que permite obtener un enunciado compuesto, de la forma
a partir de uno solo de sus elementos disyuntos (
ver ejemplo
Si es verdad que «llueve», también lo es «llueve o hace sol», «llueve o hace frío».
).
La adición entre clases es la suma lógica.