Transcrevo a definição de conector lógico (ingl., logical connective; fr., connecteur logique) dada pelo Dicionário de Termos Linguísticos da Associação Portuguesa de Linguística:

«Símbolo com um valor fixo que se combina com variáveis proposicionais num cálculo lógico, para formar fórmulas válidas (ou bem formadas). Os conectores lógicos do cálculo proposicional são ‘~’ (negação), ‘&’ (conjunção), ‘V’ (disjunção), ‘↔’ (bicondicional). Exemplos: (P V Q), ~P, ~(P & Q) são expressões (ou fórmulas) bem formadas do cálculo proposicional. Estes conectores fazem parte do vocabulário de outros sistemas lógicos. Note-se que ‘~’ é um operador unário, diferentemente dos outros.»