PROVA P2

MATEMTICA DISCRETA PROF. WALTER

27/11/2009

NOME:_________________________________________N_____________ 1) Seja A 1,2,3 , complete o quadro afirmando se vale o no a propriedade. Relao

= =

Reflexiva Simtrica Transitiva

(1,1),(2,2),(3,3),(1,3),(3,2),(2,3) (1,2),(2,1),(2,3),(3,2),(1,1),(2,2),(3,3)
Transitiva

2) Sejam A

e definida por (a, b) (c, d ) a b c d.

uma relao de

a) Verifique se equivalncia. Reflexiva

Simtrica

b) Caso afirmativo dar trs elementos da classe (3,4)

3)Sejam A

m n

e definida por m.n um nmero par.

uma relao de

Simtrica

Verifique se equivalncia.

Reflexiva

Transitiva

4) Sejam A

1,2,3 e

definida por

= (1,1),(2,2),(3,3),(1,3),(3,1),(2,3) .

a) Definir relao anti-simtrica.

b) Verifique se a relao acima ou no anti-simtrica.

5) Seja A 1,2,3,4,5,6 e B 2,4,5 . Em A consideremos a pr-ordem definida pelo diagrama.

5 6

Determinar i) a) LS(B)= { b) Max(B)={ c) Sup(B)= { d) LI(B)= { c) Min(B) ={ d) Inf(B)= { ii)

} } } } } }

( B, ) parcialmente ordenado?

iii)

( B, ) totalmente ordenado?

6) Negue em linguagem corrente Se domingo ou faz chuva, ento feriado e noite.

PROVA P2 MATEMTICA DISCRETA PROF. WALTER 27/11/2009 NOME:_________________________________________N_____________ 1) Seja A

Relao = =

1,2,3 , complete o quadro afirmando se vale o no a propriedade.

Reflexiva Simtrica Transitiva

(1,1),(2,2),(3,3),(1,2),(2,1) (1,2),(2,1),(2,3),(3,2),(1,1),(2,2),(3,3)
definida por z t. uma relao de Transitiva

2) Sejam A

e ( x, y ) ( z , t ) x y

a) Verifique se equivalncia. Reflexiva

Simtrica

b) Caso afirmativo dar trs elementos da classe (3,2)

3)Sejam e

x y

definida por x. y um nmero par. uma relao de

Simtrica

Verifique se equivalncia.

Reflexiva

Transitiva

4) Sejam A

1,2,3 e

definida por

= (1,1),(2,2),(3,3),(1,3),(3,2),(2,3) .

a) Definir relao anti-simtrica.

b) Verifique se a relao acima ou no anti-simtrica.

5) Seja A

1,2,3,4,5,6,7,8 e

B 2,3,5,8 . Em A consideremos a prordem definida pelo diagrama.

8
7 5

Determinar i) a) LS(B)= { b) Max(B)={ c) Sup(B)= { d) LI(B)= { c) Min(B) ={ d) Inf(B)= { ii)

} } } } } }

3
1

( B, ) parcialmente ordenado?

iii)

( B, ) totalmente ordenado

6) Negue em linguagem corrente Se feriado e noite, ento domingo ou faz chuva.