Escola Superior de Tecnologia e Gestão

Curso de Engenharia Informática

Matemática Discreta

Ficha Prática n.º 1: Introdução à Lógica Matemática

1. Simplifique, utilizando as propriedades das operações lógicas, as expressões:

a) a∧ ( a ∧ ¬b )

b) ( ¬a ∧ b ) ∨ a
c) ¬[ ( a ∧ b ) ∧ ¬ ( a ∨ b ) ]
d) ( a ∧ b ) ∨ ( a ∧ ¬b )
e) ( ¬a ∧ b ) ∨ ¬b
f) ¬( ¬a ∧ b )
g) ¬a ∧ ( a ∧ b )
h) ¬[ ( ¬ a ∧ b ) ∨ ¬b ]
i) ( a ↔ b) → a
j) ¬[ ( p → q ) ∧ ¬q ] ∧ ¬ p

k) ¬[ a ∧ ( a → b ) ] → ( a ∧ b )
l) ¬[ a ∧ ( ¬b ∨ c ) ∧ ¬( a ∧ c ) ] ∧ ¬ b

2. Construa as tabelas de verdade das expressões:

a) a∧ ( a ∧ ¬b )

b) ¬[ ( a ∧ b ) ∧ ¬( a ∨ b ) ]
c) ¬[ a ∧ ( ¬b ∨ c ) ∧ ¬( a ∧ c ) ] ∧ ¬ b
d) ¬[ a ∧ ( a → b ) ] → ( a ∧ b )
e) q ↔ ( ¬p ∨ ¬q )

1
3. Sendo p, q e r as proposições elementares:

p : 3 é um número par;
q : 1 é um número real;
2
r : π é um número irracional ;

diga qual é o valor lógico das proposições:

a) p ∧ ¬q b) p ∧ q ∧ r c) ¬( p ∧ q ) ∧ r d) ( p ∨ ¬q ) ∧ r

e) ¬p → ( q ∧ ¬r ) f) ¬( p ∧ q ) ↔ q ∨ r g) ¬[ ¬( p ↔ q ) ∧ r ] h)
¬( p ∧ ¬q ∧ r ) → ¬q

4. Prove, não utilizando tabelas de verdade, que:

a) ( p ∧ q ) ∨ ( p ∧ ¬ q ) ∨ ( ¬ p ∧ q ) = p ∨ q

b) ( p ∧ q ) ∨ ( ¬ p ∧ q ) ∨ ( ¬ p ∧ ¬q ) = ¬ p ∨ q

c) ( p ∧ q ) ∨ ( ¬ p ∧ ¬ q ) = p ↔ q

d) ( p ∧ ¬ q ) ∨ ( ¬ p ∧ q ) = p ∨ q

5. Mostre que são logicamente equivalentes as expressões:

p → q , ¬ p ∨ q e ¬q → ¬ p

6. Obtenha ¬( p → q) na forma conjuntiva.

7. Supondo verdadeira a implicação ¬(¬(a → b) ∧ b) → c diga qual é o valor lógico

de c.

8. Considere as proposições: P : Porto ganha o campeonato

B: Benfica ganha o campeonato
S: Sporting ganha o campeonato
Supondo ¬[ ¬P ∨ (¬B → S ] verdadeira, diga qual das equipas ganha o campeonato.

9. Considere as proposições:
2
p: as rectas a e b são perpendiculares
q: as rectas a e b formam entre si quatro ângulos iguais

9.1. Escreva em linguagem corrente:

a) p→q
b) ¬p∨q
c) ¬q → ¬ p

9.2. Admitindo p → q verdadeira indique o valor lógico da

proposição:
As rectas a e b são perpendiculares e as rectas a e b não formam entre si quatro
ângulos iguais.

10. Através da sua tabela de verdade, averigue se p → ( p ∨ q ) é uma tautologia. E

uma contradição?

11. Mostre que ( ¬ p ∨ q ) ∧ [ p ∧ ( p ∧ q ) ] é logicamente equivalente a

p∧q.

12. Construa a tabela de verdade de ( ( p → q) ∧ ( q → p) ) ↔ ( p ↔ q) e averigúe se se

trata de uma tautologia ou de uma contradição.

13. Supondo que p e r são proposições falsas e que q e s são proposições

verdadeiras, determine os valores lógicos de:

a) ( p → q) → r
b) ( s → ( p ∧ ¬ r ) ) ∧ ( ( p → ( r ∨ q) ) ∧ s)

14. Determine os valores lógicos das proposições p, q, r, s e t para os quais a

proposição ¬[ ( p ∧ q ∧ r ) → ( s ∨ t ) ] é verdadeira.

3
 15. Mostre que:
a) ( p → q ) → ( ¬p ∨ q ) é uma tautologia.
b) ( p ∧ q ) ∧ ¬( p ∨ q ) é uma contradição.

16. Considere no universo T da turma do 1º ano do curso de Engenharia Informática na

ESTIG as condições:
F(X): X é do sexo feminino
M(X): X é do sexo masculino
E(X): X é aluno de Engenharia Informática
C(X): X é caloiro

16.1. Classifique, em TA, as condições:

a) M(X) ∧ C(X)
b) F(X) ∧ M(X)
c) E(X)
d) M(X) → C(X)

16.2. Indique o valor lógico das proposições e escreva a negação das

falsas sem começar por ¬ :

a) C(João)
∀X ∈ T: F(X)

¬
b)

c) ∀X ∈ T: C(X)

d) ∃ X ∈ T: ¬ E(X)

e) ∃ X ∈ T: ¬ C(X)

17. Utilizando quantificadores, traduza cada uma das seguintes expressões:

a) Há um número racional maior que 3;
b) Todos os números naturais são não negativos.

18. Negue cada uma das proposições seguintes usando as 2ªs leis de De Morgan:
a) ∀x ∈IN , x >3 ∧x <2

b) ∃y ∈Z : y 2 + 3 =0 ∨ y2 – 1 = 0
4
 c) ∀ x ∈ IR ∃ y∈ IR + , y = x 2

d) ∃ x , y ∈IR : x >2 →y + x ≤2
19. Considere a condição em IN , x + y =5
19.1. Transforme-a numa proposição, utilizando dois quantificadores
a) universais
b) existenciais
c) o primeiro universal e o outro existencial
d) o primeiro existencial e o outro universal

19.2. Traduza as proposições obtidas em linguagem corrente e indique o seu valor

lógico

20. São dadas, em IR , as condições:

1
x + 1 + 2 > 0 ; x2 = x ; x2 +3 = 2
2
20.1. Classifique cada uma delas

20.2. Diga qual é o valor lógico de cada uma das seguintes proposições
a) ∀x∈IR , x +1 +2 > 0

1
b) ∀x ∈IR , x 2 = x
2
1
c) ∃x ∈IR : x 2 = x
2
1
d) ∃1 x ∈IR : x 2 = x
2
e) ∃x ∈IR : x 2 + 3 = 2

21. Utilizando quantificadores traduza cada uma das expressões:

a) Todo o número racional é real
b) Todos os quadrados são losangos
c) Existe pelo menos um número real que não é racional
d) Há pelo menos um número inteiro cujo dobro é positivo

5
22. Traduza em linguagem corrente e indique o valor lógico de cada uma das
proposições seguintes:
a) ∀x ∈IR ∃y ∈IR : x + y = x
b) ∃x ∈IR ∀y ∈IR : x + y = x
c) ∀x ∈IR ∃y ∈IR : x + y =0

23. Negue cada uma das proposições seguintes (não utilize o símbolo ¬)
a) ∀x ∈IR , x > 2 ∨ x = 3
b) ∃x ∈IR : x >5 ∧ x >7
c) ∀x ∈IR , 1 <x ≤ 5

d) ∀x ∈IR ∀y ∈IR , x >2 →x > y

e) ∃x ∈IR ∀y ∈IR , x − y =2
f) ∀x , y ∈IR , x < y →x ≤1
g) ∀x ∈IR , ( x >2 ∧ x < 5) ∨ x > 3