1 - Estrutura do pensamento e a lógica das proposições

O que é lógica? O que estudarei em lógica? Muitos devem se fazer estes questionamentos ao iniciar o estudo desta disciplina.

Lógica das proposições (ou lógica proposicional) é um mapeamento do formato e das regras do pensamento, possibilitando a verificação da verdade ou falsidade deste pensamento.

Para entender melhor, considere o exemplo de pensamento abaixo:

1 - Todo humano é mortal. Leonardo é humano. Logo, Leonardo é mortal.

Mapeando este pensamento por meio da lógica, podemos simbolizá-lo no seguinte formato:

Todo H é M. L é H. Logo, L é M.

Todo X é Y. Z é X. Logo, Z é Y.

Não importa a letra utilizada para simbolizar cada fragmento de pensamento, mas sim a utilização destes símbolos para o auxílio da interpretação, visando representar a forma como o pensamento foi construído.