mat349 - introdução à lógica // · mat349 - introdução à lógica glaucio terra´...
TRANSCRIPT
![Page 1: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/1.jpg)
MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349
Glaucio Terra
Departamento de Matematica
IME - USP
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 1/10
![Page 2: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/2.jpg)
Programa Resumido do Curso
• Cálculo Proposicional• Cálculo de Predicados de Primeira Ordem• Noções sobre Teorias Formalizadas
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 2/10
![Page 3: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/3.jpg)
Bibliografia Sugerida
• B. Castrucci, Introdução à LógicaMatemática, Nobel, 1975.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 3/10
![Page 4: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/4.jpg)
Bibliografia Sugerida
• B. Castrucci, Introdução à LógicaMatemática, Nobel, 1975.
• E. Mendelson, Introduction to MathematicalLogic, Van Nostrand, 1964.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 3/10
![Page 5: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/5.jpg)
Bibliografia Sugerida
• B. Castrucci, Introdução à LógicaMatemática, Nobel, 1975.
• E. Mendelson, Introduction to MathematicalLogic, Van Nostrand, 1964.
• J. Zimbarg, Introdução à Lógica Matemática,Impa, 1973.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 3/10
![Page 6: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/6.jpg)
Objetivos
• Familiarização com o emprego de linguagensformais;
• Introdução ao Cálculo de Predicados de 1a.Ordem como base lógica para o tratamentode teorias axiomáticas.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 4/10
![Page 7: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/7.jpg)
O que é a Lógica?
A Lógica é a ciência das leis necessáriasdo entendimento e da razão.
(I. Kant)
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 5/10
![Page 8: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/8.jpg)
A Lógica Matemática:
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 6/10
![Page 9: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/9.jpg)
A Lógica Matemática:
é a parte da Lógica que trata do estudo deargumentos válidos no discurso matemático.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 6/10
![Page 10: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/10.jpg)
Silogismos
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 7/10
![Page 11: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/11.jpg)
Silogismos
PREMISSA: Todos os coelhos gostam decenouras.PREMISSA: Sócrates é um coelho.CONCLUSÃO: Sócrates gosta de cenouras.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 7/10
![Page 12: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/12.jpg)
Silogismos
PREMISSA: Todos os coelhos gostam decenouras.PREMISSA: Sócrates é um coelho.CONCLUSÃO: Sócrates gosta de cenouras.
PREMISSA: Todos os homens são mortais.PREMISSA: Alguns animais são mortais.CONCLUSÃO: Todos os homens são animais.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 7/10
![Page 13: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/13.jpg)
Brevíssima Introdução Histórica
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 8/10
![Page 14: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/14.jpg)
Brevíssima Introdução Histórica
ANTIGÜIDADE GREGA:
Arist oteles(384-322 a.C.): silogismos; primórdios docálculo de predicados.
Escola dos est oicos e dos meg arios: Euclides deMegara, Zenão, Crisipo.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 8/10
![Page 15: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/15.jpg)
Brevíssima Introdução Histórica
ANTIGÜIDADE GREGA:
Arist oteles(384-322 a.C.): silogismos; primórdios docálculo de predicados.
Escola dos est oicos e dos meg arios: Euclides deMegara, Zenão, Crisipo.
LÓGICA MODERNA:
Leibnitz (sec. XVII) precursor da lógica moderna.
Seculos XIX e XX: Boole, De Morgan, Peirce,Frege, Church, Russel, Whitehead, Hilbert,Gödel, Tarski.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 8/10
![Page 16: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/16.jpg)
Lógica Objeto versus Lógica doObservador
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 9/10
![Page 17: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/17.jpg)
Lógica Objeto versus Lógica doObservador
LÓGICA OU LINGUAGEM OBJETO: é a linguagemformal ou o sistema lógico formal que constitui oobjeto de estudo.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 9/10
![Page 18: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/18.jpg)
Lógica Objeto versus Lógica doObservador
LÓGICA OU LINGUAGEM OBJETO: é a linguagemformal ou o sistema lógico formal que constitui oobjeto de estudo.
LÓGICA OU LINGUAGEM DO OBSERVADOR: é alógica, num sentido intuitivo ou informal, que seusa para estudar ou descrever a lógica objeto.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 9/10
![Page 19: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/19.jpg)
Sintaxe versus Semântica
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 10/10
![Page 20: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/20.jpg)
Sintaxe versus Semântica
SINTAXE: é o significante lingüístico.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 10/10
![Page 21: MAT349 - Introdução à Lógica // · MAT349 - Introdução à Lógica Glaucio Terra´ glaucio@ime.usp.br Departamento de Matematica´ IME - USP MAT349 - …](https://reader033.vdocuments.pub/reader033/viewer/2022052210/5ae21e877f8b9a5b348bd8d3/html5/thumbnails/21.jpg)
Sintaxe versus Semântica
SINTAXE: é o significante lingüístico.
SEMÂNTICA: é o significado denotado pelasintaxe.
MAT349 - Introducao a Logicahttp://www.ime.usp.br/mat/349 – p. 10/10