Introdução de conjunção

Introdução de conjunção (muitas vezes abreviado simplesmente como conjunção e também chamado e introdução ou adjunção) é uma regra válida de inferência da lógica proposicional. A regra torna possível introduzir uma conjunção em uma prova lógica. É a inferência que se a proposição PNão. P. é verdade, e a proposição QNão. é verdade, então a conjunção lógica das duas proposições PNão. P. e QNão. é verdade. Por exemplo, se é verdade que "é chover", e é verdade que "o gato está dentro", então é verdade que "é chover e o gato está dentro". A regra pode ser declarada:

P,Q∴ ∴ P∧ ∧ QPor isso Pland Q}}}

onde a regra é que onde quer que uma instância de "PNão. P."e"QNão." aparecem em linhas de uma prova, um "P∧ ∧ QNão. Pland Q" pode ser colocado em uma linha subsequente.

Notação formal

A regra de introdução de conjunção pode ser escrita em notação sequencial:

P,Q? ? P∧ ∧ Q{displaystyle P,Qvdash Pland Q}

Onde? PNão. P. e QNão. são proposições expressas em algum sistema formal, e ? ? - Sim. é um símbolo metalógico que significa que P∧ ∧ QNão. Pland Q é uma consequência sintática se PNão. P. e QNão. são cada uma em linhas de uma prova em algum sistema lógico;