CAPTULO 3 - Quantificadores

Paulette

QUANTIFICADORES
1. PRIMEIRO QUANTIFICADOR UNIVERSAL (
Seja a proposio p( x)
inequao temos,

podemos afirmar:
a) Para todo

| 2x 4 0 . Buscando os valores de x

2. Nessas condies o conjunto soluo dado por:

de V ,

b) Qualquer que seja

x V

p( x) verdadeira.
x V , p( x) verdadeira.

p( x) verdadeira ou

que atendem a

| x 2 . Assim

Indicamos esse fato usando a simbologia.

x V : p( x)

: l-se, qualquer que seja, todo, para todo, para cada.

Exemplo 1:
Seja a proposio p( x) dada por p( x) = ( n
)(n 2 1) . A proposio
verdadeira e tem como conjunto verdade V {n
)( x 0} , logo, podemos escrever:

n V

p( x)

p( x) verdadeira

2. SEGUNDO QUANTIFICADOR EXISTENCIAL ( )

Analogamente como fizemos com o primeiro quantificador universal escrevemos:

x V

p( x) verdadeira , o smbolo,

: l-se, existe, algum, existe pelo menos 1.

Quando dizemos Existe um x tal que ... no estamos dizendo que esse x nico, mas podem
ocorrer inmeras solues.
Exemplo 2:
2
Seja a proposio p( x) : Existe um nmero real x tal que x x , em smbolos
( x

|x

x 2 ) . De fato para x

Exemplo 3:
A proposio

p ( x)

| x2

1 1
,
2 2

1
22

1 .
4

4 0 falsa, e podemos escrever

Exemplo 4:
Seja a proposio: No existe aluna feia que estude nesta sala.
Escrevendo de forma equivalente:
Qualquer que seja a aluna desta sala ela no feia.
Escrevendo em smbolos temos:

27

( x

)( x 2

4) .

CAPTULO 3 - Quantificadores

Paulette

A( x) : aluna feia
E( x) : estuda nesta sala.
x A( x) E ( x) ou ( x)( A( x)

E( x))

Exemplo 5:
Seja a proposio: Existe nmero par que no inteiro.
Escrevendo em smbolos temos:
p( x) : nmero par.

i( x) : nmero inteiro.
x p ( x)

i ( x) .

Exemplo 6:
Negue a proposio:
( x
)(2 x x)
Negando:

( x

) 2x

2x

Exemplo 7:
Negue a proposio: Para todos os nmeros naturais
Em smbolos:
( n)(n
)(n 2 4) .
Negando:

, n 2 4) ( n)(n
Existe um n tal que n 2 4.
( n)(n

n , n 2 4.

)(n 2 4) , l-se:

Exemplo 8:
Negue a proposio: Existe um planeta habitvel.
Negando:
Todos os planetas no so habitveis.
Exerccios de aplicao 8:
Escreva as proposies usando os quantificadores.
1) Todo nmero primo inteiro.

28

2x

CAPTULO 3 - Quantificadores

Paulette

2) Existe aluno que no estuda.

3) Ele foi para Botucatu.

4) Todas as moas so bonitas.

5) Nenhuma moa bonita.

6) Algumas moas no so bonitas.

7) Existem moas que so bonitas.

8)Ningum almoou aqui.

29

CAPTULO 3 - Quantificadores

Paulette

9) Negue a sentena:
Existe nmero par que no inteiro.

10) Negue a sentena:

Existe aluno que no estuda.

11) Sejam as proposies:

x nmero natural no nulo.
A( x) : x divisvel por 2.

B( x) : x divisvel por 3.
Traduzir as sentenas.
a)

x A( x)

b)

x A( x)

c)

x A( x)

B( x)

d)

x A( x)

B( x)

30

CAPTULO 3 - Quantificadores

Paulette

12) Sejam as proposies: x nmero natural no nulo.

A( x, y) : x maior que y.
B( x,100) : x maior que 100.
Traduzir as sentenas.

a)

y A( x, y) :

b)

y A( x, y ) :

c)

d)

e)

f)

y A( x, y) :

y A( x, y ) :

x B( x,100) :

B( x,100) :

13) Sejam o universo seres vivos e

A( x) : x velocista.

B( x) : x veloz.
Escreva as proposies na forma de

A( x) e B( x).

a) Todos que so velocistas so velozes.

b) Todos so velocistas e todos so velozes.

c) Existem seres que so velocistas e seres que no so velozes.

d) Existem seres que so velocistas e que so velozes.

31

CAPTULO 3 - Quantificadores

Paulette

14) Negue as proposies.

a)

x2

b)

2 x 5x

3x

7x .

15) Negue as proposies. Sendo A

a)

A x 3 6 .

b)

A x 3 6 .

1,2,3,4 .

16) Negar as proposies. Sendo x nmero real.

a)

x x 2 7

b)

x x2

x x2 1 3 .

x 2x 5 7 .

32