UNIVERSIDADE FEDERAL DO PARÁ / ITEC

LÓGICA MATEMÁTICA
LISTA DE EXERCÍCIOS – VALENDO 2 PONTOS.
Pode ser feito em duplas, com consulta.

PROF. DR. RODRIGO M. S. DE OLIVEIRA

ALUNO: ___________________________________________________________
MATRÍCULA: _____________________

1) (0.25 pt) Seja p a proposição “está chovendo” e seja q “está ventando”. Escreva uma
sentença verbal simples, em português, que descreva cada uma das seguintes proposições
lógicas:

a) p
b) p q
c) q ~p
d) q p
e) ~p q.

2) (0.25 pt)Traduzir para a linguagem simbólica da lógica as seguintes proposições

matemáticas:

a) Se x 0 então y 2.

b) y 4 e se x y então x 5.
c) x é maior que 5 e menor que 7 ou x não é igual a 6.

3) (0.25 pt) Elimine o máximo de parênteses possível, sem alterar a proposição composta:

a) q p~p q

b) q p~q p
c) ~q p~q p r

4) (0.25 pt) Determine quais das seguintes proposições são tautológicas, contraditórias ou
Contingentes, através da construção de suas tabelas-verdade.
a) ~p q ~p
b) p ~q p ~q
c) ~p ~q p q

5) (0.5 pt) Prove que p q implica logicamente em p q.

6)(0.5 pt) Dada a tabela-verdade a seguir, determine a proposição composta Ap,q,

usando apenas os operadores lógicos ~, e.

p q Ap,q
V V V
V F F
F V F
F F V
 Soluções.

1. Seja p a proposição “está chovendo” e seja q “está ventando”. Escreva uma sentença
verbal simples, em português, que descreva cada uma das seguintes proposições lógicas:

a) p “não é verdade que não está chovendo.”

b) p q - “está chovendo e não está ventando.”
c) q ~p “está ventando ou não está chovendo.”
d) q p “se está ventando então está chovendo.”
e) ~p q. “ não é verdade que está chovendo e ventando.”

2. Traduzir para a linguagem simbólica da lógica as seguintes proposições matemáticas:

a) Se x 0 então y 2.

Sendo p: x > 0; q: y 2, temos: p q

b) y 4 e se x y então x 5.

Sendo p: y 4; q: x y; r: x 5, temos: p q r )

c) x é maior que 5 e menor que 7 ou x não é igual a 6.

Sendo p: x >5 ; q: x 7; r: x 6, temos: (p q) ~r

3. Elimine o máximo de parênteses possível, sem alterar a proposição composta

a) q p~p qq p~p q

b) q p~q pq p~q p
c) ~q p~q p r~q p~q p r

4. Determine quais das seguintes proposições são tautológicas, contraditórias ou

contingentes, através da construção de suas tabelas-verdade.

a) ~p q ~p - Tautologia

p q ~p q ~p ~p q ~p

V V F F V
V F F V V
F V V V V
F F V V V

b) p ~q p ~q - contingente


p q ~q p ~q p ~q p ~q p ~q
V V F V F F
V F V V V V
F V F F V V
F F V V V V

c) ~p ~q p q- contingente
p q ~p ~q ~p ~q p q ~p ~q p q
V V F F F V V
V F F V V F F
F V V F V V V
F F V V V V V

5. Prove que p q implica logicamente em p q.

p q p q p q ( p q )  ( p q )

V V V V V
V F F F V
F V F F V
F F F V V
Como ( p q )  ( p q ) é tautológica, está provado que ( p q )  ( p q ).

6. Dada a tabela-verdade a seguir, determine a proposição composta Ap,q, usando

apenas os operadores lógicos ~, e.

p q Ap,q
V V V
V F F
F V F
F F V

 Uma 1ª possibilidade: A tabela nos diz que Ap,q é verdade apenas quando p e q são
ambas verdadeiras ou quando p e q são ambas falsas. Ou seja, uma possível solução é:

Ap,q = ( p q ) ( ~p ~q ).

Verificação

p q ~p ~q ( p q ) ( ~p ~q ) Ap,q = ( p q ) ( ~p ~q )

V V F F V F V
V F F V F F F
F V V F F F F
F F V V F V V
Verificação: [OK]

 Uma 2ª possibilidade: A tabela nos diz que Ap,q é falsa apenas quando p e q são V e
F ou quando p e q são F e V. Ou seja, uma possível solução é:
Ap,q = ~ ( ( p ~q ) ( ~p q ) ).

p q ~p ~q ( p ~q ) ( ~p q ) ( p ~q ) ( ~p q ) ~( ( p ~q ) ( ~p q ) )

V V F F F F F V
V F F V V F V F
F V V F F V V F
F F V V F F F V
Verificação: [OK]