Absorción (lógica)

Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.[1][2] La regla establece que si ${\displaystyle P}$ implica ${\displaystyle Q}$, entonces ${\displaystyle P}$ implica ${\displaystyle P}$ y ${\displaystyle Q}$. La regla hace posible introducir conjunciones en pruebas. Esto se llama ley de absorción ya que el término ${\displaystyle P}$ es "absorbido" por el término ${\displaystyle Q}$ en la consecuencia.[3]

La absorción puede escribirse formalmente como:

${\displaystyle {\frac {P\to Q}{\therefore P\to (P\land Q)}}}$

o sea: siempre que aparezca una instancia de "${\displaystyle P\to Q}$" en una línea de alguna prueba, "${\displaystyle P\to (P\land Q)}$" se puede concluir en la línea siguiente.