Lgica Matemtica

Introduo

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.
2

Origem

Aristteles - filsofo grego - 342 a.C,

sistematizou os conhecimentos existentes
em Lgica, elevando-os categoria de
cincia.

Em sua obra chamada Organum

(ferramenta para o correto pensar),
estabeleceu princpios to gerais e to
slidos que at hoje so considerados
vlidos.
3

Origem

Aristteles se preocupava com as formas

de raciocnio que, a partir de
conhecimentos considerados verdadeiros,
permitiam obter novos conhecimentos.

A partir dos conhecimentos tidos como

verdadeiros, caberia Lgica a formulao
de leis gerais de encadeamentos lgicos
que levariam descoberta de novas
verdades. Essa forma de encadeamento
chamada, em Lgica, de argumento.
4

Argumento

Um argumento uma seqncia de proposies na

qual uma delas a concluso e as demais so
premissas. As premissas justificam a concluso.
Proposies: sentenas afirmativas que podem ser
verdadeiras ou falsas.
Premissas: afirmaes disponveis

Exemplo:
Todo aluno de Computao precisa estudar Lgica.
(premissa)
Jos aluno de Computao.
(premissa)
Logo, Jos precisa estudar Lgica.
(concluso)

Argumento

O objetivo de um argumento justificar uma afirmao

que se faz, ou dar as razes para uma certa concluso
obtida.
Exemplo:
Voc me traiu. Pois, disse que ia estudar e meu
irmo lhe viu na boate.

Um argumento demonstra/prova como a partir dos

dados de um problema chegou-se a uma concluso.
6

Argumento:
Raciocnio e Inferncia

Exerccio 1:
Um turista est andando pela terra dos honestos e
mentirosos. L, as pessoas so radicais, umas s
falam a verdade e outras s falam mentiras.
Chegou a hora do almoo e o turista encontra-se
numa estrada com uma bifurcao. O turista sabe
que um dos caminhos para um restaurante e o
outro para um abismo, mas no sabe distingui-los.
Nesta bifurcao ele encontra um homem nativo.
Naturalmente o turista no sabe se ele honesto
ou mentiroso. Como o turista descobre o caminho
para o restaurante fazendo uma nica pergunta a
esse nativo?
7

Argumento:
Raciocnio e Inferncia

Exerccio 2:
Um rei resolveu dar a liberdade a um de seus trs
prisioneiros. Mandou trazer trs chapus brancos e dois
vermelhos. Vendou os olhos dos prisioneiros, colocou
um chapu em cada um e depois foi retirando a venda
dos olhos deles. Ganharia a liberdade aquele que
soubesse dizer, de forma convincente, a cor do seu
prprio chapu olhando para os outros prisioneiros. Os
dois primeiros no souberam dizer. O terceiro, antes
que o rei lhe tirasse a venda dos olhos, afirmou com
toda certeza a cor do seu chapu.
Qual a cor do chapu do terceiro prisioneiro? Justifique.
8

Argumento:
Raciocnio e Inferncia

Para convencer que voc sabe a resposta (que

no um chute) voc tem de expor as razes
que o levaram a concluso (justificar).
Pontos de Partida

Caminhos Seguidos

Raciocnio ou
Processo de Inferncia

Concluso

Um argumento poderia ser considerado uma

reconstruo explcita do raciocnio efetuado

Argumento:
Raciocnio e Inferncia

Inferncia a relao que permite

passar das premissas para a
concluso (um encadeamento
lgico)

A palavra inferncia vem do latim,

Inferre, e significa conduzir para
10

Argumento

O objeto de estudo da lgica

determinar se a concluso de um
argumento ou no decorrente das
premissas (uma inferncia).

11

Validade de um Argumento

Em um argumento vlido, as premissas

so consideradas provas evidentes da
verdade da concluso, caso contrrio no
vlido.

Quando vlido, podemos dizer que a

concluso uma conseqncia lgica das
premissas, ou ainda que a concluso
uma inferncia decorrente das premissas.
12

Validade de um Argumento

Exemplo 1: O argumento que segue vlido?

Se eu ganhar na Loteria, serei rico.
Eu ganhei na Loteria.
Logo, sou rico.

Vlido
(a concluso uma decorrncia
lgica das duas
premissas.)
13

Validade de um Argumento

Exemplo 2: O argumento que segue vlido?

Se eu ganhar na Loteria, serei rico
Eu no ganhei na Loteria
Logo, no sou rico

No Vlido
(a concluso no uma
decorrncia
lgica das duas
premissas.)
14

Validade de um Argumento

A lgica se preocupa com o

relacionamento entre as premissas e a
concluso, ou seja, com a estrutura e a
forma do raciocnio. A verdade do
contedo de cada premissa e da
concluso estudo das demais cincias.

A validade do argumento est

diretamente ligada forma pela qual ele
se apresenta (Lgica Formal estuda a
forma dos argumentos).
15

Deduo e Induo

A Lgica dispe de duas

ferramentas que podem ser
utilizadas pelo pensamento na
busca de novos conhecimentos: a
deduo e a induo, que do
origem a dois tipos de argumentos:
Dedutivos e Indutivos.
16

Argumentos Dedutivos

Os Argumentos Dedutivos pretendem

que suas premissas forneam uma prova
conclusiva da veracidade da concluso.
Podem ser:
Vlidos: quando suas premissas, se
verdadeiras, fornecem provas
convincentes para a concluso. Isto ,
se as premissas forem verdadeiras,
impossvel que a concluso seja falsa;
Invlidos: no se verifica a
caracterstica anterior.
17

Argumentos Dedutivos

Exemplos de argumentos dedutivos:

Ela toca piano ou violo.
Argumento
Ela toca piano.
Invlido
Logo, ela no toca violo.
Todo homem mortal.
Scrates um homem.
Logo, Scrates mortal.

Argumento Vlido

18

Argumentos Indutivos

Os Argumentos Indutivos no pretendem que

suas premissas forneam provas cabais da
veracidade da concluso, mas apenas que
forneam indicaes dessa veracidade.
(possibilidade, probabilidade)

Seguem do Raciocnio Indutivo, isto , obtm

concluses baseada em
observaes/experincias. Enquanto que um
Raciocnio Dedutivo exigi uma prova formal sobre
a validade do argumento.

Os termos vlidos e invlidos no se aplicam para

os argumentos indutivos. Eles so avaliados de
acordo com a maior ou a menor probabilidade
com que suas concluses sejam estabelecidas. 19

Argumentos Indutivos

Exemplo1:
Joguei uma pedra no lago, e ela afundou;
Joguei outra pedra no
lago e ela tambm afundou;
Joguei mais uma pedra no lago, e ela
tambm afundou;
Logo, se eu jogar uma outra pedra no
lago, ela vai afundar.
20

Argumentos Indutivos

Exemplo2:
A vacina funcionou bem nos ratos.
A vacina funcionou bem nos macacos.
Logo, vai funcionar bem nos humanos.

Exemplo3:
80% dos entrevistados vo votar no
candidato X.
Logo, o candidato X vai vencer as eleies.21

Argumentos Indutivos

A Lgica Formal Clssica s estuda

Argumentos Dedutivos, verificando
se so ou no vlidos.

22

Validade e Verdade

Verdade e Falsidade: so propriedades

das proposies, nunca dos
argumentos

Validade ou Invalidade: so propriedades dos argumentos dedutivos que

dizem respeito a inferncia ser ou no
vlida (raciocnio ser ou no correto)
23

Validade e Verdade

Exemplo 1
Toda baleia um mamfero (V)
Todo mamfero tem pulmes (V)
Logo, toda baleia tem pulmes
(V)

Argumento vlido e a
concluso
verdadeira.
24

Validade e Verdade

Exemplo 2
Toda aranha tem seis pernas
(F)
Todo ser de seis pernas tem asas (F)
Logo, toda aranha tem asas
(F)

Argumento vlido e a
concluso
falsa
25

Validade e Verdade

Os conceitos de argumento vlido ou invlido

so independentes da verdade ou falsidade de
suas premissas e concluso.

Qualquer combinao de valores verdade entre

as premissas e a concluso possvel, exceto
que nenhum argumento dedutivo vlido tenha
as premissas verdadeiras e a concluso falsa.

Um argumento dedutivo no qual todas as

premissas so verdadeiras dito Argumento
Correto, evidentemente sua concluso
tambm verdadeira.
26

Lgica Clssica e
Lgica Simblica.

Lgica Informal formula os argumentos em

linguagem natural, mas enfrenta problemas de
ambigidade e de construes confusas.

A Lgica Simblica ou Lgica Matemtica utiliza

smbolos de origem matemtica para formular
os argumentos.
Tabalho iniciado pelo matemtico ingls George
Boole (1815 1864) Algebra Booleana. e
consolidado pelo filsofo e matemtico alemo
Goottlob Frege (1848 1895) Regras de
Demonstrao Matemtica.
27

Lgica Clssica e
Lgica Simblica.

Uma vez que , a Lgica Simblica tem

sua prpria linguagem tcnica, um
instrumento poderoso para a anlise e a
deduo dos argumentos,
especialmente com o uso do
computador (Prova Automtica de
Teoremas).

Tradicionalmente a Lgica tem sido

estudada para orientaes filosficas e
matemticas. Na computao, ela
utilizada para representar problemas e
28
para obter suas solues.

O que estudaremos nessa

disciplina?

Argumentos (estrutura, formalizao e

validade).
Sistemas Lgicos (Lgica Proposicional e
Lgica de 1 ordem) e provas de suas
propriedades bsicas (teoremas).
Mtodos Algortmicos para testar se uma
frmula de um sistema lgico verdadeira
ou no (Prova Automtica de Teoremas).
Aplicaes de Prova Automtica de
Teoremas na resoluo de problemas em
reas da computao.
Um pouco de Programao em Lgica
29

Referncia Bibliogrfica para esta

parte introdutria

Apostila de Introduo Lgica

Matemtica; Prof. Antnio de Almeida
Pinho; Rio de Janeiro, 1999; Registro MEC
19124.

Copy, Irving M., Introduo Lgica, Ed.

Mestre Jou , So Paulo, SP, 1974.

Mortari, Cezar A.; Introduo Lgica;

Imprensa OFICIAL; Ed. UNESP
30