1

Ol pessoal!
Segue uma pequena lista de exerccios que julgo serem importantssimas para provas do CESPE-UnB.
Como vocs puderam perceber ao longo do curso, construir inmeras tabelas de valoraes condio
sine qua non (necessria) para se dar bem em provas desta importante banca.
01. As seguintes equivalncias lgicas descritas a seguir mostram maneiras alternativas de negar
proposies compostas. Demonstre-as utilizando tabelas-verdade.
~( ) ( ~ )
~( ) (~ )
~( ) ( )
~( ) ( ~ )
~( ) ( ~ )
p q p q
p q p q
p q p q
p q p q
p q q p





Resoluo
Vejamos a soluo das trs primeiras equivalncias. Estamos trabalhando com duas proposies simples,
portanto o nmero de linhas da tabela-verdade igual a 2
2
=4. Neste caso, sempre devemos comear
com os possveis valores lgicos para as proposies simples componentes: p, q, ~p, ~q. Em seguida
devemos determinar os valores lgicos das proposies que se encontram dentro dos parnteses.
Determinamos os valores de p - q lembrando que uma proposio composta pelo se e somente se s
verdadeira se as proposies componentes tiverem valores iguais (linhas 2 e 3). Facilmente determinamos
agora os valores de ~(p - q) bastando apenas para isso trocar os valores lgicos de p - q. Feito isso,
teremos j o primeiro membro das trs primeiras equivalncias. Devemos agora determinar os valores de
(p - ~q), (~p - q) e p v q. Lembrando novamente que uma proposio composta pelo se e somente
se verdadeira se as proposies componentes tiverem valores iguais e que o smbolo v significa ou
exclusivo e que uma proposio composta por esse conectivo verdadeira quando apenas uma das
proposies componentes for verdadeira.
p q ~p ~q p - q ~(p - q) (p - ~q) (~p - q) p v q
V V F F V F F F F
V F F V F V V V V
F V V F F V V V V
F F V V V F F F F
Vejamos agora a soluo das duas ltimas equivalncias. Novamente teremos quatro linhas e a disposio
padro do incio da tabela verdade com as proposies simples componentes: p, q, ~p, ~q. Em seguida
devemos determinar o valor lgico de p A q. Assim, estamos prontos para determinar os valores lgicos


















2
das proposies participantes das equivalncias. Vale lembrar que uma proposio composta pelo
conectivo Se..., ento... s falsa quando o antecedente verdadeiro e o consequente falso (VF). Eis a
tabela:
p q ~p ~q p A q ~(p A q) (p - ~q) (q - ~p)
V V F F V F F F
V F F V F V V V
F V V F F V V V
F F V V F V V V
02. Construa a tabela-verdade das seguintes proposies compostas e demonstre que todas so
tautolgicas.
Resoluo
Em cada uma das proposies compostas teremos:
2
2
= 4 linhas, se forem duas proposies simples componentes.
2
3
= 8 linhas, se forem trs proposies simples componentes.
Sempre comearemos com as disposies padres das proposies simples e procuraremos
construir as proposies que esto dentro dos parnteses.


















3


















4


















5