Introdução à Lógica de Programação (2)

Apresentação em tema: "Introdução à Lógica de Programação (2)"— Transcrição da apresentação:

1 Introdução à Lógica de Programação (2)
16/3/06

2 Lógica Proposicional Todo mamífero é um animal.
Todo cavalo é um mamífero. Portanto, todo cavalo é um animal. Ou SE é mamífero ENTÃO é animal. SE é cavalo ENTÃO é mamífero Logo (SE cavalo => mamífero) E (SE mamífero=>animal) Conclusão: Todo cavalo é animal “Ordem” das proposições

3 Lógica Proposicional Anacleto é mais velho que Felisberto.
Felisberto é mais velho que Marisvaldo. Portanto,Anacleto é mais velho que Marisvaldo

4 Lógica “diária” A gaveta está fechada O livro está dentro da gaveta.
Portanto,preciso abrir a gaveta para pegar o livro. Semelhança com algoritmo !!!

5 Lógica de programação Leis do pensamento Processos de raciocínio
Simbolização formal Técnica para produzir soluções logicamente válidas e coerentes

6 Lógica de programação Raciocínio (lp) independe de idioma, convenção ( linguagem) Visa a construção de algoritmo

7 Algoritmo Sequência de passos para atender/ resolver problema
Passos finitos e não-ambígos Existe ordem na sequência ( lógica ) Analogia: receita de bolo, manual de instalação, planta de construção

8 Algoritmo Troca de Lâmpada
INÍCIO Acionar interruptor SE a lâmpada não acender ENTÃO Pegar escada Posicionar escada sob a lâmpada Buscar lâmpada nova Subir na escada Retirar lâmpada queimada Colocar lâmpada nova FIM Valor lógico : Falso / Verdadeiro

9 Operadores Relacionais

10 Tabela-verdade Conjunto das possibilidades combinatórias entre valores de diversas variáveis lógicas Os valores possíveis são apenas Verdadeiro ou Falso Uso de operadores lógicos Está ligada à Álgebra Booleana

11 Negação Operação de Negação ( Não / NOT) Lâmpada está queimada = L L
não L Falso Verdadeiro

12 Operação de “E Lógico” Lâmpada está queimada = L
Tenho nova lâmpada para trocar = N Apenas vou trocar se há lâmpada queimada E se tenho nova lâmpada L N E lógico F V A proposição “vou trocar” só tem valor verdadeiro SE L e N são verdadeiros !

13 Operação de “Ou Lógico”
Lâmpada está queimada = L Tenho nova lâmpada para trocar = N Vou trocar se há lâmpada queimada OU se tenho nova lâmpada L N Ou lógico F V

14 Referência