Successfully reported this slideshow.
Introdução à Lógica   Adolfo Neto    @adolfont
O que é Lógica?
“Lógica é sobre raciocínio. Todos nósraciocinamos. Tentamos descobrir o que é,  raciocinando na base do que sabemos.”     ...
“Lógica simbólica é um modelo matemático de           pensamento dedutivo.”            Herbert Enderton    A Mathematical ...
“Lógica Formal investiga como asserções são  combinadas e conectadas, como teoremas podem ser formalmente deduzidos de cer...
“Lógica é o estudo de argumentos. Um argumento é uma sequência de enunciados na qual um dos enunciados é a conclusão e os ...
“O objetivo do estudo da lógica em ciência da  computação é desenvolver linguagens para  modelar situações que encontramos...
“LÓGICA é a ciência que estuda princípios e métodos de inferência, tendo o objetivo principalde determinar em que condiçõe...
“A lógica (do grego clássico λογική logos, quesignifica palavra, pensamento, ideia, argumento,  relato, razão lógica ou pr...
“Eu sou uma lógica”   Dov Gabbay
AtividadePesquisar as definições (se existirem) nos outros       livros da bibliografia da disciplina.
Termos mais comuns●   Argumento       ●   Símbolo●   Raciocínio      ●   Inferência●   Premissa        ●   Consequência●  ...
Estudo do raciocínio?
Premissas    .    .    .Conclusão
Dedução
Abdução
PESSOAS
ARISTÓTELES
PARMÊNIDES
BERTRAND RUSSELL
FREGE
Introdução à Lógica
Introdução à Lógica
Nächste SlideShare
Wird geladen in …5
×

Introdução à Lógica

2.718 Aufrufe

Veröffentlicht am

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

Veröffentlicht in: Bildung, Technologie
  • Als Erste(r) kommentieren

  • Gehören Sie zu den Ersten, denen das gefällt!

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

×