En
lógica, una
conectiva lógica, o simplemente
conectiva, (también llamado
operador lógico o
conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos
fórmulas bien formadas o sentencias (
atómicas o moleculares), de modo que el
valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.