Está en la página 1de 5

UNIVERSIDADE FEDERAL DE GOIS

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 _

~r) . Traduo: ou a terra plana ou Goinia no a capita de Gois

Exerccio 2 - Quais os valores lgicos das proposies compostas a, b e c da


questo 1.
Como V(p) = F, V(q) = V, V(r) = V e V(s) = F temos:
a) V((p q) s) = (V(p) V(q)) V(s) = (F V) F = F F = V. A
proposio composta 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.
verdadeira.
b) V((~p q) r) = (V(~p) V(q)) V(r)) = (V V) V = V V = V. A proposio
composta Se a terra no plana e 2 + 2 = 4 ento Goinia a capita de Gois.
verdadeira.
c) c) V(p _ ~r) = V(p) _ V(~r ) = F _ F = F. A proposio composta ou a terra
plana ou Goinia no a capita de Gois falsa.
Tabela-Verdade de uma proposio composta
Dado vrias proposies simples p,q, r, ..., possvel combinar os conectivos
lgicos abaixo:
Negao (~);
Conjuno ou e lgico (^);
Disjuno ou ou lgico ();
Disjuno exclusiva ou ou-exclusivo lgico ( _ );
Condicional ou se-ento ();
Bicondicional ou se,e somente se ()
e construir proposies compostas, ou frmulas lgicas tais como:
P(p,q,r)= (((pr)q)(qs))
Q(p,s)= ~p(p s)
R(p,q,r)= (p~r) q((q _ s))

NMERO DE LINHAS DE UMA TABELA-VERDADE


Cada proposio simples (atmica) pode ter dois valores V ou F, que se excluem.
Para n atmicas distintas, h tantas possibilidades quantos so os arranjos com
repetio de 2 (V e F) elementos n a n, segundo a anlise combinatria temos: A 2,n =
2n.
Logo temos para duas proposies so 22 = 4 linhas; para 3 proposies so 23 =
8; etc.
CONSTRUO DA TABELA-VERDADE DE UMA PROPOSIO COMPOSTA
Conta-se o nmero de proposies simples, se h n proposies simples existe 2n
linhas.
Observe que conforme o nmero de smbolos proposicionais impraticvel o uso de
Tabela_Verdade por meios manuais, por exemplo, 20 smbolos proposicionais a TabelaVerdade teria que ter:
220 = 1.048.576 linhas.
EXEMPLO DE CONSTRUO DA TABELA-VERDADE DE UMA PROPOSIO
COMPOSTA
1 Resoluo: Forma-se, em primeiro lugar, as colunas correspondentes as proposies
simples e suas negaes, se houver. Em seguida forma-se a colunas relativas as
proposies compostas de modo que a Tabela-Verdade possua todas as combinaes
possveis de valores lgicos {V, F}. A coluna correspondente a frmula lgica corresponde
a resposta da Tabela-Verdade.
Exemplo: Seja a frmula.
P(p,q,r) = (p (q r))
Resoluo: As proposies so trs (p, q, r).
Nmero de linhas Tabela-Verdade : A 2,3 = 23 = 8.
p

qr

(p (q r))

Observao : Cada coluna das proposies simples (p, q, r) possui um conjunto de


combinaes de valores lgicos diferente para as oito linhas {VVV, VVF, VFV, VFF, FVV,
FVF, FFV, FFF}.
2 Resoluo: Forma-se, em primeiro lugar, as colunas correspondentes as proposies
simples. Em seguida, direita, traa-se uma coluna para cada uma destas proposies e
2

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

3 Resoluo: Resulta de suprimir na Tabela-Verdade da 2 Resoluo as colunas


relativas as proposies simples, no exemplo as trs primeiras colunas esquerda. O que
corresponde a seguinte Tabela-Verdade simplificada para a proposio composta dada
P(p,q,r) = (p (q r)).
(p

(q

r))

VALOR LGICO DE UMA PROPOSIO COMPOSTA OU FRMULA LGICA


Dada uma proposio composta P(p, q, r, ...), pode-se sempre determinar o seu
valor lgico (V ou F) quando so dados ou conhecidos os valores lgicos respectivos das
proposies componentes p, q, r, ....
Exemplo: Sabendo-se que os valores lgicos das proposies p e q so respectivamente
V e F, determinar o valor lgico (v ou F) da proposio:
P(p, q) = ~ ( p q) ~ p ^ ~ q
V F
FV
VF
- 1 Linha
F
V
F
- 2 Linha

- 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:

(I) Ordem de Precedncia


Na Lgica Proposicional, a ordem de precedncia dos conectivos proposicionais :
1) ~
2) e
3)
4)
Exemplo:
pqsr
uma bicondicional, corresponde com o uso de parntesis a expresso:
(p q) (s r)
Para ser uma condicional o parntesis abaixo seria obrigatrio:
p (q s r)
Para ser uma conjuno o parntesis abaixo seria obrigatrio:
(p q s) r
* Observao: Caso estude por outro livro verifique a ordem de precedncia dos
conectivos alm da notao.

(II) Quando um mesmo conectivo aparece sucessivamente repetido,


suprimem-se os parntesis, fazendo associao esquerda
Exemplo:
((~(~(p ^q))) (~p))) corresponde a ~~(p ^q) ~p
OUTROS SMBOLOS PARA CONECTIVOS
Existem outros smbolos diferentes dos smbolos adotados no livro texto. Assim so
freqentemente usados os smbolos:
para a negao (~)
e & para conjuno (^)
( ferradura) para condicional ()