inference rule where, given P→Q, one deduces P→(P∧Q)
Absorção é uma forma lógica de argumento válido e uma regra de inferencia da lógica proposicional. A regra estabelece que se implica , então implica e . A regra torna possível introduzir conjunções em provas. Isto é chamado de lei de absorção visto que o termo é "absorvido" pelo termo na . Formalmente: ou seja: sempre uma instância de "" aparecer numa linha de alguma prova, "" pode ser conluído na linha seguinte.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).