inference rule where, given P→Q, one deduces P→(P∧Q)
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
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).