Article · Español
Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional. La regla establece que si implica , entonces implica y . La regla hace posible introducir conjunciones en . Esto se llama ley de absorción ya que el término es "absorbido" por el término en la consecuencia. 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.
Abstract from DBpedia / Wikipedia · CC BY-SA