Você está na página 1de 92

UNIVERSIDADE FEDERAL DA PARABA

CENTRO DE INFORMTICA
CAMPUS I

LGICA APLICADA COMPUTAO
Aula 04 Introduo a Lgica Proposicional (LP)

Danielle Rousy
drousy.ufpb@gmail.com
2012.1

Relembrando...

2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
2
Um argumento uma seqncia de proposies
(declaraes/afirmaes) na qual uma delas a concluso e as
demais so premissas.
Uma proposio (ou declarao/afirmao) uma sentena que
pode ser verdadeira ou falsa
O objeto de estudo da lgica determinar se a concluso de um
argumento ou no uma consequncia lgica das premissas.
O diagrama de argumento uma maneira grfica de representar a
estrutura inferencial de um argumento
Em um argumento vlido, as premissas so consideradas provas
evidentes da concluso, caso contrrio no vlido
Vamos ver se tudo foi compreendido
mesmo?
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
3
Vamos analisar o argumento abaixo,
identifique premissas e concluso.
Se os filsofos tm sempre razo, ento no vale
a pena discutir o que dizem, porque se tm
sempre razo no temos nada para criticar e se
no temos nada para criticar no vale a pena
discutir o que dizem.
Relembrando...
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
4
(Se os filsofos tm sempre razo, ento no vale a
pena discutir o que dizem), porque [se tm sempre
razo no temos nada para criticar] e [se no temos
nada para criticar no vale a pena discutir o que
dizem].
Se os filsofos tm sempre razo, no temos nada para criticar.
Se no temos nada para criticar, no vale a pena discutir o que
dizem.
Logo, se tm sempre razo, no vale a pena discutir o que dizem.
Relembrando...
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
5
Tenho estudado lgica, uma vez que se no
tivesse estudado lgica no seria bem
sucedido em filosofia. Mas eu tenho sido bem
sucedido em filosofia.
(Tenho estudado lgica), uma vez que [se no
tivesse estudado lgica no seria bem
sucedido em filosofia]. Mas [eu tenho sido
bem sucedido em filosofia].
Relembrando
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
6
Se tudo arte, ento este argumento uma
obra de arte e se este argumento uma obra
de arte, o seu autor um artista. Assim, se
tudo arte, o autor deste argumento um
artista.
[Se tudo arte, ento este argumento uma
obra de arte] e [se este argumento uma obra
de arte, o seu autor um artista]. Assim, se
[tudo arte], (o autor deste argumento um
artista).
Quais dos argumentos vlido?
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
7
(A)
Todos os espanhis so toureiros.
Bill Clinton espanhol.
Logo, Bill Clinton toureiro.
(B)
Todos os portugueses so europeus.
Lus Figo europeu.
Logo, Lus Figo portugus.
Lembrem-se!
Um argumento vlido se, e s se, logicamente impossvel ter
premissas verdadeiras e concluso falsa.
VLIDO
INVLIDO
Argumento vlido
Fique ligado!
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
8
A validade de um argumento no depende
daquilo que nele se afirma, isto , do seu
contedo, mas da sua forma lgica.
Para sabermos se um argumento vlido nada
mais temos de fazer seno atender forma como
est estruturado. por isso que um argumento
pode ser vlido mesmo que nele se afirmem as
coisas mais inverosmeis do mundo.
Se as bananas tm asas, o ouro um fruto seco.
Acontece que as bananas tm asas.
Logo, o ouro um fruto seco.
VLIDO
Dedutivo ou indutivo?
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
9
a) Os cisnes observados at agora so brancos.
Logo, todos os cisnes so brancos.
c) At agora todas as esmeraldas encontradas so verdes.
Logo, todas as esmeraldas so verdes.
b) Tudo que tem vida um ser vivo.
Logo, todo ser vivo tem que ter vida.

f) O som no se propaga no vcuo.
Logo, no h som no vcuo.

d)P=Q
Q=R
Logo, P=R

e)O ouro conduz eletricidade e um metal.
O ferro, o zinco, o bronze, a prata tambm so metais e conduzem eletricidade.
Logo, todo metal conduz eletricidade.
INDUTIVO
INDUTIVO
INDUTIVO
DEDUTIVO
DEDUTIVO
DEDUTIVO
Lgica Proposicional
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
10
At agora estudamos a Lgica de maneira
informal.
A Lgica formal o estudo de formas de
argumento, isto , regras abstratas de
raciocnio comum em vrios argumentos.
Iniciaremos nosso estudo formal com a Lgica
Proposicional.
Lgica Proposicional
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
11
A Lgica Proposicional (simblica ou
matemtica) que iremos estudar bastante
semelhante Lgica Clssica surgida na Grcia
Antiga, distinguindo-se desta por utilizar uma
linguagem tcnica especfica, que lhe d mais
rigor, tornando-se um instrumento mais eficaz
para a anlise e deduo formal.
Lgica Proposicional
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
12
O estudo da LP se fundamenta em trs passos
bsicos:
Especificao de uma linguagem, a partir da qual o
conhecimento representado.
Estudo de mtodos que produzem ou verifiquem as
frmulas ou os argumentos vlidos.
Definio de sistemas de deduo formal em que
so consideradas as noes de prova e
consequencia lgica.

O que veremos nesta aula?
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
13
A sintaxe da linguagem da Lgica
Proposicional (LP) e alguns exerccios.


Lgica Proposicional
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
14
A Lgica Proposicional analisa sentenas
declarativas afirmativas, a respeito das quais se
pode afirmar que so falsas ou verdadeiras.

Estas sentenas so chamadas de
proposies

Relembrando
Proposio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
15
todo o conjunto de palavras ou smbolos que
exprimem um pensamento de sentido completo.

As proposies transmitem pensamentos, isto ,
afirmam fatos ou exprimem juzos a respeito de
alguma coisa.

Precisam ter valores de verdadeiro ou falso.
Proposio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
16
Exemplos de proposies:
(a) A Lua um satlite da Terra.
(b) Joo Pessoa a capital da Paraba.
(c) > 5
(d) sen( /2) = 1
No so proposies
Que horas so?
Talvez eu v ao cinema.
Puxa como aprender lgica fcil!
Exerccio Resolvido
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
17
Marque as sentenas abaixo que so proposies,
simples ou compostas. Para as sentenas que no so
proposies,explique porque no o so.
a) ( ) Os gatos tm trs patas.
b) ( ) Joo alto.
c) ( ) Ela bonita.
d) ( ) A casa pequena.
e) ( ) Quem est batendo porta?
f) ( ) Leia isto cuidadosamente.
g) ( ) Esta proposio falsa.


Exerccio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
18
h) ( ) Talvez eu v ao teatro.
i) ( ) 2 + 2 = 4
j) ( ) O cu est sem nuvens hoje, contudo est
nublado.
k) ( ) O planeta Marte habitado.
l) ( ) x+2=5.
m) ( ) Falar fcil. Difcil fazer.
n) ( ) Quem falou?
o) ( ) Tricolor , todavia, porm.




Proposio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
19
Proposies podem ser:
Simples (ou atmicas):
quando expressam uma nica idia. A lua
quadrada um exemplo de proposio simples.
Compostas (ou moleculares):
quando so formadas por duas ou mais proposies
simples, como:
A casa grande e o carro bonito,
Ou eu estudo lgica ou estudo clculo
Proposio
Exemplos
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
20
Proposio Simples Proposio Composta
Zenbio careca
Pedro estudante
O ce azul
Zenbio careca E Pedro estudante
Zenbio careca OU Pedro estudante
SE Zenbio careca, ENTO feliz.
Proposio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
21
Nas formas mostradas anteriormente, as
proposies esto em linguagem corrente.

Proposies podem ser representadas por
letras.

Quando se representa uma proposio por
uma letra, usa-se a linguagem simblica.
Proposio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
22
Exemplo:
A casa nmero 5 amarela. Pode ser representada
pela letra maiscula P.
A lua feita de queijo. Pode ser representada pela
letra Q.
P e Q, acima, so proposies, pois so sentenas
s quais se pode atribuir um valor verdade (ou valor
lgico) falso ou verdadeiro.
Proposio
Exemplos
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
23
Proposio Simples Proposio Composta
Zenbio careca
(P)
Pedro estudante
(Q)
Zenbio feliz.
(R)
Zenbio careca E Pedro estudante
P E Q
Zenbio careca OU Pedro estudante
P OU Q
SE Zenbio careca, ENTO feliz.
SE P, ENTO R
Lgica Proposicional
Alfabeto
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
24
As proposies so representadas por
smbolos
Conectivos Lgicos
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
25
Uma proposio composta construda a partir de
duas ou mais proposies simples e do uso de
conectivos
No o caso que
E
Ou
Se ... ento
Se e somente se
Estas expresses so chamadas de operadores ou
conectivos lgicos.
Conectivo No o caso que
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
26

Essa expresso prefixa uma proposio para formar
uma nova sentena a qual chamamos a negao da
primeira.

Exemplo:
A sentena 'No o caso que ele fumante a negao
da sentena 'Ele fumante'.

Conectivo No o caso que
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
27
Variaes gramaticais da negao:
Ele no-fumante,
Ele no fumante e
Ele no fuma.
Encontre a negao de
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
28
Hoje sexta-feira.
No o caso que hoje sexta-feira.
Hoje no sexta-feira
No sexta-feira hoje
No mnimo 10mm de chuva caram hoje em So
Paulo.
Menos de 10mm de chuva caram hoje em So Paulo.
Conectivo E
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
29
Uma composio constituindo-se de duas
proposies ligadas por 'e' chama-se
conjuno.

Exemplo: Chove e faz calor


A conjuno tambm pode ser expressa por
palavras como: 'mas', 'todavia', 'embora',
'contudo', ...
Chove mas faz calor
Conectivo Ou
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
30
Um enunciado composto consistindo de duas
sentenas ligadas por 'ou' chama-se
disjuno.

Exemplo:
Chove ou faz calor
Vou ao cinema ou vou estudar
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
31
Enunciados do tipo se... ento ... chamam-se
condicionais.
O enunciado subsequente ao 'se' chama-se o
antecedente e o subsequente ao 'ento' chama-
se o conseqente.
Forma do condicional:
Se antecedente ento consequente
Ex: Se sinto frio ento visto o casaco '.
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
32
Se antecedente ento consequente
O antecedente condio suficiente para
ocorrncia do consequente
O consequente condio necessria para
ocorrncia do antecedente
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
33
Exemplo:
Se Juiz ento advogado
o fato de ser juiz suficiente para ser advogado
para algum ser juiz necessrio que seja advogado,
mas no o suficiente
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
34
Exemplo: Que condies so necessrias
para um aluno ser aprovado em lgica?
Se aluno foi aprovado ento
assistiu aula,
estudioso,
fez muitos exerccios de lgica
tem um bom mtodo de estudo
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
35
Exemplo:
O fogo uma condio necessria para a fumaa
ou Se houver fumaa haver fogo

Exemplo:
Se chover ento molha a rua
suficiente chover para voc deduzir que a rua fica molhada
o fato da rua ficar molhada no garante que choveu
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
36
Uma condicional tambm pode ser expressa
na ordem inversa.

Exemplo:
Visto o casaco se sentir frio, mantm a
semntica de:
Se sentir frio, visto o casaco
Se sentir frio ento visto o casaco
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
37
Variaes gramaticais da condicional: (P e Q
sentenas quaisquer)
Se P ento Q
P implica em Q; P, logo Q
P s se Q; P somente se Q
P apenas se Q; P s quando Q
Q se P ; Q segue de P
P condio suficiente para Q
Q condio necessria para P
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
38
Variaes gramaticais da condicional:
Se chove ento molha a rua.
Chover implica em molhar a rua.
Chove somente se molha a rua
Se chove, logo molha a rua
Molha a rua, se chove
Chover condio suficiente para molhar a rua
Molhar a rua condio necessria para chover
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
39
Variaes gramaticais da condicional:
Se Maria aprender programao ento ela vai
conseguir um bom emprego.
Maria vai conseguir um bom emprego quando
aprender programao
Para conseguir um bom emprego, suficiente
que Maria aprenda programao
Conectivo Se ... ento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
40
Sentena Significado
Joo ama apenas Maria Se Joo ama alguma coisa, essa
coisa Maria
Apenas Joo ama Maria Se alguma coisa ama Maria, essa
coisa Joo
Joo apenas ama Maria Se Joo tem alguma relao com
Maria, essa relao amor
Os advrbios s, somente e apenas tem significados diferentes
dependendo do local em que aparecem na sentena.
Representam uma implicao e o conseqente sempre aparece
depois do advrbio
Conectivo Se ... Ento
Exerccio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
41
Identifique antecedente () e conseqente []
das seguintes proposies:
1. Se a chuva continuar o rio vai transbordar.
2. Maria vende o carro, se comprar a casa.
3. Maria vende o carro s se comprar a casa.
4. Os abacates s esto maduros quando esto
escuros e macios.
[
(
) [
]
]
[
]
(
)
[ ] ( )
(
)
Conectivo Se e somente se
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
42
Os enunciados formados com a expresso
...se e somente se... so chamados
bicondicionais.

Um bicondicional pode ser considerado como
uma conjuno de dois condicionais.

Conectivo Se e somente se
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
43
P se e somente se Q
P se Q e P somente se Q
Se Q ento P e P somente se Q
Se Q ento P e Se P ento Q
Se P ento Q e Se Q ento P
Conectivo Se e somente se
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
44
Exemplo:
T um tringulo se e somente se T um polgono de
trs lados.

Equivale:
T um tringulo se T um polgono de trs lados; e T um
tringulo somente se T um polgono de trs lados.

Que equivale:
Se T um polgono de trs lados ento T um tringulo; e se
T um tringulo ento T um polgono de trs lados.
Exerccio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
45
Indique as proposies simples que compem as
proposies a seguir, assim como os tipos de
composio (conectivos).
a) Joo poltico mas honesto.
b) Joo honesto, mas seu irmo no .
c) Viro festa Joo ou sua irm, alm da me.
d) A estrela do espetculo no canta, dana, nem representa.
e) Sempre que o trem apita, Joo sai correndo.
Indique as proposies simples que compem as
proposies a seguir, assim como os tipos de
composio (conectivos).
a) Joo poltico mas honesto. Frase: P e Q
b) Joo honesto, mas seu irmo no . Frase: P e No Q
c) Viro festa Joo ou sua irm, alm da me. Frase: (P ou Q)
e R
d) A estrela do espetculo no canta, dana, nem representa.
Frase: no P e no Q e no R
e) Sempre que o trem apita, Joo sai correndo. Frase: se P
ento Q

Exerccio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
46
Formalize as seguintes proposies utilizando os
smbolos proposicionais da tabela acima:
Paula no vai.
Paula vai, mas Quincas no.
Se Paula for, ento Quincas tambm ir.
Paula ir se Quincas for.
Paula ir se somente se Quincas for.
Nem Paula nem Quincas iro.
Letra Interpretao
P - Paula vai
Q - Quincas vai
R - Richard vai
S - Sara vai
Formalize as seguintes proposies utilizando os
smbolos proposicionais da tabela acima:
Paula no vai. (no P)
Paula vai, mas Quincas no. (P e no Q)
Se Paula for, ento Quincas tambm ir. (Se P ento Q)
Paula ir se Quincas for. (Se Q ento P)
Paula ir se somente se Quincas for. (Q se e somente se P)
Nem Paula nem Quincas iro. (no P e no Q)
Linguagem da LP
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
47
A definio da linguagem da LP semelhante
definio de outras linguagens, como a
linguagem da lngua portuguesa.
Assim, na linguagem da LP tambm h um
alfabeto (smbolos que formam as palavras)
e palavras, ou melhor, frmulas.
Conectivos Lgicos Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
48
Na linguagem LP, cada operador lgico
(conectivo) representado por um smbolo
especial:
No o caso que: ~ ou
E: ^ ou &
Ou: v
Se ... ento:
Se e somente se:
Conectivos Proposicionais
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
49
Conectivo Palavras Smbolo
Negao
No
~ ou
Conjuno
E
.
Disjuno
Ou
v
Condicional
Se... ento...

Bicondicional
...Se e somente se
...

Albabeto da LP
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
50
O alfabeto da LP constitudo pelos conjuntos
de smbolos (Souza 2008):
Smbolos de Pontuao: ( , ).
Smbolos de Verdade: true (V), false (F) .
Smbolos Proposicionais: P, Q, R, S, P
1
, Q
1
, R
1
,
S
1
, P
2
, Q
2
, ...
Conectivos proposicionais: , , , ,
Precedncia dos Conectivos
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
51
Na LP, a ordem de precedncia dos
conectivos proposicionais:
Maior precedncia:
Precedncia intermediria:
Menor precedncia:

Princpios da LP
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
52
A LP adota os trs seguintes princpios (ou
axiomas):
1. Princpio da no contradio: Uma proposio
no pode ser verdadeira e falsa ao mesmo tempo.
2. Princpio do terceiro excludo: Toda proposio
ou verdadeira ou falsa, isto , verifica-se sempre
um destes casos e nunca um terceiro.
3. Princpio da Identidade: A A, ou seja, uma
proposio ela prpria sem possibilidade de
contestao.
Princpios da LP
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
53
Em virtude destes princpios diz-se que a LP
Proposicional uma lgica bivalente, pois
as proposies s podem assumir dois
valores (verdadeiro ou falso).
Princpios da LP
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
54
Por exemplo, as proposies (a), (b), so todas
verdadeiras, mas, as (c) e (d) so falsas:
(a) A Lua um satlite da Terra.
(b) Recife a capital de Pernambuco.
(c) VASCO DA GAMA descobriu o Brasil.
(d) O nmero p RACIONAL.
Frmulas
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
55
As frmulas da linguagem da LP so
construdas a partir dos smbolos do alfabeto
conforme as regras a seguir:
1) Todo smbolo de verdade uma frmula.
2) Todo smbolo proposicional uma frmula.
3) Concatenando-se smbolos proposicionais
usando conectivos proposicionais.
Frmulas
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
56
Esta ltima regra significa:
Se H uma frmula ento (H), a negao de H, uma frmula.
Se H e G so frmulas ento (HG) uma frmula. Ou seja, a
conjuno de H e G.
Se H e G so frmulas ento (HG) uma frmula. Isto , a
disjuno de H e G.
Se H e G so frmulas ento (HG) uma frmula. Ou melhor,
H implica G.
Se H e G so frmulas ento (HG) uma frmula. Isto , H
equivale a G.
Frmula Bem Formada
(wff, do ingls Well-Formed Formula)
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
57
Uma frmula bem formada se segue as
trs regras mencionadas anteriormente.
Exemplo - wff
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
58
A definio anterior considera que os smbolos
P, Q e true so frmulas.
A partir das frmulas P e Q, obtm-se a frmula
(PQ).
Utilizando as frmulas (PQ) e true, obtm-se a
frmula
( (PQ) true ) -> WFF
Exemplo - wff
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
59
Dado as proposies Hoje sexta-feira e
Hoje est chovendo, considerando o
smbolos P e Q, temos:
P uma frmula
Q uma frmula
~P uma frmula como tambm ~Q
P Q tambm uma frmula
P Q
Exemplo Mal Formada
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
60
As concatenaes dos smbolos a seguir no
constituem frmulas. Neste caso, no
possvel obt-las a partir das regras da
definio anterior.
PR, (R true ) e (true (R true))
Frmulas
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
61
Notao
Os parnteses ou smbolos de pontuao podem
ser omitidos quando no h problemas sobre a
interpretao da frmula
Frmulas
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
62
Alm disso, em favor de uma melhor
legibilidade, frmulas podem ser escritas
utilizando vrias linhas.
Assim a frmula
( ((P R) true) (Q S) ), pode ser reescrita
como:

(P R) true

Q S
Exerccios
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
63
1) Quais das expresses seguintes so
frmulas (wff's) e quais no so:

a) ~~~R
b) (~R)
c) PQ
d) ~(PQ)
e) ~(~P ^ ~Q)

Exerccios
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
64
2) Considere as sentenas:
P: Pedro filho de Antonio. Q: Pedro neto de Jos.
Escreva, na forma simblica, cada uma das
sentenas seguintes:
a) Pedro no filho de Antonio.
b) Pedro filho de Antonio e neto de Jos.
c) Pedro filho de Antonio e no neto de Jos.
2) Considere as sentenas:
P: Pedro filho de Antonio. Q: Pedro neto de Jos.
Escreva, na forma simblica, cada uma das
sentenas seguintes:
a) Pedro no filho de Antonio.(P)
b) Pedro filho de Antonio e neto de Jos. (P^Q)
c) Pedro filho de Antonio e no neto de Jos.
(P^Q)
Exerccio
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
65
3. Considere as seguintes proposies:
p: os preos so altos. q : os estoques so grandes.
Escreva, na forma simblica, cada uma das sentenas
abaixo:
a) Se os preos so altos, os estoques so grandes.
b) Estoques grandes condio suficiente para preos altos.
c) Preos altos condio necessria para estoques
grandes.
d) Os preos so altos se e somente se os estoques so
grandes.
e) Os preos no so altos, mas os estoques so grandes.
3. Considere as seguintes proposies:
p: os preos so altos. q : os estoques so grandes.
Escreva, na forma simblica, cada uma das sentenas abaixo:
a) Se os preos so altos, os estoques so grandes. (PQ)
b) Estoques grandes condio suficiente para preos altos.
(QP)
c) Preos altos condio necessria para estoques grandes.
(QP)
d) Os preos so altos se e somente se os estoques so
grandes. (PQ)
e) Os preos no so altos, mas os estoques so grandes.
(PQ)
Formas de Argumento
Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
66
A linguagem consistindo das letras sentenciais
e dos operadores lgicos juntamente com as
regras a serem empregadas chama-se a
Lgica Proposicional ou Clculo
Proposicional.

O objetivo fundamental da LP mostrar a
validade de certas formas de argumento.
Argumento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
67
Um argumento uma seqncia de
proposies/enunciados na qual um dos
enunciados a concluso e os demais so
premissas.

Podemos utilizar a linguagem da LP para
representar os argumentos.

Formas de Argumento Exemplos:
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
68
1
Hoje segunda-feira ou sexta-feira.
Hoje no segunda-feira.
Hoje sexta-feira.
2
Rembrandt pintou a Mona Lisa ou Michelngelo a pintou.
No foi Rembrandt quem a pintou.
Michelngelo pintou a Mona Lisa.

3
Ele menor de 18 anos ou um irresponsvel.
Ele no menor de 18 anos.
Ele um irresponsvel.
Formas de Argumento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
69
Os 3 argumentos so da seguinte forma:
. P ou Q
. No o caso que P
Q
As letras P e Q representam sentenas
declarativas: (smbolos sentenciais).
P pode representar: Hoje segunda-feira.
Q pode representar: Hoje tera-feira.
Formas de Argumento
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
70
Com essa representao, a forma anterior
representa o argumento 1 do exemplo.
Os argumentos 1, 2 e 3 so variantes
gramaticais ou instncias da forma:
. P ou Q
. No o caso que P
Q
Esta forma de argumento (ou regra)
conhecida como silogismo disjuntivo.
Formas de Argumento
Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
71
O Silogismo disjuntivo simbolizado:
. P v Q
. ~P
Q

Ou assim,

{ P v Q , ~P} Q
Formas de Argumento
Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
72

{ P v Q , ~P} Q

o trao de assero (afirmao), ,
significa dizer que Q deduzido (provado)
apenas dos enunciados (premissas) P v Q e
~P.
Argumento - Definio
Chama-se de Argumento toda afirmao de
uma dada sequncia finita P
1
, P
2
, P
3
P
n
(n >
1) de proposies que tem como consequncia
ou acarreta uma proposio final Q.
As proposies P
1
, P
2
, P
3
P
n
(n > 1) dizem-
se as premissas do argumento, e a proposio
final Q diz-se a concluso do argumento.
2012.1
73
Lgica Aplicada Computao -https://sites.google.com/site/log20121/
Argumento - Definio
Um argumento de premissas P
1
, Q
1
, R
1
P
n
e de
concluso Q indica-se por:
P
1
, Q
1
, R
1
P
n
Q
E se l de uma das seguintes maneiras:
P
1
, Q
1
, R
1
P
n
acarretam Q
Q decorre de P
1
, Q
1
, R
1
P
n

Q se deduz de P
1
, Q
1
, R
1
P
n

Q se infere de P
1
, Q
1
, R
1
P
n

2012.1
74
Lgica Aplicada Computao -https://sites.google.com/site/log20121/
Validade de um Argumento
Um argumento uma srie de sentenas (premissas)
que podem ser simbolizadas por P
1
, P
2
,..., P
n
seguidas
de uma concluso Q.
Notao: P
1
. P
2
...., . P
n
Q.
Um argumento P
1
. P
2
...., . P
n
Q diz-se um
argumento vlido se e somente se a concluso Q
verdadeira todas as vezes que as premissas P
1
. P
2

...., . P
n
so TODAS verdadeiras.
2012.1
75
Lgica Aplicada Computao -https://sites.google.com/site/log20121/
Validade de um Argumento

Portanto, todo argumento vlido goza da seguinte
propriedade: A verdade das premissas incompatvel
com a falsidade da concluso.

Um argumento no vlido chamado de sofisma.
2012.1
76
Lgica Aplicada Computao -https://sites.google.com/site/log20121/
Formas de Argumento
Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
77
Uma forma de argumento vlida se todas as
suas instncias so vlidas.
Uma forma de argumento invlida se pelo
menos uma de suas instncias invlida.
Uma instncia de uma forma de argumento (um
argumento particular) vlida somente quando
impossvel que a sua concluso seja falsa
enquanto suas premissas so verdadeiras.
Caso contrrio ela invlida.
Formas de Argumento
Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
78
Mesmo para uma forma de argumento vlida,
nem todas as instncias so corretas.

Exemplo:
O argumento da Monalisa (exemplo 2) tem a
forma vlida mas incorreto
Rembrandt pintou a Mona Lisa ou Michelngelo
a pintou uma proposio Falsa.
Formas de Argumento
Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
79
O silogismo disjuntivo uma forma de
argumento vlida, pois para qualquer instncia
ocorre que:
se as suas premissas forem
verdadeiras, a sua concluso ser
verdadeira.
. P v Q
. ~P
Q

Formas de Argumento
Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
80
Observe a seguinte forma de argumento:
. Se P ento Q.
. Q.
P
Ou: {P Q, Q} |-- P
Essa forma invlida, pois a seguinte instncia
notoriamente invlida:
Se voc est danando na Lua ento voc est vivo.
Voc est vivo.
Voc est danando na Lua.
Formas de Argumento
Formalizao
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
81
Exemplo de formalizao: Simbolize o
argumento que segue.

A proposta de auxlio est no correio. Se os
rbitros 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.
Soluo:
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
82
1[A proposta de auxlio est no correio]. 2[Se os
rbitros a receberem at Sexta-feira, eles a analisaro].
Portanto, 3(eles a analisaro) porque 4[se a proposta
estiver no correio, eles a recebero at Sexta-feira].

1 + 2 + 4

3
Soluo:
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
83
Vamos supor as proposies (C,S,A)
C: A proposta de auxlio est no correio.
S: Os rbitros recebem a proposta at Sexta-feira.
A: Os rbitros analisaro a proposta.

Assim:
P1: C
P2: SA
P4: CS, logo:

{C, SA, CS} |-- A


Outro Exemplo
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
84
(1) Se o time joga bem, ganha o campeonato.
(2) Se o time no joga bem, o tcnico
culpado.
(3) Se o time ganha o campeonato, os
torcedores ficam contentes.
(4) Os torcedores no esto contentes.
(5) Logo, o tcnico culpado.
Soluo
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
85
Primeiro, associamos a cada proposico um
smbolo proposicional distinto:
P : o time joga bem"
Q : o time ganha o campeonato"
R : o tcnico culpado"
S : os torcedores ficam contentes"
Soluo
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
86
Em seguida, usando esses smbolos
proposicionais, escrevemos as frmulas
correspondentes as sentenas do argumento:
(1) PQ (Se o time joga bem, ganha o campeonato)
(2) P R (Se o time no joga bem, o tcnico
culpado)
(3) Q S (Se o time ganha o campeonato, os
torcedores ficam contentes)
(4) S (Os torcedores no esto contentes)
(5) R (o tcnico culpado)
{PQ, P R, Q S, S} R
Exerccios
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
87
Exerccios:
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
88
2) Formalize os seguintes argumentos usando as letras sentenciais
indicadas (P, Q, R, S). Utilize os indicadores de inferncia para
facilitar.

a) Se Deus existe, ento a vida tem significado. Deus existe.
Portanto, a vida tem significado.

b) Como hoje no Quinta-feira, deve ser Sexta-feira. Hoje
Quinta-feira ou Sexta-feira.

c) Hoje um fim de semana se somente se hoje Sbado ou
Domingo. Portanto, hoje um fim de semana, desde que hoje
Sbado.
Exerccios:
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
89
d) "Hoje quarta-feira ou sexta-feira. Mas no
pode ser quarta-feira, pois o consultrio do
mdico estava aberto esta manh, e aquele
consultrio est sempre fechado s quartas.
Portanto, hoje deve ser sexta-feira."
Exerccios:
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
90
Q: hoje quarta-feira
X: hoje sexta-feira
C: consultrio aberto

{Q v X, (C ^(Q -> ~C))} |- X
Prxima aula
2012.1 Lgica Aplicada Computao -https://sites.google.com/site/log20121/
91
Veremos as formas de validar um argumento
atravs das regras de inferncia e tabela-
verdade.
ALGUMA DVIDA, QUESTIONAMENTO,
AFLIO?
2012.1
92
Lgica Aplicada Computao -https://sites.google.com/site/log20121/
Podem entrar em contato comigo pelo email:
danielle.rousy@gmail.com