absorção

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.