![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/Logical_connectives_Hasse_diagram.svg/langpt-640px-Logical_connectives_Hasse_diagram.svg.png&w=640&q=50)
Conectivo lógico
De Wikipedia, a enciclopédia encyclopedia
Em lógica, um conectivo lógico (também chamado de operador lógico) é um símbolo ou palavra usado para conectar duas ou mais sentenças (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.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/Logical_connectives_Hasse_diagram.svg/640px-Logical_connectives_Hasse_diagram.svg.png)
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 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 constantes lógicas usadas em 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.
Um conectivo lógico é similar, mas não equivalente, a um operador condicional.[1]