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.
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
~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
F^V =F
f) p ^ (~p v r) =
p ^ (F v F) =
V^F =F
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
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