Absorción (lógica)
De Wikipedia, la enciclopedia encyclopedia
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 implica , entonces implica y . La regla hace posible introducir conjunciones en pruebas. Esto se llama ley de absorción ya que el término es "absorbido" por el término en la consecuencia.[3]
La absorción puede escribirse formalmente como:
o sea: siempre que aparezca una instancia de "" en una línea de alguna prueba, "" se puede concluir en la línea siguiente.