MAT-331: Elementos de Teoria dos Conjuntos

Lista 1
2o Semestre de 2015
Exerccio 1. Identique a hiptese e a tese em cada uma das seguintes armaes:

(a)

Se

(b)

Voc pode trabalhar aqui somente se tiver um diploma universitrio.

(c)

Um carro no anda, sempre que est sem combustvel.

(d)

Eu receberei a bandeirada, se cruzar a linha de chegada primeiro.

(e)

Continuidade uma condio necessria para diferenciabilidade.

(f )

Normalidade condio suciente para regularidade.

(g)

Eu tenho sono na aula das 14h, sempre que almoo no bandejo.

inteiro, ento

(h) f (x) = 5

dado que

Exerccio 2. Sejam

2n

um nmero par.

x > 3.
e

as sentenas  2

< 3

e 0

+ 1 = 1,

respectivamente. Construa

as sentenas:

(a) p q ;

(c) (p q);

(b) p q ;

(d) (p q);

Exerccio 3. Sejam

peq

(e) (p q) (p q).

sentenas quaisquer. Escreva as sentenas abaixo usando apenas

(a) p q ;
Exerccio 4. Sejam

(b) p q ;
peq

(c) p q .

tempo. Escreva uma frmula (usando os conectivos

mas que no podemos ter

p q podemos ter p e q ao mesmo

, e ) que diga que temos p ou q

sentenas. Quando escrevemos

ao mesmo tempo.

Exerccio 5. Escreva a negao de cada uma das seguintes armaes:

(a)

Para todo nmero

(b) f

maior ou igual a zero,

contnua em todos os pontos.

|x| = x.

(c)

Existe um ponto onde

(d)

Existe um elemento neutro com relao a adio.

(e)

Por quaisquer dois pontos passa uma reta.

(f )

Por quaisquer dois pontos passa uma nica reta.

(g)

Todas as cadeiras tm quatro pernas.

(h)

Todo jogador de futebol inteligente.

contnua.

(i) x > 1 (f (x) = 3).

(n) xy (x + y = 8).

(j) x > 1 (0 < f (x) < 4).

(o) xy (x < y y < x).

(k) x A (f (x) > x).

(p) xy (y < x).

(l) y 2 (f (y) < 2

ou

g(y) 7).

(q) xy (x < y).

(m) x A y B (x < y < 1).

(r) xyz (x + y + z xyz).

Exerccio 6. Para cada armao abaixo,

somente simbologia lgica (,

mesma simbologia.

, ,

etc);

(i) reescreva a condio

(ii) escreva a negao da

da denio usando
parte

(i)

usando da

No necessrio entender precisamente o que cada termo

diz.

(a)

Uma funo

(b)

Uma funo

(c)

Uma funo

par

se, e somente se, para todo

f peridica
f (x + k) = f (x).
f

crescente

x, f (x) = f (x).

se, e somente se, existe um

se, e somente se, para todo

k > 0,

tal que, para todo

e para todo

y,

se

x y,

x,

ento

f (x) f (y).
(d)

Uma funo
se

(e)

x < y,

f: A B
x = y.

injetora

ento

f: AB
f (x) = y .

sobrejetora

Uma funo

A,
(g)

estritamente decrescente
f (x) > f (y).

Uma funo

f (y),
(f )

ento

tal que,

tal

se, e somente se, para todo

em

se, e somente se, para todos

f : D R contnua em c D se, e somente se, para

que, |f (x) f (c)| < , sempre que |x c| < e x D .

Uma funo

> 0,

se, e somente se, para todo

e para todo

em

A,

B,

todo

se

y,

f (x) =
x

existe

 > 0,

em

existe

(h)

f uniformemente contnua num conjunto S se, e somente se, para todo

 > 0, existe > 0, tal que, |f (x)f (y)| < , sempre que x e y esto em S e |xy| < .

(i)

O nmero real

Uma funo

 > 0,

existe

L limite da funo f : D R no ponto c se, e somente se, para

> 0, tal que, |f (x) L| < , sempre que x D e 0 < |x c| < .
2

cada