Analise

Eis um exemplo de argumento:

Se eu ganhar na Loteria, serei rico
Eu ganhei na Loteria
Logo, sou rico

Como a conclusão “sou rico” é uma decorrência lógica das duas premissas, esse argumento é considerado válido.

Se eu ganhar na Loteria, serei rico
Não ganhei na Loteria
Logo, não sou rico

que, embora seja semelhante ao anterior, tem outra forma, e, nessa forma, a conclusão não se segue logicamente das premissas, e, portanto, não é um argumento válido.

Lógica

Continuação ...

A lógica clássica se divide em: • Lógica Proposicional • Lógica de Predicados (palavras como todos, nenhum, algum)

Lógica proposicional

É um sistema formal para representação do conhecimento em termos de expressões declarativas que expressão proposições.

Chama-se proposição todo conjunto de palavras ou símbolos que exprimem um pensamento completo. As premissas e a conclusão de um argumento são sempre proposições declarativas (pois elas podem ser facilmente declaradas como V ou F).

As proposições interrogativas (Quantos alunos faltaram hoje a aula de lógica?), imperativas e exclamativas (Passamos no vestibular!) (Não falte as aulas de lógica) não.

| |
|São proposições declarativas as 2 afirmações seguintes: |
| |
|P: O Alegretense é receptivo. |
|Q: 3 + 2 = 5