Dicionário de Termos LinguÃsticos
voltar ao Ãndice
constante lógica
Definição:
Termo utilizado por vezes para mencionar os operadores do cálculo proposicional: '~' (negação), '&' (conjunção), '∨' (disjunção), '→' (condicional) e '↔' (bicondicional), que fazem parte do seu vocabulário primitivo.
Volume II
Fonte: LYONS (1977).
|