Absorção é uma forma lógica de argumento válido e uma regra de inferencia da lógica proposicional.http://www.philosophypages.com/lg/e11a.htm 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 consequência.Russell and Whitehead, Principia_mathematica Formalmente:
ou seja: sempre uma instância de "" aparecer numa linha de alguma prova, "" pode ser conluído na linha seguinte.
Notação formal A regra de absorção pode ser expressa como a sequente:
onde é um símbolo metalogico significando que é consequência lógica de em algum sistema lógico;
e expresso como uma tautologia ou teorema da lógica proposicional. O princípio foi estabelecido como um teorema da lógica proposicional por Russell e Whitehead em principia mathematica como:
onde , e são proposições expressas em algum sistema lógico.
Exemplos Se vai chover, então eu levarei meu casaco. Portanto, se vai chover então vai chover e eu levarei meu casaco.
Prova por tabela-verdade + v v v v V F F F F V V V F F V V
Prova formal + Proposição Derivação Implicação Implicação material Lei do terceiro excluído Conjunção Distribuição reversa Implicação material
References
Categoria:Regras_de_inferência Categoria:Lógica