Introdução de conjunção - Conjunction introduction

Introdução de conjunção (freqüentemente abreviada simplesmente como conjunção e também chamada e introduçã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 de que se a proposição p for verdadeira, e a proposição q for verdadeira, então a conjunção lógica das duas proposições peq é verdadeira. Por exemplo, se é verdade que "está chovendo" e é verdade que "estou dentro", então é verdade que "está chovendo e estou dentro". A regra pode ser declarada:

${\ displaystyle {\ frac {P, Q} {\ portanto P \ land Q}}}$

onde a regra é que sempre que uma instância de " " e " " aparecer nas linhas de uma prova, um " " pode ser colocado em uma linha subsequente. ${\ displaystyle P}$${\ displaystyle Q}$${\ displaystyle P \ land Q}$

Notação formal

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

${\ displaystyle P, Q \ vdash P \ land Q}$

onde e são proposições expressas em algum sistema formal , e é um símbolo metalógico que significa uma consequência sintática se e cada um está nas linhas de uma prova em algum sistema lógico ; ${\ displaystyle P}$${\ displaystyle Q}$${\ displaystyle \ vdash}$ ${\ displaystyle P \ land Q}$${\ displaystyle P}$${\ displaystyle Q}$

Referências