Anda di halaman 1dari 22

UCB - Bacharelado em Sistemas de Informao

Lgica Matemtica


Professor: Hrcules Antonio do Prado
LM: Introduo e Motivao
Razes da lgica:
Aristteles: sistematizou o tema. Seus estudos
persistiram por 2000 anos!
Frge: fins do sculo XIX:
Introduziu o tratamento da lgica como um
sistema formal, tendo obtido um progresso
explosivo.
LM: Introduo e Motivao
Porque lgica:
Linguagem natural X Lgica
VAGA - PRECISA
VERBORRGICA - CONCISA
Ling. programao X Lgica
DETALHADA - GENRICA
PROCEDIMENTAL- DECLARATIVA
(COMO) (O QUE)
LM: Introduo e Motivao
3 MUNDOS:
IMPRECISO ---> IDIAS
PRECISO ---> ESPECIFICAO
(DEMONSTRAES,
PROVAS)
EXECUTVEL --> TESTES
(ALGORITMOS)
LM: Introduo e Motivao
O que um sistema formal?
Sistema de manipulao de smbolos, contendo
uma linguagem formalmente descrita, um
conjunto de axiomas, possivelmente vazio, e
um conjunto de regras para manipulao dos
smbolos, previamente estabelecido.
LM: Introduo e Motivao
reas de aplicao:
Circuitos digitais
Inteligncia Artificial (Prova Automtica de
Teoremas)
Orientao a objetos
Especificaes formais
LM: Estrutura de um argumento
Lgica o estudo de argumentos.
Um argumento uma seqncia de enunciados na qual
um dos enunciados a concluso e os demais so
premissas, as quais servem para provar ou, pelo menos,
fornecer alguma evidncia para a concluso.
Ex: Todos os homens so mortais.
Scrates homem.
Logo, Scrates mortal.
Os dois primeiros so premissas que servem para
provar a concluso Scrates mortal.
LM: Estrutura de um argumento
Exemplos de argumentos.
Ele Leo, pois nasceu na primeira semana de agosto.
Como a economia pode ser melhorada? O deficit
comercial est crescendo todo dia!
Eu no quero ir para a cama, mame. O filme ainda no
acabou.
O edifcio estava em runas, coberto de fuligem
marrom, numa regio abandonada. A fuga dos ratos
ressoava pelos corredores.
LM: Estrutura de um argumento
Exemplos de argumentos.
As pessoas talentosas como voc deveriam receber uma
educao superior. V para a faculdade!
Ns estvamos superados em nmero e em armas pelo
inimigo, e suas tropas estavam constantemente sendo
reforadas enquanto as nossas foras estavam
diminuindo. Assim, um ataque direto teria sido suicida.
Ele est respirando e, portanto est vivo.
H algum aqui que entende este documento?
LM: Estrutura de um argumento
Exemplos de argumentos.
Nos EUA muitas pessoas no sabem se o seu pas apia
ou se ope ao governo da Nicargua.
O tringulo ABC equingulo. Portanto, cada um de
seus ngulos internos mede 60 graus.
LM: Estrutura de um argumento
Argumentos complexos.
So aqueles em que as concluses de argumentos
simples so usadas como premissas para novos
argumentos simples.
Ex: Todos os nmeros racionais podem ser expressos
como quociente de dois inteiros. Contudo, no pode
ser expresso como quociente de dois inteiros. Portanto
no um nmero racional. Evidentemente, um
nmero. Logo, existe pelo menos um nmero no
racional.
LM: Estrutura de um argumento

Identificando os argumentos:
Concluso: portanto, por conseguinte, assim, dessa
maneira, logo, conseqentemente, etc.
Premissa: pois, desde que, como, visto que, dado que,
etc.
LM: Estrutura de um argumento
Diagramao dos argumentos:
Watts est em Los Angeles e est, portanto, nos EUA e
logo, faz parte de uma nao plenamente
industrializada. Assim, ele no faz parte do Terceiro
Mundo, pois o Terceiro Mundo caracterizado por
naes em desenvolvimento e naes em
desenvolvimento no esto, por definio, plenamente
industrializadas.
LM: Estrutura de um argumento
Diagramao dos argumentos:
(1)[Watts est em Los Angeles] e (2) [est, portanto,
nos EUA] e logo, (3)[faz parte de uma nao
plenamente industrializada]. Assim, (4)[ele no faz
parte do Terceiro Mundo], pois (5)[o Terceiro Mundo
caracterizado por naes em desenvolvimento] e
(6)[naes em desenvolvimento no esto, por
definio, plenamente industrializadas].
LM: Estrutura de um argumento
Diagrama:
1

2

3 + 5 + 6
------------

4
LM: Estrutura de um argumento
Exerccio- Diagrame o seguinte argumento:
Todos nesta festa so bioqumicos e todos os
bioqumicos so inteligentes. Portanto, como a Sandra
est nesta festa, Sandra inteligente.

LM: Estrutura de um argumento
Exerccio- argumento diagramado:
(1)[Todos nesta festa so bioqumicos] e (2)[todos os
bioqumicos so inteligentes]. Portanto, como (3)[a
Sandra est nesta festa], (4)[Sandra inteligente].

1 + 2 + 3
------------

4



LM: Lgica Sentencial
Sistema formal tambm chamado Lgica
Proposicional.
O que um sistema formal?
Sistema de manipulao de smbolos, contendo uma
linguagem formalmente descrita, um conjunto de
axiomas, possivelmente vazio, e um conjunto de
regras para manipulao dos smbolos, previamente
estabelecido.

LM: Lgica Sentencial

Falando matematicamente:
Uma lgica definida pela tripla <L,A,R>, onde L
constitui uma linguagem, A um conjunto de axiomas e
R um conjunto de regras de inferncia.
LM: Lgica Sentencial
Linguagem da Lgica Sentencial:
Os smbolos:
um conjunto enumervel de smbolos proposicionais;
pontuao: ( e );
conectivos: , e
negao: .

LM: Lgica Sentencial
Linguagem da Lgica Sentencial:
As frmulas:
todo smbolo proposicional uma frmula atmica;;
se uma frmula, tambm o ;
se e so frmulas, ( ), ( ) e ( ) tambm so;
no existem outras frmulas a no ser as obtidas pelos passos
acima.
Convenes:
smbolos proposicionais: P, Q, R, P
1
, Q
1
, R
1
, ...
frmulas: letras gregas minsculas;
parnteses usados de preferncia para evitar ambiqidade.

LM: Lgica Sentencial
Exerccios:
(1) Aponte as frmulas bem ou mal formadas segundo a
linguagem da Lgica Proposicional:
(a) (R) R
(b) (P Q P Q)
(c) (Q R) (Q R)
(d) (((P Q) R) (P Q)) R
(e) (P-Q) R
(f) (PQ) (PQ) P
(g) (R Q)