Logica Matemática1 - Introducao
Logica Matemática1 - Introducao
Logica Matemática1 - Introducao
Introdução
1
Definição
A Lógica tem, por objeto de
estudo, as leis gerais do
pensamento, e as formas de
aplicar essas leis corretamente
na investigação da verdade.
2
Origem
Aristóteles - filósofo grego - 342 a.C,
sistematizou os conhecimentos existentes em
Lógica, elevando-os à categoria de ciência.
3
Origem
Aristóteles se preocupava com as formas de
raciocínio que, a partir de conhecimentos
considerados verdadeiros, permitiam obter
novos conhecimentos.
verdadeiras ou falsas.
Premissas: afirmações disponíveis
Exemplo:
Todo aluno de Computação precisa estudar Lógica. (premissa)
José é aluno de Computação. (premissa)
Logo, José precisa estudar Lógica. (conclusão)
5
Argumento
O objetivo de um argumento é justificar uma afirmação que se
faz, ou dar as razões para uma certa conclusão obtida.
Exemplo:
6
Argumento:
Raciocínio e Inferência
Exercício 1:
7
Argumento:
Raciocínio e Inferência
Exercício 2:
Pontos de Partida
Raciocínio ou
Caminhos Seguidos
Processo de Inferência
Conclusão
10
Argumento
11
Validade de um Argumento
Em um argumento válido, as premissas são
consideradas provas evidentes da verdade da
conclusão, caso contrário não é válido.
12
Validade de um Argumento
Exemplo 1: O argumento que segue é válido?
É Válido
(a conclusão é uma decorrência
lógica das duas premissas.)
13
Validade de um Argumento
Exemplo 2: O argumento que segue é válido?
Não é Válido
(a conclusão não é uma decorrência
lógica das duas premissas.)
14
Validade de um Argumento
A lógica se preocupa com o relacionamento
entre as premissas e a conclusão, ou seja,
com a estrutura e a forma do raciocínio. A
verdade do conteúdo de cada premissa e da
conclusão é estudo das demais ciências.
16
Argumentos Dedutivos
Os Argumentos Dedutivos pretendem que
suas premissas forneçam uma prova
conclusiva da veracidade da conclusão.
Podem ser:
Válidos: quando suas premissas, se
anterior.
17
Argumentos Dedutivos
Exemplos de argumentos dedutivos:
18
Argumentos Indutivos
Os Argumentos Indutivos não pretendem que suas
premissas forneçam provas cabais da veracidade da
conclusão, mas apenas que forneçam indicações
dessa veracidade. (possibilidade, probabilidade)
20
Argumentos Indutivos
Exemplo2:
Exemplo3:
22
Validade e Verdade
Verdade e Falsidade: são propriedades
das proposições, nunca dos argumentos
23
Validade e Verdade
Exemplo 1
Toda baleia é um mamífero (V)
Todo mamífero tem pulmões (V)
Logo, toda baleia tem pulmões (V)
27
Lógica Clássica e
Lógica Simbólica.
Uma vez que , a Lógica Simbólica tem sua
própria linguagem técnica, é um instrumento
poderoso para a análise e a dedução dos
argumentos, especialmente com o uso do
computador (Prova Automática de
Teoremas).
30