Aula 3 Conceitos de Lgica

Proposicional
Apresentar conceitos da lgica formal e do
sistema de lgica proposicional.
Lgica

Conceito de Lgica

Lgica vem do grego clssico logos, que significa

palavra, pensamento, ideia, argumento, ou razo.

A Lgica ! o estudo filosfico do racioc"nio vlido.

#tilizada em atividades mais intelectuais, a lgica

! estudada principalmente nas disciplinas de
filosofia, matemtica, sem$ntica e ci%ncia da
computa&o.

'la e(amina de forma gen!rica as formas que a

argumenta&o pode tomar, quais dessas formas
so vlidas e quais so falaciosas.
Lgica

Conceito de Lgica

#ma falcia ! um argumento logicamente

inconsistente, sem fundamento, invlido ou fal)o
na capacidade de provar eficazmente o que alega.

*econ)ecer as falcias ! por vezes dif"cil. +s

argumentos falaciosos podem ter validade
emocional, "ntima, psicolgica, mas no validade
lgica.

,eremos a seguir algumas categorias e e(emplos

de falcias.

-ipologia das falcias

Acidente.
-rata/se de querer aplicar uma regra geral a todos os
casos, ignorando as e(ce&0es.
'(.. 1evemos usar um protetor solar por causa da
radia&o #,, ento devemos us/lo )o2e 3 noite, na
praia.

4nverso do acidente.
-rata/se de querer usar uma e(ce&o como se fosse
uma regra geral.
'(.. 5e dei(armos os doentes terminais usarem )ero"na,
deveremos dei(ar todos us/la.

-ipologia das falcias

1icto simpliciter.
+corre quando uma regra geral ! aplicada a um caso
particular onde a regra no deveria ser aplicada.
'(.. 5e voc% matou algu!m, deve ir para a cadeia.
6o se aplica a certos casos como guerras.

7eneraliza&o apressada 8falsa indu&o9.

: o oposto do dicto simpliciter. +corre quando uma regra
espec"fica ! atri;u"da ao caso gen!rico.
'(.. <in)a namorada me traiu. Logo, as mul)eres
tendem 3 trai&o.

Conceito de Lgica

#m sistema lgico ! um con2unto de a(iomas e

regras de infer%ncia que visam representar
formalmente o racioc"nio vlido.

1iferentes sistemas de lgica formal foram

constru"dos ao longo do tempo quer no $m;ito
escrito da lgica terica, quer em aplica&0es
prticas na computa&o e em intelig%ncia artificial.

6a nossa disciplina estaremos preocupados com

o sistema formal con)ecido como Lgica
Proposicional.
Lgica Proposicional

Conceito de Lgica Proposicional

A lgica proposicional ! a lgica no n"vel das

senten&as.

A menor unidade da lgica proposicional ! a

sentena elementar, o tomo.

A lgica proposicional no discute o significado

das senten&as elementares, os tomos, mas se
as sentenas complexas, formadas por
senten&as elementares, so falsas ou verdadeiras
a partir das senten&as elementares.
Lgica Proposicional

Conceito de Lgica Proposicional

As senten&as que so consideradas na lgica

proposicional so aquelas que so verdadeiras ou
falsas, mas no am;os.

'ssas senten&as so c)amadas proposies.

=uando uma proposi&o ! verdadeira, diz/se que

ela tem um valor verdade de verdadeiro (V)> se
uma proposi&o ! falsa seu valor verdade ! falso
(F).
Lgica Proposicional

Conceito de Lgica Proposicional

A ta;ela a seguir mostra alguns e(emplos de

senten&as que so e no so proposi&0es.
+;serve que nas senten&as comple(as no
interessa a veracidade dos tomos.
Lgica Proposicional

'lementos da Lgica Proposicional

As senten&as elementares 8tomos9 so

proposi&0es ;sicas. As senten&as maiores e
mais comple(as so constru"das a partir das
proposi&0es ;sicas com;inando/as com
conectivos.
Lgica Proposicional

'lementos da Lgica Proposicional

Para estudar as propriedades e rela&0es comuns

a todas as proposi&0es utilizamos variveis
proposicionais que representam proposi&0es e
que podem ter valor verdadeiro ou falso.

#ma proposi&o adquire valor verdadeiro ou falso

dependendo do valor das senten&as elementares
e dos conectivos usados.
Lgica Proposicional

'lementos da Lgica Proposicional

: ?til construir uma ta;ela com todos os valores

de uma proposi&o comple(a a partir dos valores
das proposi&0es ;sicas> tal ta;ela ! c)amada de
tabela verdade.
Lgica Proposicional

5inta(e

1efine as regras de como as proposi&0es

comple(as so constru"das a partir das
proposi&0es mais simples.

6a linguagem natural, com;inando o cu azul

com o cachorro branco podemos formar.

o cu azul e o cachorro branco,

se o cu azul, ento o cachorro branco,

o cu azul e o cachorro no branco, etc.

1esse modo, proposi&0es so formadas de

proposi&0es simples e podem ser compostas para
formar outras mais comple(as ainda.
Lgica Proposicional

5inta(e

+ processo de o;ter proposi&0es mais e mais

comple(as pode ser resumido como segue.
*epresenta&o lgica da linguagem natural
+ racioc"nio ! feito com proposi&0es usando
regras de inferncia.
Por e(emplo, das duas proposi&0es @se c)ove
ento a rua alagaA e @c)oveA so verdade, ento
pode/se concluir que @a rua alagaA ! verdade.
Para verificar que o racioc"nio ! correto, deve/se
o;servar se as regras de infer%ncia foram
seguidas ao tirar/se conclus0es a partir das
premissas.
*epresenta&o lgica da linguagem natural
6as linguagens naturais, o cuidado de verificar as
regras de infer%ncia nem sempre ! seguido com
rigor, o que pode dificultar a representa&o da
linguagem natural numa proposi&o lgica.
A representa&o lgica do racioc"nio ! feita
usando/se os s"m;olos e os conectivos, por
e(emplo.
@c)oveA ! representado por P
@a rua alagaA ! representado por =
@se c)ove ento a rua alagaA ! repres. por 8P B =9
*epresenta&o lgica da linguagem natural
Considerando o e(emplo anterior onde concluiu/
se que @a rua alagaA sa;endo/se que @se c)ove
ento a rua alagaA e @c)oveA so verdade, temos.
supondo que P representa @c)oveA, e
supondo que = representa @a rua alagaA, temos.
ou alternativamente.
*epresenta&o lgica da linguagem natural
Para representar uma proposi&o de linguagem
natural como uma proposi&o lgica, ! preciso
reescrever a senten&a de forma que fique dividida
em proposi&0es elementares e conectivos da
lgica proposicional 8no, e, ou, se_ento,
se_e_somente_se9
Atri;ui/se s"m;olos aos tomos e escreve/se a
proposi&o como uma e(presso da lgica
proposicional.
*epresenta&o lgica da linguagem natural
Por e(emplo, supon)a que P representa @est
c)ovendoA, = se2a @eu vou 3 praiaA e * @eu tiver
tempoA.
'nto pode escrever.
ou ainda
Lgica Proposicional

*epresenta&o lgica da linguagem natural

: poss"vel utilizar vers0es logicamente

equivalentes do se_ento. 5e uma das
e(press0es a;ai(o for verdadeira, todas sero> se
uma for falsa, todas sero.

Por e(emplo leia as proposi&0es acima trocando

P por estar feliz, e = por sorrir.
'stamos estudando os conceitos da lgica
formal e do sistema de lgica proposicional.
Conceito de Lgica
#m sistema lgico ! um con2unto de a(iomas e
regras de infer%ncia que visam representar
formalmente o racioc"nio vlido.
1iferentes sistemas de lgica formal foram
constru"dos ao longo do tempo quer no $m;ito
escrito da lgica terica, quer em aplica&0es
prticas na computa&o e em intelig%ncia artificial.
6a nossa disciplina estaremos preocupados com
o sistema formal con)ecido como Lgica
Proposicional.
Conceito de Lgica Proposicional
A lgica proposicional ! a lgica no n"vel das
senten&as.
As senten&as que so consideradas na lgica
proposicional so aquelas que so verdadeiras ou
falsas, mas no am;os.
'ssas senten&as so c)amadas proposies.
=uando uma proposi&o ! verdadeira, diz/se que
ela tem um valor verdade de verdadeiro (V)> se
uma proposi&o ! falsa seu valor verdade ! falso
(F).
-ipos de proposi&o
Tautologia ! uma proposi&o que ! sempre
verdadeira independente do valor dos seus
constituintes.
'(. 8P P9
Contradio ! uma proposi&o que ! sempre
falsa independente do valor dos seus
constituintes.
'(. 8P P9
Contingncia ! uma proposi&o que no ! nem
tautologia nem contradi&o.
'(. 8P =9
-autologias ou 4dentidades
A partir da defini&o dos conectivos, vrias
rela&0es entre proposi&0es podem ser derivadas.
5o c)amadas identidades ou tautologias pois
t%m seu valor definido independentemente do
valor dos constituintes.
5e duas proposi&0es so logicamente
equivalentes, uma pode ser su;stitu"da pela outra
na proposi&o em que ocorrem sem afetar o valor
lgico desta proposi&o.
-autologias ou 4dentidades
A ta;ela a seguir mostra as principais tautologias
ou identidades.
5o ?teis principalmente para transformar
e(press0es lgicas comple(as em outras mais
simples.
-
a
u
t
o
l
o
g
i
a
s

o
u

4
d
e
n
t
i
d
a
d
e
s
corresponde a C mas tam;!m que a
proposi&o ! verdadeira, pois pode
significar equival%ncia entre dois valores
falsos.

-autologias 8e(emplos9.
-autologias 8e(emplos9.
-autologias 8e(emplos9.
-autologias 8e(emplos9.
-autologias 8e(emplos9.
As proposi&0es acima so sempre verdade,
independente do valor de P.
'stas identidades so raramente ou nunca
usadas na linguagem diria, entretanto so ?teis
para manipular e(press0es no racioc"nio na forma
sim;lica.
-autologias 8e(emplos9.
-autologias 8e(emplos9.
-autologias 8e(emplos9.
-autologias 8e(emplos9.
-autologias.
Proposi&o dual.
Considere uma proposi&o D que cont!m somente
os conectivos , e .
A sua proposio dual denotada por DE !
constru"da su;stituindo/se por , por , , por
F e F por ,.
Propriedade. se duas proposi&0es P e =,
envolvendo somente , e so equivalentes,
ento PE e =E tam;!m so equivalentes.
Argumento
#m argumento ! uma sequ%ncia de proposi&0es
na qual uma delas ! a concluso e as demais so
as )ipteses 8ou premissas9.
Pode ser representado de forma sim;lica da
seguinte forma.
P1, P2, P3, ... , Pn |- Q
As proposies P1 a
Pn so denominadas
de hipteses !ou
premissas"
# $
denominad
a de
concluso
%xemplo&
A (B v C), B, C |- A

'(emplo.
Argumento&
5e a 'iga da (ustia no
combate o crime e defende a
pa), ento nem todos os seus
super/)eris lutam contra o mal.
Todos os seus super*heris
lutam contra o mal. A Liga da
2usti&a defende a paz. Portanto,
ela com;ate o crime.
C / 'iga da (ustia combate o
crime
+ / 'iga da (ustia defende a
pa)
, Todos super*heris lutam
contra o mal
,imboli)ao do argumento&
((C D) S) S D |- C
'(erc"cio.
Argumento&
,ader ainda ! um ;om 2edi mas
no gan)a de LuGe. 5e )ouver a
luta final ou se no tiverem
poderes, ento gan)a de LuGe.
Portanto, ,ader ainda ! um ;om
2edi e tem poderes.
, ,ader ainda ! um ;om 2edi
7 gan)a de LuGe
L )ouver a luta final
P tem poderes
,imboli)ao do argumento&
??????
'(erc"cio.
Argumento&
,ader ainda ! um ;om 2edi mas
no gan)a de LuGe. 5e )ouver a
luta final ou se no tiverem
poderes, ento gan)a de LuGe.
Portanto, ,ader ainda ! um ;om
2edi e tem poderes.
, ,ader ainda ! um ;om 2edi
7 gan)a de LuGe
L )ouver a luta final
P tem poderes
,imboli)ao do argumento&
(V G) ( (L P) G) |- V P
'(erc"cio.
Argumento&
5e AnaGin treinou com o LuGe
ou a Princesa Amidala
encontrou o sa;re/de/luz, ento
)ouve uma morte. 5e )ouve
uma morte, ento o AnaGin
estava em 6a;oo. AnaGin no
estava em 6a;oo> Portanto,
AnaGin no treinou com o LuGe
ou a Princesa Amidala no
encontrou o sa;re/de/luz.
A / AnaGin treinou com o LuGe
P / Princesa Amidala encontrou
o sa;re/de/luz
< / )ouve uma morte
6 / AnaGin estava em 6a;oo
,imboli)ao do argumento&
??????
'(erc"cio.
Argumento&
5e AnaGin treinou com o LuGe
ou a Princesa Amidala
encontrou o sa;re/de/luz, ento
)ouve uma morte. 5e )ouve
uma morte, ento o AnaGin
estava em 6a;oo. AnaGin no
estava em 6a;oo> Portanto,
AnaGin no treinou com o LuGe
ou a Princesa Amidala no
encontrou o sa;re/de/luz.
A / AnaGin treinou com o LuGe
P / Princesa Amidala encontrou
o sa;re/de/luz
< / )ouve uma morte
6 / AnaGin estava em 6a;oo
,imboli)ao do argumento&
((A P) M) (M N) N |-
A P