Adición

La tautología conocida como adición adquiere la siguiente forma lógica:

p(pq)

y también

q(pq)

que, traducido al lenguaje natural sería algo así como si es cierto que p, entonces sabemos que p o q son verdad.

La definición de la disyunción exige que para que la disyunción pq sea cierta o bien p o bien q sean ciertos. En consecuencia, si sabemos que p es cierto, entonces cualquier disyunción en la que esté p será cierta con independiencia del valor de verdad del otro término de la disyunción (o, para la otra formulación, cualquier disyunción en la que esté q será cierta).

Recurriendo a su forma argumental:

Hago mucho deporte.

Por consiguiente, hago mucho deporte o estoy cansado

Expresado en forma simbólica:

p

pq

Con la otra adición q(pq) ocurre lo mismo mutatis mutandi.