Dicionário de Termos Linguísticos

Em lógica proposicional, podemos dizer que uma proposição é uma "entidade" (ou frase) portadora de valor de verdade (verdadeiro ou falso). Assim, uma frase como "o João fuma" expressa uma proposição e frases sinónimas expressam a mesma proposição enquanto frases ambíguas expressam mais do que uma proposição. Uma outra definição consiste em considerar que uma proposição "é" o conjunto de mundos possíveis em que essa proposição é verdadeira. Esta definição é a mais comum em semântica formal e relaciona-se com o identificar a proposição com a função que especifica qual o seu valor de verdade em cada mundo.