Você está na página 1de 17

y

x

Lgica matemtica
Lgica proposicional
[Introduo]

Prof. Edilson Ferneda
(eferneda@pos.ucb.br)
Lgica matemtica
2
y
.
v
x

Lgica proposicional
Sumrio
Introduo Lgica Proposicional
A linguagem da Lgica Proposicional
O vocabulrio da Lgica Proposicional
Sintaxe da Lgica Proposicional
Semntica da Lgica Proposicional
Lgica Proposicional e linguagem natural
O mtodo de tabelas-verdade
Propriedades semnticas da Lgica Proposicional
Equivalncia e implicao em frmulas da Lgica Proposicional
Argumentao na Lgica Proposicional
Lgica proposicional e circuitos digitais
Inferncia
Equivalncias notveis
Mtodo dedutivo
Mtodo direto
Mtodo dedutivo indireto
Lgica matemtica
3
y
.
v
x

Lgica proposicional
Introduo
Lgica extremamente til para diversos domnios
Filosofia
Matemtica
Direito
Tecnologia da Informao
Cincia da Computao
...
Origem
Quando: > 2000 anos
Quem: Filsofos gregos
Por qu: Elaborao e avaliao de argumentos
Raciocinamos e argumentamos todo o tempo
Para convencer algum de algo, preciso argumentar de forma que suas idias sejam
inquestionveis
Exemplo: na rea jurdica, interpretaes erradas podem levar a concluses indesejadas para a
sociedade
Lgica matemtica
4
y
.
v
x

Lgica proposicional
Introduo
A Lgica ...
... permite que se identifique melhor a validade ou as circunstncias em que uma argumentao
procedente
... facilita a elaborao de argumentos e raciocnios corretos
o estudo do raciocnio dedutivo.
Lgica = Linguagem + Regras de deduo/inferncia + Semntica
Linguagem: usada para descrever o conhecimento que se deseja representar.
Regras de Deduo: Servem para tirar concluses a partir do conhecimento representado na
linguagem.
Semntica: Serve para dar significado aos objetos descritos na linguagem.
Lgica matemtica
5
y
.
v
x

Lgica proposicional
Introduo
Tipos mais comuns de lgica:
Lgica Clssica Proposicional
Lgica Clssica de 1 Ordem
Hipteses da Lgica Clssica:
Proposies atmicas
Proposies mais complexas podem ser construdas (decompostas) de (em) proposies
atmicas
Proposies atmicas so verdadeiras ou falsas (2 valores)
O valor verdade de uma proposio mais complexa somente depende dos valores das
proposies atmicas que a compem
Exemplo: Joo ama Maria. (V ou F)
Exemplo: Joo estudante e Joo alto
o valor verdade s depende se:
Joo alto. (V ou F)
Joo estudante. (V ou F)

Lgica matemtica
6
y
.
v
x

Lgica proposicional
Introduo
Lgica proposicional a mais simples das lgicas
Outros tipos: Lgica de predicados de 1 ordem, Lgica Temporal, ...
Ela nos ajuda a raciocinar com idias simples (enunciados ou proposies) ...
Exemplo: Quando chove, a rua fica molhada.
Ruas molhadas ficam escorregadias e, portanto, ficam mais perigosas.
Conduzir em vias perigosas requer maior ateno.
Assim, em caso de chuva, preciso aumentar o cuidado ao se dirigir.
Exemplo Computadores so caros uma idia simples
Computadores so caros, mas so teis composta de duas idias
simples: Computadores so caros e Computadores so teis
... s quais se pode atribuir um valor Falso ou Verdadeiro
Lgica matemtica
7
y
.
v
x

Lgica proposicional
Introduo
Sentena ou Proposio
todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo
Distinguem-se do nome, o qual designa um objeto
Exemplos de nome:
Pedro
O co do menino
4-3
Exemplos de proposies:
A lua um satlite da terra
O filho do Presidente do Brasil, em 1970, era mdico
3 5 = 5 3
Pedro estuda e trabalha
Duas retas de um plano so paralelas ou incidentes
Se Pedro estuda, ento tem xito na escola
Vou ao cinema se e somente se conseguir dinheiro
Onde voc mora?
Que belo jardim tem esta praa!
Escreva um verso
Proposies declarativas
Proposio interrogativa
Proposio exclamativa
Proposio imperativa
Lgica matemtica
8
y
.
v
x

Lgica proposicional
Introduo
Exemplo: Consideremos agora essas trs proposies:
Uma hora antes de morrer, Joo estava vivo.
preciso conhecer o significado das palavras
Essa proposio uma verdade lingustica (ela bvia)
Se [ verdade que] quando chove, a grama fica molhada, ento [ verdade que] se a grama no est
molhada, porque no h chuva.
preciso saber o que significam as estruturas lingusticas se ... ento ... e no ...
preciso saber que as duas idias contidas na frase,"chove" e "grama molhada", so tambm
proposies (podem ser verdadeiras ou falsas)
Se substitudas por outras idias, a frase continuar verdadeira, como, por exemplo: para
estudei e fui aprovado, temos: Se verdade que quando estudo, sou aprovado, ento se fui
reprovado porque no estudei. Esse tipo de verdade lingustica chamada de verdade lgica
A Terra redonda.
No uma verdade lingustica, pois expressa um fato incontestvel
Esse enunciado , portanto, uma verdade factual
Lgica matemtica
9
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
Proposies podem ser simples ou compostas
As proposies simples no contm nenhuma outra proposio como parte integrante de si
mesma
As proposies compostas so formadas pela combinao de duas ou mais proposies simples
atravs de um elemento de ligao chamado conectivo
Exemplos de proposies simples:
Edilson usa culos
Edilson professor
O nmero 7 mpar
Exemplos de proposies compostas:
Edilson usa culos E professor
Pedro mope OU estudante
SE Pedro mope, ENTO deveria usar culos
Lgica matemtica
10
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
A linguagem proposicional uma linguagem formal cujo objetivo representar trechos de
discurso de uma maneira precisa e sem ambigidades
A Lgica Proposicional, a Matemtica e o Portugus so linguagens
Vocabulrio - conjunto de smbolos para representar seus objetos
Exemplo (Matemtica): +, -, , , , _, e, =, x, y, z, A, B, ...
Sintaxe - conjunto de regras gramaticais que definem e estrutura correta (bem formadas) de suas
frases
Exemplo (Matemtica): x + y = 5 bem formada; x + = y 5 no
Semntica - associa os smbolos a idias precisas.
Exemplo (Matemtica): + representa a soma que, nos nmeros Naturais: 0 + 5 = 1 + 4 = 2 + 3 = 3 + 2
= 4 + 1 = 5 + 0 = 5
Lgica matemtica
11
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
O vocabulrio








Exemplo: Se representarmos chove por p e grama molhada por q
Se chove, a grama fica molhada = p q
Se a grama no est molhada, porque no h chuva = q p
Se [ verdade que] quando chove, a grama fica
molhada, ento [ verdade que] se a grama = (p q) (q p)
no est molhada, porque no h chuva
nome smbolo usual tipo outros smbolos leitura
negao unrio -, ~, not, no no ...
conjuno . binrio &, ., and, e ... e ...
disjuno v binrio |, or, ou ... ou ...
condicional binrio se .... ento ...
bicondicional binrio , ~ ... se e somente se ...
Lgica matemtica
12
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
A sintaxe
Frases em portugus so construdas a partir de
Um vocabulrio
Conjunto de palavras vlidas
Conjunto de smbolos de pontuao
Regras gramaticais, ou sintaxe, para a produo de frases corretas
(frases bem formadas - FBF)

Lgica matemtica
13
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
A sintaxe
Exemplo: um subconjunto das regras gramaticais (RG) da lngua portuguesa:
(1) Uma frase pode ser composta de um sujeito e de um predicado
(2) Um sujeito pode ser formado por um artigo e um substantivo
(3) Um predicado pode ser formado por um verbo e um objeto direto
(4) Um objeto direto pode ser formado por um artigo e um substantivo
... que podem ser representadas da seguinte maneira:
RG
1
: <frase> ::= <sujeito> <predicado>
RG
2
: <sujeito> ::= <artigo> <substantivo>
RG
3
: <predicado> ::= <verbo> <objeto direto>
RG
4
: <objeto direto> ::= <artigo> <substantivo>

O gato pulou o muro
<artigo> <verbo> <artigo> <substantivo> <substantivo>
<frase>
<predicado>
<objeto direto> <sujeito>
Portanto, uma FBF!
RG
4
RG
2
RG
3
RG
1
Lgica matemtica
14
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
A sintaxe
Na Matemtica, uma frmula tambm uma reunio de palavras construdas segundo certas
regras
Exemplo: Regras de formao para a gerao de uma frmula matemtica simples
(1) Todo valor numrico uma frmula bem formada (FBF)
(2) Toda varivel uma FBF
(3) Se A e B so frmulas, ento (A + B), (A B), (A / B) e (A * B) so FBFs
(4) Uma FBF se obtm unicamente a partir das regras (1), (2) e (3)
Nas regras, os parnteses permitem determinar a ordem na qual as regras foram aplicadas
Exemplo: ((x + 2) / y)

/
+ y
x 2
Lgica matemtica
15
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
A sintaxe
Na Lgica Proposicional, as regras de formao de FBFs so as seguintes
(1) Toda proposio uma frmula bem formada (FBF)
(2) Se A e B so FBFs, ento A, (A . B), (A v B), (A B), (A B) so FBFs
(3) Uma FBF se obtm unicamente a partir das regras (1) e (2)
Os parnteses so utilizados aqui da mesma maneira que na aritmtica
Exemplo: ((p . q) v r)

v
. r
p q
Lgica matemtica
16
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
Exerccios:
1. Quais so os nomes e quais so as proposies?
a) Est chovendo, mas no est nevando
b) O nmero 3 maior que o nmero 5
c) A terra um planeta
d) 9-12
e) 9
f) 8*7 = 56
g) O gato da menina
h) Um bom livro de matemtica
i) 3 + 5 = 5 + 3
j) Se chover hoje, ento a rua ficara molhada
k) O sol brilha e queima as plantas
l) Jorge gacho ou Catarinense
m) Um tringulo retngulo se e somente se tem um angulo reto
n) Tringulo equiltero
o) Se um tringulo retngulo, ento dois de seus lados so perpendiculares
Lgica matemtica
17
y
.
v
x

Lgica proposicional
A linguagem da Lgica Proposicional
Exerccios:
2. Seja: C = est chovendo e N = est nevando
a) Est chovendo, mas no est nevando
b) No o caso que est chovendo ou nevando.
c) Se no est chovendo, ento est nevando.
d) No o caso que se est chovendo ento est nevando.
e) Est chovendo se e somente se est nevando.
f) Se est nevando e chovendo, ento est nevando.
g) Se no est chovendo, ento no o caso que est nevando e chovendo.
3. Ela no est em casa ou no est atendendo ao telefone.
Mas se ela no est em casa, ento ela foi seqestrada.
E se ela no est atendendo ao telefone, ela est correndo algum outro perigo.
Ou ela foi seqestrada ou ela est correndo um outro perigo.
4. Hoje fim-de-semana se e somente se hoje sbado ou domingo.
Hoje no sbado.
Hoje no domingo.
Portanto, hoje no um fim-de-semana.
5. A proposta de auxlio est no correio.
Se os juzes a receberem at sexta-feira, eles a analisaro.
Portanto, eles a analisaro porque se a proposta estiver no correio, eles a recebero at sexta-feira.