Md 1FundamentosDaLogica

Fundamentos da Lógica
Lógica Proposicional
Antonio Alfredo Ferreira Loureiro [e-mail] http://www.dcc.ufmg.br/~loureiro

UFMG/ICEx/DCC

MD

·

Fundamentos da Lo
´gica – Lo
´gica Proposicional

1

Fundamentos da lógica:
Alguns fatos históricos
Aristóteles (384 a.C.–322 a.C.), filósofo grego. Produziu uma obra rica e multifacetada. Nela encontramos uma exaustiva compilação dos conhecimentos do seu tempo, mas também, uma filosofia que ainda hoje influência a nossa maneira de pensar.
Gottfried Wilhelm Leibniz (1646–1716), filósofo e matemático alemão, provavelmente mais conhecido por ter inventado o cálculo integral e diferencial independentemente de Isaac Newton.
Augustus
De Morgan
(1806–1871),
matemático inglês. George Boole
(1815–1864),
matemático e filósofo inglês. UFMG/ICEx/DCC

MD

·

Responsável por escrever os primeiros grandes trabalhos de lógica:
– Coleção de regras para raciocínio dedutivo que pode ser usado em qualquer área do conhecimento.

Propõe o uso de símbolos para mecanizar o processo de raciocínio dedutivo. Propõem as bases da lógica simbólica moderna usando as idéias de Leibniz.

Fundamentos da Lo
´gica – Lo
´gica Proposicional

2

Fundamentos da lógica:
Atualidade
Pesquisa continua sendo aplicada em áreas como:
–
–
–
–
–
–

inteligência artificial; projeto de circuito lógico; teoria de autômatos e computabilidade; teoria de bancos de dados relacionais; teoria de linguagens; teoria de sistemas distribuídos.

UFMG/ICEx/DCC

MD

·

Fundamentos da Lo
´gica – Lo
´gica Proposicional

3

Forma de um Argumento ×
Seu Conteúdo
• Forma de um argumento: conceito central da lógica dedutiva.
• Argumento: sequência de afirmações para demonstrar a validade de uma asserção. • Como saber que a conclusão obtida de um argumento é válida?
➜ As afirmações que compõem o argumento
– são aceitas como válidas, ou
– podem ser deduzidas de afirmações anteriores.
• Em lógica, forma de um argumento = seu conteúdo.
• “Análise lógica” não determina a validade do