Eliminação da conjunção

Origem: Wikipédia, a enciclopédia livre.
(Redirecionado de Simplificação)
Saltar para a navegação Saltar para a pesquisa

Na lógica matemática, a eliminação da conjunção ou simplificação é uma regra de inferência que estabelece que, se a conjunção de A e B é verdadeira, então A é verdadeiro e B é verdadeiro.

Definição[editar | editar código-fonte]

Em linguagem formal:

ou


Em Português, pode-se exemplificar:

Esta chovendo e relampejando.
Portanto, está chovendo.

Ver também[editar | editar código-fonte]

Ícone de esboço Este artigo sobre lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o.