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 em , então implica em 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 consequência. Formalmente:
ou seja: sempre uma instância de "" aparecer numa linha de alguma prova, "" pode ser conluído na linha seguinte.