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
Francês:variable propositionel

Definição:

Smbolo utilizado para representar uma proposio atmica num clculo lgico, permitindo assim enunciar axiomas que so verdadeiros independentemente das proposies particulares que se podem substituir s variveis proposicionais. As letras "p", "q" "r",... so normalmente usadas como variveis proposicionais. Por vezes, utiliza-se tambm "p", "q", "r"... para qualquer frmula bem formada arbitrria, atmica ou complexa.
Volume II

Fonte: LYONS (1977).


Pesquisa Dicionário:
ILTEC