Professor

Técnico em Informática para Internet
Linguagem de Programação
Prof.: Emerson Camargo

Agenda
- Princípios da Lógica
- Programação Estruturada
- Algoritmo
- Pascal

Linguagem de Programação
Princípios da lógica

A Lógica está dependente de três princípios fundamentais: o Princípio da Identidade, o da não Contradição e o do Terceiro Excluído.
Linguagem de Programação
Princípio da Identidade: A é A.

Uma coisa é o que é. O que é, é; e o que não é, não é. Esta formulação remonta a Parménides de Eleia.
Linguagem de Programação
Princípio da Não Contradição

Uma coisa não pode ser e não ser ao mesmo tempo, segundo uma mesmo perspectiva. Ou seja, não posso dizer, por exemplo, que "A Teresa é e não é Alcacerense". Em termos de proposições: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo; Uma proposição e a sua negação não podem ser simultaneamente verdadeiras; e duas proposições contraditórias não podem ser simultaneamente verdadeiras.
Linguagem de Programação
Princípio do Terceiro Excluído

Uma coisa deve ser, ou então não ser; não há uma terceira possibilidade (o terceiro é excluído).
Em termos de proposições, temos os enunciados: Uma proposição é verdadeira, ou então é falsa; não há outra possibilidade; Se encararmos uma proposição e a sua negação, uma é verdadeira e o outra é falsa, não há meio termo; e de duas proposições contraditórias, se uma é verdadeira, a outra é falsa, e se uma é falsa, a outra é verdadeira, não há meio termo.
Linguagem de Programação
Princípio do Terceiro Excluído

Uma coisa deve ser, ou então não ser; não há uma terceira possibilidade (o terceiro é excluído).
Em termos de proposições, temos os enunciados: Uma proposição é verdadeira, ou então é falsa; não há outra possibilidade; Se encararmos uma proposição e a sua negação, uma é verdadeira e o outra é falsa, não há meio termo; e de duas proposições contraditórias, se uma é verdadeira, a outra é falsa, e se uma é falsa, a outra é verdadeira, não