Lógica
Aula 1
Prof.ª Larissa
2015
Bibliografia
• Básica
ALENCAR FILHO, E. Iniciação à Lógica Matemática. 21.ed. São Paulo: Nobel,
2002.
DAGHLIAN, J. Lógica e Álgebra de Boole. 4.ed. São Paulo: Atlas, 1995.
ABE, J. M. et al. Introdução à Lógica para a Ciência da Computação. 2.ed.
São Paulo: Arte & Ciência, 2001.
• Complementar
PROETTI, S. Simplificando a Lógica: Conceitos Básicos, Exemplos e
Exercícios para Facilitar a Aprendizagem da Lógica e o Desenvolvimento do Raciocínio Científico. São Paulo. 3.ed. Edicon: 2005.
SALMON, W. C. Lógica. 3.ed. Rio de Janeiro, 1993.
GERSTING, J.L. Fundamentos Matemáticos para Ciência da Computação.
Ed. LTC., 2004.
Sumário
• Introdução à Lógica
– Definição
– História da lógica
– Utilizações
• Introdução à Lógica Proposicional
– O que é proposição?
– Valores de proposições
Introdução à Lógica
Definição
“Lógica é a análise de métodos de raciocínio”
[Mendelson, 1987]
• Interesse maior na forma do que no conteúdo
X
Y
Z
X
Z
– Todo homem é mortal. Sócrates é um homem. Portanto, Sócrates é mortal. Y
X Y
Z
X
Z Y
– Todo cão late. Totó é um cão. Portanto, Totó late.
• Do ponto de vista lógico, estes argumentos têm a mesma forma:
– Todo X é Y. Z é X. Portanto, Z é Y.
Introdução à Lógica
Definição
– Portanto, a lógica estuda as estruturas que compõem nosso raciocínio. Definições de outros autores:
“Regras gerais do pensamento correto e verdadeiro, independentemente dos conteúdos pensados”
[Chauí, 2002 – Convite à Filosofia]
“Estudo da natureza do raciocínio e as formas de incrementar sua utilização”
[Andrews, 1996]
Introdução à Lógica
História da lógica
•
•
•
•
A lógica foi originalmente concebida como um ramo da filosofia. O desenvolvimento da lógica inicia-se no século IV a.C. com Aristóteles (384-322 a.C.).
Aristóteles, filósofo grego, é considerado o pai ou o criador da lógica.
Seus escritos abrangem diversos assuntos, dentre eles:
– Física
– Química
– Música
– Poesia
– Retórica
– Governo
– Ética
– Biologia
– Zoologia