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 2 3 4

V V F F

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

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

q V V F F V V F F

r V F V F V F V 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 V F ~p 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 V V F F q V F V F p^q V 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) 2

p V q = p ou q
p V V F F q V F V F pVq V V V F

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 V V F F

q V F V F

pV q F V V 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

p V V F F

q V F V F

p q V F V V

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 3

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. ]

p q
p V V F F q V F V F pq V 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 = b) p v ~r = c) ~p ^ r = d) ~p ^ ~r = e) ~p v ~r = V^V VvV F^F FvV =V =V =F =V 4

F^V =F

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: 2n, sendo n o nmero de proposies simples. Exemplo 1: Construir a tabela- verdade da proposio:

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

Duas proposies simples, portanto 22 = 4 linhas.

p V V F F
Exemplo 2:

q V F V F

~q F V F V

p ^ ~q F V F F

~(p ^ ~q) V F V V

Construir a tabela verdade da proposio:

Q(p, q, r) = p v ~r q ^~r
Trs proposies, portanto: 23 = 8 linhas.

p
V V V V F

q
V V F F V

r
V F V F V

~r
F V F V F

p v ~r
V V V V F

q ^ ~r
F V F F F

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

F F F

V F F

F V F

V F V

V F V

V F F

V V 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 ((~q p ) r )

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