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.