Dicionário de Termos Linguísticos

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), '∨' (disjunção), '↔' (bicondicional). Exemplos: (P ∨ 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.