1

Escola Superior de Tecnologia e Gesto

Curso de Engenharia Informtica

Matemtica Discreta

Ficha Prtica n. 1: Introduo Lgica Matemtica



1. Simplifique, utilizando as propriedades das operaes lgicas, as expresses:

a) . a ( ) b a .
b) ( ) a b a v .
c) ( ) ( ) | | b a b a v . .
d) ( ) ( ) b a b a . v .
e) ( ) b b a v .
f) ( ) b a .
g) ( ) b a a . .
h) ( ) | | b b a v .
i) ( ) a b a
j) ( ) | | p q q p . .
k) ( ) | | ( ) b a b a a . .
l) ( ) ( ) | | b c a c b a . . . v .


2. Construa as tabelas de verdade das expresses:
a) . a ( ) b a .
b) ( ) ( ) | | b a b a v . .
c) ( ) ( ) | | b c a c b a . . . v .
d) ( ) | | ( ) b a b a a . .
e) ( ) q p q v





2

3. Sendo p, q e r as proposies elementares:

; irracional nmero um :
real; nmero um
2
1
:
par; nmero um 3 :
t r
q
p

diga qual o valor lgico das proposies:

a) q p . b) r q p . . c) ( ) r q p . . d) ( ) r q p . v

e) ( ) r q p . f) ( ) r q q p v . g) ( ) | | r q p . h) ( ) q r q p . .


4. Prove, no utilizando tabelas de verdade, que:

a) ( ) ( ) ( ) q p q p q p q p v = . v . v .

b) ( ) ( ) ( ) q p q p q p q p v = . v . v .

c) ( ) ( ) q p q p q p = . v .

d) ( ) ( ) q p q p q p v = . v .



5. Mostre que so logicamente equivalentes as expresses:
p q e q p q p v ,

6. Obtenha ) ( q p na forma conjuntiva.

7. Supondo verdadeira a implicao c b b a . ) ) ( ( diga qual o valor lgico
de c.


8. Considere as proposies: P : Porto ganha o campeonato
B: Benfica ganha o campeonato
S: Sporting ganha o campeonato
Supondo | | S B P v ( verdadeira, diga qual das equipas ganha o campeonato.



3

9. Considere as proposies:
p: as rectas a e b so perpendiculares
q: as rectas a e b formam entre si quatro ngulos iguais
9.1. Escreva em linguagem corrente:
a) q p
b) q pv
c) p q

9.2. Admitindo q p verdadeira indique o valor lgico da proposio:
As rectas a e b so perpendiculares e as rectas a e b no formam entre si quatro
ngulos iguais.


10. Atravs da sua tabela de verdade, averigue se ( ) q p p v uma tautologia. E uma
contradio?


11. Mostre que ( ) ( ) | | q p p q p . . . v logicamente equivalente a q p . .


12. Construa a tabela de verdade de ( ) ( ) ( ) ( ) q p p q q p . e averige se se
trata de uma tautologia ou de uma contradio.


13. Supondo que p e r so proposies falsas e que q e s so proposies verdadeiras,
determine os valores lgicos de:
a) ( ) r q p
b) ( ) ( ) ( ) ( ) ( ) s q r p r p s . v . .



14. Determine os valores lgicos das proposies p, q, r, s e t para os quais a
proposio ( ) ( ) | | t s r q p v . . verdadeira.




4

15. Mostre que:
a) ( ) ( ) q p q p v uma tautologia.
b) ( ) ( ) q p q p v . . uma contradio.


16. Considere no universo T da turma do 1 ano do curso de Engenharia Informtica na
ESTIG as condies:
F(X): X do sexo feminino
M(X): X do sexo masculino
E(X): X aluno de Engenharia Informtica
C(X): X caloiro
16.1. Classifique, em TA, as condies:
a) M(X) .C(X)
b) F(X) .M(X)
c) E(X)
d) M(X) C(X)
16.2. Indique o valor lgico das proposies e escreva a negao das falsas sem
comear por :
a) C(Joo)
b) XeT: F(X)
c) XeT: C(X)
d) - XeT: E(X)
e) - XeT: C(X)

17. Utilizando quantificadores, traduza cada uma das seguintes expresses:
a) H um nmero racional maior que 3;
b) Todos os nmeros naturais so no negativos.

18. Negue cada uma das proposies seguintes usando as 2s leis de De Morgan:
a) 2 3 , < . > e x x IN x
b) y : Z y e -
2
+ 3 = 0 v y
2
1 = 0
c) IR xe - e y
+
IR , x y =
2


5
d) - 2 2 x y x : IR y , x s + > e
19. Considere a condio emIN, 5 y x = +
19.1. Transforme-a numa proposio, 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 proposies obtidas em linguagem corrente e indique o seu valor
lgico


20. So dadas, em , IR as condies:
2 3
2
1
0 2 1
2 2
x ; x x ; x

= + = > + +
20.1. Classifique cada uma delas
20.2. Diga qual o valor lgico de cada uma das seguintes proposies
a) 0 2 1 x , IR x > + + e
b) x x IR x
2
1
,
2
= e
c) x x IR x
2
1
:
2
= e -
d) x
2
1
x : IR x = e -
2 1

e) 2 3 :
2
= + e - x IR x


21. Utilizando quantificadores traduza cada uma das expresses:
a) Todo o nmero racional real
b) Todos os quadrados so losangos
c) Existe pelo menos um nmero real que no racional
d) H pelo menos um nmero inteiro cujo dobro positivo


6

22. Traduza em linguagem corrente e indique o valor lgico de cada uma das
proposies seguintes:
a) x y x : IR y IR x = + e - e
b) x y x : IR y IR x = + e e -
c) 0 y x : IR y IR x = + e - e


23. Negue cada uma das proposies seguintes (no utilize o smbolo )
a) 3 2 = v > e x IR , x x
b) 7 5 : x x IR x > . > e -
c) 5 1 , x IR x s < e
d) y x x IR y IR x > > e e 2 ,
e) 2 , y x IR y IR x = e e -
f) 1 , , s < e x y x IR y x
g) ( ) 3 5 2 , > v < . > e x x x IR x