Introdução da conjunção

Predefinição:Sem fontes 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}{}$

$(p\wedge q)$

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