Dicionário de Termos LinguÃsticos
voltar ao Ãndice
variável proposicional
| Classificação: | Semântica
| | Equivalentes: | | Inglês: | propositional variable|FR |
|
Definição:
Símbolo utilizado para representar uma proposição atómica num cálculo lógico, permitindo assim enunciar axiomas que são verdadeiros independentemente das proposições particulares que se podem substituir às variáveis proposicionais. As letras "p", "q" "r",... são normalmente usadas como variáveis proposicionais. Por vezes, utiliza-se também "p", "q", "r"... para qualquer fórmula bem formada arbitrária, atómica ou complexa.
Volume II
Fonte: LYONS (1977). 
|
