En lógica de enunciados, regla de inferencia que permite obtener un enunciado compuesto, de la forma [math]P\vee Q[/math] a partir de uno solo de sus elementos disyuntos (Por ejemplo: Si es verdad que «llueve», también lo es «llueve o hace sol», «llueve o hace frío»).
![67.png](/w/images/thumb/3/30/67.png/400px-67.png)
La adición entre clases es la suma lógica.