Dicionário de Termos Linguísticos

Em lógica, a conjunção é a operação de combinação de duas ou mais proposições, por meio do conector lógico '&' (também representado por '∧', '.'), formando uma proposição complexa. Uma conjunção é verdadeira, se, e apenas se, as proposições que a compõem, as proposições conjuntas, forem ambas verdadeiras; caso contrário, a conjunção é falsa. Por exemplo, (P & Q) é uma proposição complexa que resulta da conjunção de "P" e de "Q", e é verdadeira, se tanto "P" como "Q" forem verdadeiras, mas falsa se uma ou ambas as conjuntas forem falsas. Do ponto de vista linguístico '&' corresponde por vezes a 'é, mas nem sempre. Em cálculo proposicional, "mas" muitas vezes traduzido por '&'.