Variável proposicional (matemática)
 | Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Junho de 2021) |
Em lógica matemática, uma variável proposicional (também conhecida como variável sentencial ou letra sentencial) é uma variável que pode assumir valor verdade verdadeiro ou falso. Variáveis proposicionais são os elementos básicos das fórmulas proposicionais, usadas na lógica proposicional e em lógicas de maiores complexidades.
Fórmulas em lógica são tipicamente construídas recursivamente de algumas variáveis proposicionais, número de conectivos lógicos e quantificadores lógicos. Variáveis proposicionais são formulas atômicas da lógica proposicional. Na lógica proposicional, podemos definir as formulas, por exemplo:
- Toda variável é uma formula;
- Dado uma fórmula X, a negação, ¬X é uma formula;
- Dado uma fórmula X e uma formula Y, e um conectivo binário b (como a conjunção lógica ∧, por exemplo), então (X b Y) é uma formula. (Note o parênteses.)
Dessa forma, todas as formulas da lógica proposicional são construídas a partir das variáveis proposicionais com unidade básica. Variáveis proposicionais não devem ser confundida com meta-variáveis as quais aparecem nos típicos axiomas do cálculo proposicional; O último atua efetivamente sob fórmulas bem formadas.
Variáveis proposicionais são representadas como predicados nulos em lógica de primeira ordem.
Bibliografia[editar | editar código-fonte]
- Smullyan, Raymond M. First-Order Logic. 1968. Dover edition, 1995. Capítulo 1.1: Formulas da Lógica Proposicional.
