Introdução da conjunção

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

A introdução da conjunção é uma regra de inferência que estabelece que, se dois argumentos A e B são verdadeiros, então a conjunção dos mesmos também é verdadeira.

Formalmente:

p\,\!
\frac{q\,\!\qquad\quad}{}
( p \wedge q )

Por exemplo, se é verdade que está chovendo e é verdade que está relampejando, então é verdade que está chovendo e relampejando.

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