UNIVERSIDADE DO ESTADO DA BAHIA (UNEB)

Autorização Decreto nº 9237/86. DOU 18/07/96. Reconhecimento: Portaria 909/95, DOU

01/08-95

GABINETE DA REITORIA
UNIDADE ACADÊMICA DE EDUCAÇÃO A
DISTÂNCIA (UNEAD)
Criação e Implantação Resolução CONSU nº 1.051/2014. DOU 20/05/14

Curso de Licenciatura em Matemática – EAD

Disciplina: Lógica Matemática – Turma 2017.2
Professores formadores: Adelmo R de Jesus e Armando Peixoto

3ª ROTEIRO DE ESTUDOS EM 19.10.2017

1ª Questão. Mostre, através da Tabela-verdade, a existência da equivalência (  ) entre as

proposições: p  q e p  q . Ou seja, para demonstrar uma equivalência entre proposições é
necessário obter uma tautologia no conectivo bicondicional (  ), isto é, se a bicondicional
( p  q)  (~ p  q) é tautológica diremos que as expressões p  q e p  q mantêm uma relação
de equivalência.

p q ~ p p q ~ pq  p  q   ~ p  q 
V V
V F
F V
F F

2ª Questão. Considere as afirmações seguintes:

(I) Se um político tem muito dinheiro, então ele pode ganhar as eleições. Podemos interpretar
como: Se p, então q. Mais ainda, de forma simbólica: p  q .
(II) Se um político não tem muito dinheiro, então ele não pode ganhar as eleições.
(III) Se um político pode ganhar as eleições, então ele tem muito dinheiro.
(IV) Se um político não pode ganhar as eleições, então ele não tem muito dinheiro.
(V) Um político não pode ganhar as eleições, se ele não tem muito dinheiro.

Perguntas:
a) considerando-se a proposição (I), quais das outras proposições são equivalentes a esta
proposição? Justifique sua resposta.
b) qual é a negação da proposição (IV)?
c) como fica a contrapositiva da proposição (II)?
Nota: a proposição q p é denominada a contrapositiva de p  q e vice-versa.