Lógica

Lógica Matemática
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.
Em sua obra chamada Organum (“ferramenta para o correto pensar”), estabeleceu princípios tão gerais e tão sólidos que até hoje são considerados válidos.
3

Origem




Aristóteles se preocupava com as formas de raciocínio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos.
A partir dos conhecimentos tidos como verdadeiros, caberia à Lógica a formulação de leis gerais de encadeamentos lógicos que levariam à descoberta de novas verdades.
Essa forma de encadeamento é chamada, em
Lógica, de argumento.
4

Argumento




Um argumento é uma seqüência de proposições na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão.
 Proposições: sentenças afirmativas que podem ser verdadeiras ou falsas.
 Premissas: afirmações disponíveis
Exemplo:
Todo aluno de Computação precisa estudar Lógica.
José é aluno de Computação.
Logo, José precisa estudar Lógica.

(premissa)
(premissa)
(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:
Você me traiu. Pois, disse que ia estudar e meu irmão lhe viu na boate.



Um argumento demonstra/prova como a partir dos dados de um problema chegou-se a uma conclusão.
6

Argumento:
Raciocínio e Inferência


Exercício 1:
Um turista está andando pela terra dos honestos e mentirosos. Lá, as pessoas são radicais, umas só falam a verdade e outras só falam mentiras. Chegou a hora do almoço e o turista encontra-se numa estrada com uma bifurcação. O