Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Matemática Discreta
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
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 ;
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
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
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
a) ( p → q) → r
b) ( s → ( p ∧ ¬ r ) ) ∧ ( ( p → ( r ∨ q) ) ∧ s)
3
15. Mostre que:
a) ( p → q ) → ( ¬p ∨ q ) é uma tautologia.
b) ( p ∧ q ) ∧ ¬( p ∨ q ) é uma contradição.
a) C(João)
∀X ∈ T: F(X)
¬
b)
c) ∀X ∈ T: C(X)
d) ∃ X ∈ T: ¬ E(X)
e) ∃ X ∈ T: ¬ C(X)
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
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
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