Eliminação da conjunção

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou se(c)ção não cita fontes fiáveis e independentes (desde Abril de 2013). Por favor, adicione referências e insira-as no texto ou no rodapé, conforme o livro de estilo. Conteúdo sem fontes poderá ser removido.

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.