Eliminação da conjunção – Wikipédia, a enciclopédia livre
Este artigo não cita fontes confiáveis. (Abril de 2013) |
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.