Proposição

term: Proposição etymology: Do latim propositio — "algo posto à frente", uma afirmação apresentada. summary: Sentença declarativa que é necessariamente verdadeira ou falsa, nunca ambas, nunca nenhuma. relatedModules: [history-of-logic, propositional-logic] seeAlso: [predicado, valor-verdade, terceiro-excluido, nao-contradicao]

Definição

Sentença declarativa que é necessariamente verdadeira ou falsa, nunca ambas, nunca nenhuma.

Intuição

Uma afirmação sobre a qual faz sentido perguntar isso é verdade?. Precisa admitir uma resposta sim ou não — mesmo que não saibamos qual.

Registro computacional

Expressão de tipo bool. Avalia para True ou False, nunca None, nunca lança erro.

está_chovendo: bool = True   # proposição

Exemplos

• $2 + 2 = 4$ — proposição (verdadeira)
• Paris é a capital da Alemanha — proposição (falsa)
• Feche a porta — não é proposição (ordem, não afirmação)
• $x > 5$ — não é proposição (depende de $x$; é um predicado)
• Esta sentença é falsa — não é proposição (paradoxo)