Os elementos usados para combinar uma ou mais proposições serão estudados com mais detalhe posteriormente nesta disciplina, mas é possível adiantar uma notação que representa o pensamento “Todo humano é mortal. Leonardo é humano. Logo, Leonardo é mortal” na lógica das proposições, como vemos a seguir.

O pensamento: “Todo humano é mortal. Leonardo é humano. Logo, Leonardo é mortal” pode também ser traduzido em:

Substituindo cada pensamento completo (chamados de proposição) por letras maiúsculas quaisquer, temos a representação:

Onde:

Na notação da lógica das proposições, a estrutura de pensamento “Se...., então...” é simbolizada por uma seta “→” conectando os dois pensamentos. Tem-se então:

Por fim, é preciso saber que na lógica das proposições o “e” é simbolizado por “∧”, resultando na seguinte notação final do pensamento “Todo humano é mortal. Leonardo é humano. Logo, Leonardo é mortal”: