Notação: O valor lógico de uma proposição simples indica-se por V(p) e composta por V(P) (letra maiúscula). Exemplos de proposições simples: p : um triângulo têm três lados. q : Blumenau é um país.
As proposições lógicas podem ser classificadas em dois tipos:
Em sua versão mais antiga, formulada pelo filósofo grego Aristóteles, um silogismo é formado por três proposições: uma afirmação geral, a qual chamamos premissa maior; seguida de uma proposição de afirmação específica, a qual chamamos premissa menor; e uma conclusão, ou consequente, que é deduzida das duas premissas.
Palavra invariável que tem a função de unir as palavras para formar frases. Divide-se em: ESSENCIAIS: a, ante, após, com, contra, de, desde, em, entre, para, perante, por(per), sem, sob, sobre, trás.
Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições.