Addició lògica

En lògica d'enunciats, regla d'inferència que permet obtenir un enunciat compost, de la forma $p\vee q$ a partir d'un solament dels seus elements disjunts (Per exemple: Si és veritat que «plou», també ho és «plou o fa sol», «plou o fa fred»).

Addició lógica:$\frac{p}{p\vee q},\frac{q}{q\vee p}$

L'addició entre classes és la suma lògica.