Lgica Matemtica

Introduo Lgica
Jeneffer Ferreira
jenefferferreira@gmail.com
O Curso
z Ementa
z Introduo lgica.
z Noo de argumento: premissas, concluso,
formas, validade.
z Lgica proposicional: sintaxe e semntica.
z Lgica de 1 ordem.
O Curso
z Avaliao
z Desafios propostos em sala + exerccios +
participao da turma = 3,0 pontos
z Prova = 7,0 pontos
O que Lgica?
O que Lgica?
z A lgica
z grego clssico == logos
z significa palavra, pensamento, idia, argumento, relato,
razo lgica ou princpio lgico
z uma cincia de carter matemtico
z Fortemente ligada Filosofia
z O pensamento a manifestao do conhecimento
z o conhecimento busca a verdade
z preciso estabelecer algumas regras para que essa meta
possa ser atingida.
O que Lgica?
z A lgica o ramo da filosofia que
cuida das regras do bem pensar, ou do
pensar correto, sendo, portanto,
um instrumento do pensar.
z Ela s tem sentido enquanto meio de garantir que
nosso pensamento proceda corretamente a fim de
chegar a conhecimentos verdadeiros.
z A lgica trata dos argumentos, isto , das concluses
a que chegamos atravs da apresentao de
evidncias que a sustentam.
Definio
A Lgica tem, por objeto de estudo, as leis
gerais do pensamento, e as formas de
aplicar essas leis corretamente na
investigao da verdade
Histrico
z Aristteles (em grego )
nasceu em Estagira, na Calcdica (384 a.C. - 322 a.C.).
z Filsofo grego,
z Aluno de Plato e
z Professor de Alexandre o Grande
z considerado um dos maiores pensadores de todos os tempos.
z Busca a verdade
z Preocupava com o raciocnio lgico
z Aristteles prestou contribuies fundamentais em diversas
reas do conhecimento humano, destacando-se:
z tica, poltica, fsica, metafsica, lgica, psicologia, poesia,
zoologia, biologia, histria natural.
Histrico
z Aristteles (384-322 a.C.)
z Sistematizou e organizou o conhecimento sobre a
Lgica, elevando-o categoria de cincia.
PROBLEMAS DE
LGICA
A A Zoo Zoo L L gica gica
Na floresta, a hiena mente s segundas, teras e quartas-feiras; a
ona mente s quintas, sextas e sbados. Nos dias em que elas no
mentem, elas dizem a verdade. Um dia, encontraram-se hiena e
ona e deu-se este dilogo:
Hiena Hiena: Ol ona! Ontem eu menti.
On On a a: Ol hiena! Eu tambm menti ontem.
Em que dia aconteceu este encontro?
PROBLEMAS DE
LGICA
Voc est numa cela onde existem duas portas, cada
uma vigiada por um guarda. Existe
uma porta que d para a liberdade, e outra para a
morte. Voc est livre para escolher a
porta que quiser e por ela sair. Poder fazer
apenas uma pergunta a um dos dois guardas que
vigiam as portas. Um dos guardas sempre fala a
verdade, e o outro sempre mente e voc no
sabe quem o mentiroso e quem fala a verdade.
Que pergunta voc faria?
PROBLEMAS DE
LGICA
Resposta:
Pergunte a qualquer um dos guardas:
Segundo o outro guarda, Qual a porta que da
para a liberdade? e saia pela outra porta.
Porque se voc perguntar para o mentiroso,
este indicara a porta que leva a morte. Se
voc perguntar para o outro, este, sabendo
que o outro sempre mente, tambm indicara
a porta que leva a morte.
PROBLEMAS DE
LGICA
Voc prisioneiro de uma tribo indgena que conhece
todos os segredos do Universo e
portanto sabem de tudo. Voc est para receber
sua sentena de morte. O cacique o
desafia: "Faa uma afirmao qualquer. Se o que
voc falar for mentira voc morrer na
fogueira, se falar uma verdade voc ser afogado.
Se no pudermos definir sua afirmao
como verdade ou mentira, ns te libertaremos". O
que voc diria?
PROBLEMAS DE
LGICA
Resposta:
s afirmar que voc morrer na fogueira. Porque se
voc realmente morrer na fogueira, isto uma
verdade, ento voc deveria morrer afogado, mas
se voc for afogado a afirmao seria uma mentira,
e voc teria que morrer na fogueira. Mesmo que
eles pudessem prever o futuro, cairiam neste
impasse.
Argumento
z A lgica a anlise de mtodos de raciocnio.
z Os mtodos de raciocnio nos levam diretamente ao estudo de
argumentos.
z Assim, Lgica o estudo de argumentos.
z Logo, argumento uma seqncia de proposies na qual uma
delas a concluso e as demais so premissas.
z Proposio: sentena declarativa que pode assumir os valores
verdade (v) ou falso (f)
z Premissa: afirmao disponvel
z Consideremos o seguinte argumento:
z Todos os homens so mortais.
z Scrates homem.
z Portanto, Scrates mortal.
z Os dois primeiros enunciados so premissas que servem para
provar a concluso: Scrates mortal.
Referncias
z PINHO, Antonio A. Introduo Lgica
Matemtica. Rio de Janeiro, 1999. (Captulo
I)
z ABE, Jair Minoro; SCALZITTI, Alexandre;
FILHO, Joo Incio da Silva. Introduo
Lgica para a Cincia da Computao.
Arte e Cincia, 2002. (Captulo I).