1

Disciplina: Matemtica Computacional

Prof. Diana de Barros Teles



AULA 2


Construo da Tabela-Verdade


Segundo o princpio do terceiro excludo, toda proposio simples verdadeira (V)
ou falsa (F).


Em se tratando de uma proposio composta, a determinao do seu valor lgico,
depende unicamente dos valores lgicos das proposies simples componentes.



Determinao do valor lgico da proposio composta:



Para determinar o valor lgico de uma proposio composta, recorre-se quase
sempre a um dispositivo denominado TABELA-VERDADE.


Exemplo: No caso de uma proposio composta cujas proposies simples
componentes so p e q, as nicas possveis atribuies de valores lgicos a p e a q
so:


p q
1 V V
2 V F
3 F V
4 F F


Exemplo: No caso de uma proposio composta cujas proposies simples
componentes so p, q e r, as nicas possveis atribuies de valores lgicos a p, a q e
a r so:


2


p q r
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F


Operaes lgicas sobre proposies:

Negao (~): Chama-se negao de uma proposio p, a proposio representada
por no p, cujo valor lgico a verdade (V) quando p falsa e a falsidade (F)
quando p verdadeira.

~p

p ~p
V F
F V

Conjuno (^): Chama-se de conjuno de duas proposies p e q a proposio
representada por p e q, cujo valor lgico (V) quando as proposies p e q so
ambas verdadeiras e (F) nos demais casos. (Conjuno = unio)

p ^ q = p e q

p q p ^ q
V V V
V F F
F V F
F F F

Disjuno(V)(ou Disjuno inclusiva): Chama-se de disjuno de duas
proposies p e q a proposio representada por p ou q, cujo valor lgico (V),
quando ao menos uma das proposies p e q (V).E a falsidade(F) quando as
proposies p e q so ambas falsas. (Disjuno = separao)

3
p V q = p ou q









Disjuno exclusiva ( V ):Chama-se de disjuno exclusiva de duas proposies p
e q, cujo valor lgico a verdade (V) somente quando p verdadeira ou q
verdadeira, mas no quando p e q so ambas verdadeiras, e a falsidade (F) quando
p e q so ambas verdadeiras ou ambas falsas.

p q pV q
V V F
V F V
F V V
F F F

Na linguagem comum a palavra ou tem dois sentidos: o sentido inclusivo e o exclusivo.

Exemplos:

P: Carlos mdico ou professor. (disjuno inclusiva - V)

Q: Mrio alagoano ou gacho. (disjuno exclusiva- V )

Condicional ( ): Chama-se de proposio condicional ou apenas condicional uma
proposio representada por se p ento q, cujo valor lgico a falsidade (F) no
caso em que p verdadeira e q falsa e a verdade(V) nos demais casos.
p q







Uma condicional p q no afirma que o conseqente q se deduz ou
consequncia do antecedente p.

Sua tabela no to bvia quanto as outras. A condicional significa que a verdade de
p implica, ou leva, a verdade de q. Logo, se p verdadeira e q falsa, a condicional
p q p V q
V V V
V F V
F V V
F F F
p q p q
V V V
V F F
F V V
F F V
4
falsa.

E ainda, a primeira proposio independente da segunda.

p condio suficiente para q.

Exemplo:

Se Roberto passar no teste de Clculo, ento ele vai ao cinema sexta-feira.

* Se Roberto no passar no teste, ento - independente de se ele vai ou no ao
cinema- voc no pode afirmar que a observao falsa.

* O que uma condicional afirma unicamente uma relao entre os valores lgicos das
proposies. No uma relao de causa e efeito.


Bicondicional ( ): Chama-se proposio bicondicional ou apenas bicondicional
uma proposio representada por p se e somente se q, cujo valor lgico a
verdade(V) quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade (F)
nos demais casos.
]
pq

p q pq
V V V
V F F
F V F
F F V



Determinao do valor lgico


Se p verdadeiro(V) e r falso(F), determine o valor lgico de cada proposio:

a) p ^ ~r = V ^ V = V
b) p v ~r = V v V = V
c) ~p ^ r = F ^ F = F
d) ~p ^ ~r = F ^ V = F
e) ~p v ~r = F v V = V
5
f) p ^ (~p v r) = p ^ (F v F) = V ^ F = F

Construo de tabelas verdade


Com o emprego das tabelas-verdade das operaes lgicas fundamentais ~p, p ^ q,
p v q, p q, p q possvel construir a tabela-verdade correspondente a qualquer
proposio composta dada.

O nmero de linhas da tabela-verdade de uma proposio composta depende do
nmero de proposies simples que a integram. E deve ser calculado utilizando a
potncia: 2
n
, sendo n o nmero de proposies simples.

Exemplo 1:

Construir a tabela- verdade da proposio:

P(p,q) = ~(p ^ ~q)

Duas proposies simples, portanto 2
2
= 4 linhas.

p q ~q p ^ ~q ~(p ^ ~q)
V V F F V
V F V V F
F V F F V
F F V F V

Exemplo 2:

Construir a tabela verdade da proposio:

Q(p, q, r) = p v ~r q ^~r


Trs proposies, portanto: 2
3
= 8 linhas.

p q r ~r p v ~r q ^ ~r p v ~r q ^~r
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F F F V
6
F V F V V V V
F F V F F F V
F F F V V F F


Exemplo 3:

Sabendo que V(p) = V, V(q) = F e V( r ) = F

Determine o valor lgico(V ou F) da proposio:

P(p,q,r) = (q (r ~p)) v ((~qp ) r )

(F (F F)) v ((V V) F)

(FV) v ( V F)

F v F

F