LAC-NA04-P12 - 1-Introdução A Lógica Proposicional

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?
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...
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...
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
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?
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!
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?
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
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
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
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?
13
A sintaxe da linguagem da Lgica
Proposicional (LP) e alguns exerccios.

Lgica Proposicional
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
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
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
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
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
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
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
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
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
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
24
As proposies so representadas por
smbolos
Conectivos Lgicos
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
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
27
Variaes gramaticais da negao:
Ele no-fumante,
Ele no fumante e
Ele no fuma.
Encontre a negao de
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
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
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
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 '.
32
Se antecedente ento consequente
O antecedente condio suficiente para
ocorrncia do consequente
O consequente condio necessria para
ocorrncia do antecedente
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
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
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
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
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
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
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
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
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
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.

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
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
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
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
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
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
49
Conectivo Palavras Smbolo
Negao
No
~ ou
Conjuno
E
.
Disjuno
Ou
v
Condicional
Se... ento...

Bicondicional
...Se e somente se
...

Albabeto da LP
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
51
Na LP, a ordem de precedncia dos
conectivos proposicionais:
Maior precedncia:
Precedncia intermediria:
Menor precedncia:

Princpios da LP
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
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
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
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
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)
57
Uma frmula bem formada se segue as
trs regras mencionadas anteriormente.
Exemplo - wff
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
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
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
61
Notao
Os parnteses ou smbolos de pontuao podem
ser omitidos quando no h problemas sobre a
interpretao da frmula
Frmulas
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
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
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
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
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
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:
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
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
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
71
O Silogismo disjuntivo simbolizado:
. P v Q
. ~P
Q

Ou assim,

{ P v Q , ~P} Q
Formas de Argumento
Formalizao
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
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
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
Formas de Argumento
Formalizao
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
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
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
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
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:
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:
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
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
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
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
87
Exerccios:
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:
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:
90
Q: hoje quarta-feira
X: hoje sexta-feira
C: consultrio aberto

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

LAC-NA04-P12 - 1-Introdução A Lógica Proposicional

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

LAC-NA04-P12 - 1-Introdução A Lógica Proposicional

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDADE FEDERAL DA PARABA

Вам также может понравиться