Eliminação da conjunção

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Este artigo não cita fontes fiáveis e independentes. (desde Abril de 2013). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

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:

 A \and B \vdash A

ou

 A \and B \vdash B


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.