Conectivo lógico: diferenças entre revisões

Para a [[lógica]], um '''conectivo lógico''' (também chamado de '''operador lógico''') é um [[Símbolo (formal)|símbolo]] ou [[palavra]] usado para conectar duas ou mais sentenças[[sentença]]s (tanto na [[linguagem formal]] quanto na [[linguagem natural]]) de uma maneira gramaticalmente válida, de modo que o sentido da sentença composta produzida dependa apenas das senteças originais.

Os conectivos lógicos mais comuns são os '''conectivos binários''' (também chamados de '''conectivos diádicos'''), que juntam duas sentenças, que podem ser consideradas os operandos[[operando]]s da função. É também comum considerar [[negação]] como um '''conectivo unário'''.

Conectivos lógicos e quantificadores são os dois principais tipos de [[constante lógica|constantes lógicas]] usadas em [[sistema formal|sistemas formais]] como a [[lógica proposicional]] e a [[lógica de predicados]]. A semântica de um conectivo lógico é, muitas vezes, mas não sempre, apresentada como uma [[função de verdade]].