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:

Se A e B, então C

Onde:
A: todo humano é mortal.
B: Leonardo é humano.
C: Leonardo é mortal.

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:

A e B → C

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”: