Pesquisa avançada
O Portal da Língua Portuguesa é um repositório organizado de recursos linguísticos. Pretende ser orientado tanto para o público em geral como para a comunidade científica, servindo de apoio a quem trabalha com a língua portuguesa e a todos os que têm interesse ou dúvidas sobre o seu funcionamento. Todo o conteúdo do Portal é de livre acesso e está em constante desenvolvimento.  ler mais

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).


Pesquisa Dicionário:
ILTEC