Introdução à Lógica

2.650 visualizações

Publicada em

Versão beta dos slides sobre Introdução à Lógica, para a disciplina Lógica para Computação.

Publicada em: Educação, Tecnologia
0 comentários
0 gostaram
Estatísticas
Notas
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Sem downloads
Visualizações
Visualizações totais
2.650
No SlideShare
0
A partir de incorporações
0
Número de incorporações
4
Ações
Compartilhamentos
0
Downloads
32
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Introdução à Lógica

  1. 1. Introdução à Lógica Adolfo Neto @adolfont
  2. 2. O que é Lógica?
  3. 3. “Lógica é sobre raciocínio. Todos nósraciocinamos. Tentamos descobrir o que é, raciocinando na base do que sabemos.” Graham Priest em Logic: A Very Short Introduction p.1
  4. 4. “Lógica simbólica é um modelo matemático de pensamento dedutivo.” Herbert Enderton A Mathematical Introduction to Logic
  5. 5. “Lógica Formal investiga como asserções são combinadas e conectadas, como teoremas podem ser formalmente deduzidos de certos axiomas, e que tipo de objeto é uma prova.” Uwe Schöning Logic for Computer Scientists
  6. 6. “Lógica é o estudo de argumentos. Um argumento é uma sequência de enunciados na qual um dos enunciados é a conclusão e os demais são premissas, as quais servem paraprovar ou, pelo menos, fornecer alguma evidência para a conclusão.” John Nolt, Dennis Rohatyn Schaums Outline of Logic
  7. 7. “O objetivo do estudo da lógica em ciência da computação é desenvolver linguagens para modelar situações que encontramos como profissionais de computação, de modo que possamos analisá-las formalmente.Analisar situações significa construir argumentos sobre elas.” Michael Huth e Mark Ryan Logic Logic in Computer Science: Modelling and Reasoning about Systems (NÃO RESPONDEU!)
  8. 8. “LÓGICA é a ciência que estuda princípios e métodos de inferência, tendo o objetivo principalde determinar em que condições certas coisas se seguem (são consequência), ou não, de outras. Cezar Mortari Introdução à Lógica
  9. 9. “A lógica (do grego clássico λογική logos, quesignifica palavra, pensamento, ideia, argumento, relato, razão lógica ou princípio lógico), é umaciência de índole matemática e fortemente ligada à Filosofia” Wikipédia
  10. 10. “Eu sou uma lógica” Dov Gabbay
  11. 11. AtividadePesquisar as definições (se existirem) nos outros livros da bibliografia da disciplina.
  12. 12. Termos mais comuns● Argumento ● Símbolo● Raciocínio ● Inferência● Premissa ● Consequência● Conclusão● Formalizar● Linguagem● Modelar
  13. 13. Estudo do raciocínio?
  14. 14. Premissas . . .Conclusão
  15. 15. Dedução
  16. 16. Abdução
  17. 17. PESSOAS
  18. 18. ARISTÓTELES
  19. 19. PARMÊNIDES
  20. 20. BERTRAND RUSSELL
  21. 21. FREGE

×