Escolar Documentos
Profissional Documentos
Cultura Documentos
INSTITUTO DE INFORMTICA
Lgica Matemtica
Assunto da aula de Hoje (5/03/2008): Construo de Tabelas-Verdades.
Exerccio 1 - Sejam as seguintes proposies p: A terra plana, q: 2 + 2 = 4, r:
Goinia a capital de Gois e s: Eu conhecer a minha me quando ela era beb.
Traduza para linguagem corrente as seguintes proposies:
a) (p q) s. . Traduo: A terra plana, se somente se, 2 + 2 = 4 que a
condio necessria e suficiente para eu conhecer a minha me quando ela era
beb.
b) (~p q) r. Traduo: Se a terra no plana e 2 + 2 = 4 ento Goinia a capita
de Gois.
c) (p _
qr
(p (q r))
para cada um dos conectivos que figuram na proposies e para cada um dos conectivos
que figuram na proposio composta dada. De modo que teremos uma coluna para cada
proposies simples e uma uma coluna para cada um dos termos da frmula lgica
procurada.
Para o mesmo exemplo temos : P(p,q,r) = (p (q r))
p q r (p (q r))
V
Portanto, os
valores lgicos da proposio composta dada (P(p,q,r)=(p(qr)))
correspondentes a todas as possveis atribuies dos valores lgicos V e F s
proposies simples componentes p, q e r (VVV, VVF, VFV, VFF, FVV, FVF, FFV,
FFF) so V, F,V,V,V,V,V,V, isto simbolicamente:
P(VVV) = V,
P(VVF) = F,
P(VFF) = V,
P FVV) = V,
P(FVF) = V,
P(FFV) = V,
P(FFV) = V,
P(FFF) = V.
Observa-se que a proposio P(p, q, r) associa a cada um dos elementos do conjunto
Universo - U {VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF} um nico elementos do
conjunto {V,F}, isto , P(p,q,r) uma funo de U em {V, F}:
P(p,q,r): U {V, F}
Cuja a representao grfica por um diagrama sagital a seguinte:
Imagem
{V, F}
Domnio
U
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
Funo
P
V
(q
r))
- 3 Linha
Explicao do exemplo :
Na 1 linha, foi substitudo o valor lgico das proposies simples e a negao aplicada a
proposies simples, no caso, V(p) = V e V(q) = F e sua respectivas negao V(~p) = F e
V(~q) = V.
Na 2 linha, foi substitudo o valor lgico das proposies compostas possveis usando os
resultados da 1 linha. No caso V(p q) = V e sua negao V((~( p q) ) = F alm de V(
~p ^ ~q) = F.
Na 3 linha j possvel determinar o valor lgico de P(p, q) = ~ ( p q) ~p ^ ~q, no
caso, V((~( p q) ) V( ~p ^ ~q), em valores lgicos temos F F, resultado lgico
de P(p, q) V, ou seja, V(P(p, q)) = V .
Resumidamente temos: V(P) = ~( V F) ~V ^ ~F = ~V F ^ V = F F = V.
USO DE PARNTESIS
O uso de parntesis na simbolizao das proposies, que devem ser colocados
para evitar qualquer tipo de ambigidade Assim, por exemplo a expresso p ^ q r d
lugar, colocando-se parntesis, s seguintes proposies:
(p ^ q) r
p ^ (q r)
4
Por outro lado, em muitos casos, parntesis podem ser suprimidos, a fim de simplificar
as proposies simbolizadas, desde que, naturalmente, ambigidade alguma venha a
aparecer.
A supresso de parntesis nas proposies simbolizadas se faz mediante algumas
convenes, das quais so particularmente importantes as duas seguintes: