Dicionário de Termos Linguísticos

Conectores do cálculo proposicional que operam sobre proposições (os seus argumentos) para formar novas proposições. Se requerem um só argumento chamam-se unários e se requerem dois argumentos chamam-se binários. Dependendo dos sistemas, os operadores podem ser primitivos ou definidos. Os operadores que têm a propriedade de, a partir do valor de verdade do seu(s) argumento(s), deduzir o valor de verdade da proposição complexa chamam-se operadores verifuncionais e as proposições que formam são funções de verdade dos seus argumentos. Em lógica modal há os operadores modais-L (necessidade) e M (possibilidade) ou outros pares.