Lgica Matemtica e Computacional

Postulados Clssicos
Deduo e Induo
2013/1
1

Postulados clssicos
A Lgica Matemtica adota como princpios (ou
axiomas) lgicos fundamentais do pensamento:
1. O princpio da identidade, que diz que um ser
sempre idntico a si mesmo, ou seja, A A;
2. O princpio da no-contradio, que garante ser
impossvel ser e no ser ao mesmo tempo;

3. E o princpio do terceiro excludo, em que toda

proposio ou verdadeira ou falsa, e nunca um
terceiro valor, no havendo uma terceira
possibilidade.
2

Postulados clssicos
1.

O princpio da identidade

2.

O princpio da no-contradio

3.

O princpio do terceiro excludo

ou

F
3