Alo galera

1 - Lógica Formal
• 1.1 Proposições e Tautologias
• 1.2 Lógica Proposicional
• 1.3 Quantificadores e Predicados
• 1.4 Lógica de Predicados

Lógica é a “ciência do raciocínio”.

Aristóteles
(384 a.C.–322 a.C.)

Leibniz
(1646–1716)

George Boole
(1815–1864)

Augustus De Morgan
(1806–1871)

Aristóteles
• Fez o primeiro tratamento sistemático das leis do pensamento relacionado com aquisição de conhecimento.

• Originalmente a lógica lidou com argumentos na forma natural do idioma humano. Aristóteles
• Todos os homens são mortais
• Sócrates é um homem

Aristóteles
• Todos os homens são mortais
• Sócrates é um homem
‣ Então, Sócrates é mortal

Problemas

• Ambiguidades da linguagem natural

Problemas
• Ambiguidades da linguagem natural
‣ “Bartolomeu é um touro”

Problemas
• Ambiguidades da linguagem natural
‣ “Bartolomeu é um touro”

• Paradoxos

Problemas
• Ambiguidades da linguagem natural
‣ “Bartolomeu é um touro”

• Paradoxos
‣ Paradoxo do Mentiroso. “Essa frase é falsa”

Lógica é a “ciência do raciocínio”.

Aristóteles
(384 a.C.–322 a.C.)

Leibniz
(1646–1716)

George Boole
(1815–1864)

Augustus De Morgan
(1806–1871)

Leibniz
•
•
•

Criador do termo “função” para descrever inclinações ou pontos situados numa curva.
É creditado a Leibniz e a Newton o desenvolvimento do cálculo moderno, em particular o desenvolvimento da Integral e da
Regra do Produto.
Um dos grandes entusiastas da idéia de uma linguagem artificial para a apresentação formal das regras do pensamento, dedicou parte expressiva de seus escritos à tarefa de elaborar um sistema simbólico apropriado

Lógica é a “ciência do raciocínio”.

Aristóteles
(384 a.C.–322 a.C.)

Leibniz
(1646–1716)

George Boole
(1815–1864)

Augustus De Morgan
(1806–1871)

• Só no século 19 a lógica passa a ser constituída como ciência independente da filosofia.

• George Boole e Augustus de Morgan mostram que as