A1. Elementos Da Teoria Dos Conjuntos, Lgica, Predicados

MATEMTICA 1 Anatolie Sochirca
1

Elementos da teoria dos conjuntos.

Generalidades.

O conjunto definido como uma coleco de objectos claramente distinguveis
uns de outros, chamados elementos, e que pode ser pensado como um todo. No
habitual considerar conceitos mais simples que os de conjunto e elemento de um
conjunto. Conjunto e elemento de um conjunto so termos primitivos que no se
definem.
Exemplos de conjuntos:
Os estudantes do ISEL. Cada estudante elemento do conjunto.
Um sistema de trs equaes com trs incgnitas. Cada equao elemento do
conjunto.
Os nmeros inteiros positivos. Cada nmero elemento do conjunto.
Um conjunto designa-se geralmente por uma letra maiscula com ou sem ndice. Um
elemento do conjunto designa-se por uma letra minscula com ou sem ndice.
A expresso simblica A x significa que x elemento do conjunto A e l-se: x
pertence ao conjunto A. A expresso simblica A x significa que x no elemento
do conjunto A e l-se: x no pertence ao conjunto A.
Um conjunto pode ser descrito em extenso enumerando explicitamente todos os seus
elementos escritos entre chavetas e separados por vrgulas, caso o nmero dos
elementos finito e suficientemente pequeno. Por exemplo o conjunto dos algarismos
(dgitos) da base do sistema decimal de numerao: { } 9 , 8 , 7 , 6 , 5 , 4 , 3 , 2 , 1 , 0
10
= B .
Um conjunto pode ser descrito em compreenso indicando uma propriedade
caracterizadora dos seus elementos, isto , uma propriedade que s os seus elementos
possuam. Por exemplo o conjunto dos nmeros racionais:
)
`
= 0 q e inteiros nmeros q p, :
q
p
Q .
Para designar o conjunto sem elementos (ou conjunto vazio) usa-se o smbolo .
Para designar o conjunto universal (ou universo do discurso) usa-se o smbolo U .
Conjunto universal ou universo de discurso um conjunto constitudo por todos
elementos.
O conjunto universal e o conjunto vazio podem ser definidos por compreenso,
respectivamente, nos seguintes modos:
{ } x x x U = = : , { } x x : x =
Em Matemtica h conjuntos que constituem muito frequentemente o universo de
discurso, sendo conveniente dispor de nomes para eles. Tais conjuntos, dos mais
importantes, so:
{ } real nmero um : x x R =
{ } racional nmero um : x x Q =
{ } inteiro nmero um : x x Z =
{ } { } ,... 3 , 2 , 1 natural nmero um : = = x x N
{ } ,... 3 , 2 , 1 , 0
0
= N
{ } { } R b a bi a x x x C + = = = , : complexo nmero um :
Para um conjunto finito A por ) ( A card designa-se o nmero dos elementos dele.
2
Quando um conjunto infinito, impossvel defini-lo por extenso. Por vezes para
definir certos conjuntos infinitos usada uma notao parecida com a definio de um
conjunto por extenso, assim como temos para N e
0
N .

Definio1. Dois conjuntos A e B so iguais se so constitudos por mesmos
elementos e escreve-se B A = .
De acordo com a definio temos que
{ } { } 6 , 5 , 4 , 3 , 2 , 1 6 , 6 , 5 , 4 , 3 , 3 , 3 , 2 , 1 = .
Se um conjunto A for igual a um conjunto B escreve-se B A = . Para verificar se
dois conjuntos so iguais basta verificar se todo o elemento de A elemento de B e se
todo o elemento de B elemento de A.
Definio2. Se todo o elemento de A for tambm elemento de B (independentemente
do facto de todo o elemento de B poder ser ou no elemento de A) dir-se- que o
conjunto A est contido (includo) no conjunto B , que se denota por B A .
Neste caso tambm se diz que A subconjunto de B . Se os conjuntos A e B forem
iguais ento ter-se- B A e, simultaneamente, A B ; reciprocamente, se B A e
A B se verificarem simultaneamente ento tem-se B A = . Se for B A e B A
dir-se- que A um subconjunto prprio ou uma parte prpria de B e escreve-se
B A .
De acordo com estas definies resulta que para quaisquer conjuntos A e B se
verifica
. e se s e se
,
,
A B B A B A
A A
A
=

Operaes com conjuntos

Definio3. Sendo A e B dois conjuntos, chama-se unio (ou reunio) de A
com B e denota-se B AU , o conjunto constitudo por todos elementos de A e B .
Mais geralmente se
n
A A A A ,..., , ,
3 2 1
so conjuntos, ento
n
n
i
i
A A A A A U U U U
U
...
3 2 1
1 =
=
o conjunto constitudo pelos elementos que pertencem pelo menos a um dos conjuntos
n
A A A A ,..., , ,
3 2 1
.
Simbolicamente esta definio escreve-se
{ } n i A x x A
i
n
i
i
,..., 2 , 1 algum para , :
1
= =
=
U
.

Definio4. Sendo A e B dois conjuntos, chama-se interseco de A com B e
denota-se B AI , o conjunto constitudo por elementos que pertencem
simultaneamente a ambos conjuntos A e B .
Mais geralmente se
n
A A A A ,..., , ,
3 2 1
so conjuntos, ento
n
n
i
i
A A A A A I I I I
I
...
3 2 1
1
=
=

3
o conjunto constitudo pelos elementos que pertencem simultaneamente a todos
conjuntos
n
A A A A ,..., , ,
3 2 1
.
Simbolicamente esta definio escreve-se
{ } n i A x x A
i
n
i
i
,..., 2 , 1 todo para , :
1
= =
=
I
.
As definies de unio e de interseco de conjuntos estendem-se s famlias infinitas
de conjuntos. Assim, sendo { }
A uma famlia infinita de conjuntos definimos:

{ } I A x x A
I i
=

algum para , :
U
,
{ } I A x x A
I
=
todo para , :
I
,
onde I e um conjunto infinito de ndices.
Definio5. Dois conjuntos A e B dizem-se disjuntos se e s se = B AI ,
isto , se no possurem elementos comuns.
Definio6. A diferena de A e B o conjunto, designado por B A\ , constitudo
pelos elementos de A que no so elementos de B , isto ,
{ } B x A x x B A = e : \ .
Se, em particular, U A = , isto , A o universo de discurso, ento o conjunto
{ } B x x B U = : \ chama-se conjunto complementar de B e denota-se por
c
B (ou B ).
Definio7. A diferena simtrica de A e B o conjunto, designado por B A ,
constitudo pelos elementos de A que no so elementos de B e pelos elementos de B
que no so elementos de A, isto ,
) \ ( ) \ ( A B B A B A U = .
As operaes com conjuntos podem ser representadas atravs de diagramas de
Venn, que permitem visualizar e conjecturar muitos resultados sobre conjuntos.

Nos diagramas de Venn o conjunto universal representado pelo interior de um
rectngulo no qual so representados por crculos os vrios conjuntos com os quais se
est a operar. Assim, por exemplo, na figura temos o diagrama de Venn com trs
conjuntos A, B e C .

Propriedades das operaes com conjuntos.

4
Sendo A, B e C conjuntos de um universo U , para as operaes definidas,
podem ser demonstradas as seguintes propriedades.

1 Idempotncia da unio e da interseco.
A A A b
A A A a
=
=
I
U
)
, )

2 Comutatividade da unio, interseco e diferena simtrica.
. )
, )
, )
A B B A c
A B B A b
A B B A a
=
=
=
I I
U U

3 Associatividade da unio, interseco e diferena simtrica.
). (B ) ( )
), ( ) ( )
), ( ) ( )
C A C B A c
C B A C B A b
C B A C B A a
=
=
=
I I I I
U U U U

4 Distributividade.
Distributividade da unio em relao interseco;
), ( ) ( ) ( ) C A B A C B A a U I U I U =

Distributividade da interseco em relao unio;
), ( ) ( ) ( ) C A B A C B A b I U I U I =

Distributividade da interseco em relao diferena simtrica
. ) ( ) ( ) (B ) C A B A C A c I I I =

5 6 7
. )
, )
, )
A A c
A b
A A a
=
=
=
I
U

. )
, )
, )
A U A c
A U A b
U U A a
=
=
=
I
U

, ) A A a =

8 9
. )
, )
, )
U A A c
A A b
U A A a
=
=
=
I
U
, )
, )
U b
U a
=
=

10
=
=
=
=
N k k n A
k n
A A A A b
A A a
n
, 1 2 com ,
2 com ,
... )
, )
4 4 4 3 4 4 4 2 1

5
11
=
=
=
=
. )
, )
, )

C B A c
A C B b
B C A a
C B A
12 As frmulas de Morgan.

. )
, )
B A B A b
B A B A a
U I
I U
=
=

13 Lei da aglutinao.

. ) ( ) ( )
, ) ( ) ( )
A B A B A b
A B A B A a
=
=
U I U
I U I

14 Lei da absoro.
. ) ( )
, ) ( )
A B A A b
A B A A a
=
=
U I
I U

Produto cartesiano de dois conjuntos.

Sejam A e B dois conjuntos do universo U .

Definio 8. O conjunto de todos pares ordenados ) , ( b a , onde A a e B b
chama-se produto cartesiano dos conjuntos A e B , e denota-se por B A .
Simbolicamente
{ } B b A a b a B A = , : ) , (

Analogamente se define o produto cartesiano de n conjuntos
n
A A A ,..., ,
2 1
.
Definio 9. O conjunto de todos n-uplos ordenados ) ,..., , (
2 1 n
a a a , onde
i i
A a com n i ,..., 2 , 1 = e 2 n chama-se produto cartesiano dos conjuntos
n
A A A ,..., ,
2 1
, e denota-se por
n
A A A ...
2 1
.
Simbolicamente
{ } 2 ; ,..., 2 , 1 , : ) ,..., , ( ...
2 1 2 1
= = n n i A a a a a A A A
i i n n

Se A A A A
n
= = = = ...
2 1
ento temos
4 43 4 42 1
factores n
n
A A A A

... = .

Conjuntos finitos e infinitos. Cardinal de um conjunto.

Definio 10. Um conjunto diz-se finito se for possvel contar o nmero dos seus
elementos, isto , se for o conjunto vazio ou se for possvel estabelecer uma
correspondncia unvoca entre os seus elementos e os elementos de um conjunto de
forma { } n ,..., 3 , 2 , 1 para algum . N n
Um conjunto diz-se infinito se no finito.

6
Exemplos:
Conjuntos finitos:
{ } 100 : < = x N x A , { } 0 11 3 7 ) 2 ( 4 5 :
2 3 4
= + = x x x x R x B .
Conjuntos infinitos:
{ } 10000 : > = x N x D , A N E \ = , N Q F \ = .
O nmero de elementos dum conjunto finito A diz-se cardinal do conjunto e denota-
se por ) por (ou ) ( A A card .
Mesma definio e designao utilizada e para os conjuntos infinitos.
Para conjuntos finitos facilmente obtemos as seguintes propriedades do cardinal:
1 Se A e B so conjuntos finitos , ento
+
= +
=
. se ,
; se ,
B A B A B A
B A B A
B A
I I
I
U
2 Aplicando a relao para cardinal de dois conjuntos facilmente se demonstra que
para n conjuntos ) 2 ( n temos:
(3) ) 1 ( ... ...
1
4 3 2 1 2 1 n
n
n
A A A

+ + + = U U U
com
; ...
2 1 1 n
A A A + + + =
; ... ...
1 4 2 3 2 1 3 1 2 1 2 n n n
A A A A A A A A A A A A I I I I I I

+ + + + + + + =
; ...
...
1 2 5 3 2
4 3 2 2 1 4 2 1 3 2 1 3
n n n
n
A A A A A A
A A A A A A A A A A A A
I I I I
I I I I I I I I

+ + +
+ + + + + =

--------------------------------------------------
. ...
1 2 3 2 1 n n n n
A A A A A A I I I I I I

=

ELEMENTOS DA LGICA MATEMTICA.

Lgica proposicional.

Em lgica matemtica, termos so entidades sobre as quais se produzem
afirmaes, e proposies so as afirmaes produzidas. As proposies podem ser
verdadeiras ou falsas, mas nunca ambas as coisas.
Exemplos de termos so:
1. 4
2. 2
3. Lisboa
4. nmero primo
Exemplos de proposies so:
1. Lisboa a capital de Itlia
2. 3 < 56
3. 4 nmero primo
Por conveno, utilizamos as letras minsculas p, q, r, s,..., para denotar as
proposies; Quando a proposio verdadeira diz-se que tem o valor lgico verdade,
V ou 1.
Quando uma proposio falsa diz-se que tem o valor lgico falso, F ou 0;
O conjunto de valores lgicos designam-se por L
7
L = {V, F} ou L = {0,1};
A lgica que vamos estudar s tem dois valores lgicos e chama-se lgica bivalente. Na
lgica bivalente usam-se dois princpios lgicos:
Princpio de no contradio - Uma proposio no pode ser simultaneamente
verdadeira e falsa;
Princpio do terceiro excludo - Uma proposio ou verdadeira ou falsa.

Uma proposio pode ser simples (tambm denominada atmica) ou composta
(tambm denominada molecular). As proposies simples apresentam apenas uma
afirmao.
p: eu sou estudioso
q: Maria bonita
r: 2 + 3 >4
As proposies compostas apresentam mais de uma proposio simples.
s: Paulo estudioso e Maria bonita.
A proposio s a composta das proposies simples p: Paulo estudioso e q: Maria
bonita.
s: a > b se e s se b < a.
A proposio s a composta das proposies simples p: a > b e q: b < a.
Dizer que uma afirmao (proposio) verdadeira assevera que a afirmao
correta e merece confiana.

Operaes lgicas e suas tabelas de verdade.

1. Negao
- operao que a uma proposio faz corresponder outra, a sua negao,
com o valor lgico contrrio. O sinal operatrio o smbolo "~" ou "" que se
deve ler "no" ou "no verdade que". Se uma proposio for representada por
p, a sua negao representa-se por ~ p ou p.
Exemplos:
1. p: 5 > 2; p: (5 > 2) 5 2
2. q: Hoje Sbado; q: Hoje no Sbado

Tabelas de verdade nos conjuntos L = {V, F} ou L= {0,1}:

ou

2. Conjuno
- operao que a duas proposies, os dados, faz corresponder outra, a
sua conjuno. O resultado s verdadeiro se ambas as proposies forem
verdadeiras. O sinal operatrio o smbolo " " que se deve ler "e" no sentido
de "e tambm". Se p e q forem duas proposies, a sua conjuno representa-se
por p q.
Exemplo:
p : o Rui estuda no ISEL
q : o Rui tem 20 anos
p

p

V
F
F
V
p

p
1
0
0
1
8
p q : o Rui estuda no ISEL e tem (o Rui) 20 anos.
Tabela de verdade no conjunto L = {V, F}

p

q

p q

V
V
F
F
V
F
V
F
V
F
F
F

Iremos ver que muitas das propriedades da conjuno so anlogas s da
multiplicao entre nmeros, pelo que a conjuno tambm se chama produto lgico e
pode ser representado pelo sinal , como se indica na Tabela de verdade no conjunto
L = {0,1}:
p q pq
1
1
0
0
1
0
1
0
1
0
0
0

3. Disjuno (disjuno inclusiva)
- operao que a duas proposies, os dados, faz corresponder a sua
disjuno. O resultado da disjuno falso se e s se ambos os dados o forem.
O sinal operatrio o smbolo " " que se deve ler "ou" no sentido de " uma ou
outra ou ambas". Se p e q forem duas proposies, a sua disjuno representa-
se por p q.
Exemplo:
p: o Rui pai
q: o Rui mdico
p q: o Rui pai ou mdico (ou a ambos).
Tabela de verdade no conjunto L = {V, F}

p

q

p q

V
V
F
F
V
F
V
F
V
V
V
F

Iremos ver que muitas das propriedades da disjuno so anlogas s da adio
entre nmeros, pelo que a disjuno tambm se chama soma lgica e pode ser
representada pelo sinal + .

4. Disjuno exclusiva
- operao que a duas proposies, os dados, faz corresponder outra, a
sua disjuno exclusiva. O resultado da disjuno exclusiva verdadeiro se
um, e s um, dos dados o for.
O sinal operatrio o smbolo " ou & " que se deve ler " ou com excluso' no
sentido de " uma ou outra mas no ambas ". Se p e q forem duas proposies, a sua
disjuno exclusiva representa-se por p q ou p& q.
Exemplo:
p : o Rui vive em Lisboa
9
q : o Rui vive no Porto
p & q : o Rui vive em Lisboa ou no Porto (mas no em ambos os stios).

Tabelas de verdade da disjuno exclusiva nos conjuntos L = {V, F} ou L= {1, 0}

5. A implicao p q
uma operao que falsa quando p verdadeira e q falsa e
verdadeira nos restantes casos. Nesta implicao p recebe o nome de hiptese
(antecedente ou premissa) e q chama-se tese (concluso ou consequente). A
implicao s vezes recebe o nome de declarao condicional.
O sinal operatrio o smbolo que se deve ler ''implica" ou "se . .. ento ...". Se p
e q forem duas proposies, por p q significa que p implica materialmente q.
Exemplo:
p : o Rui compra bilhetes para o cinema;
q : o Rui vai cinema;
p q : Se o Rui compra bilhetes para o cinema ento vai ao cinema.
Tabelas de verdade da implicao nos conjuntos L = {V, F} ou L= {1, 0}

6. A implicao bi-condicional ou bi-impicao p q
uma proposio que verdadeira quando p e q tm os mesmos valores
lgicos e falsa nos outros casos.
"p q" que se deve ler-se " p condio necessria e suficiente para q", "p
se e s se (sse) q" ou "se p, ento q, e reciprocamente".

Exemplos:
1. 3 >2 2
3
= 8 uma proposio verdadeira;
2. (-2)
2
= 2
2
2 = 2 uma proposio falsa.
O smbolo um amlgama dos smbolos e .

Tabelas de verdade da bi-implicao nos conjuntos L = {V, F} ou L= {1, 0}

p

q

p q

1
1
0
0
1
0
1
0
0
1
1
0
p

q

p q

V
V
F
F
V
F
V
F
F
V
V
F
p

q

p q

1
1
0
0
1
0
1
0
1
0
1
1
p

q

p q

V
V
F
F
V
F
V
F
V
F
V
V
p

q

p q

1
1
0
0
1
0
1
0
1
0
0
1
p

q

p q

V
V
F
F
V
F
V
F
V
F
F
V
10
Lgica dos predicados (Lgica com quantificadores)

Predicados

Vamos considerar as afirmaes:
0. 6 7x x
primo; nmero
2
= + +
x

Estas afirmaes tm forma de proposies, mas no so assim por causa das
variveis que intervm nelas. Uma afirmao desta forma para alguns valores da
varivel do universo considerado U pode ser verdadeira e para outros pode ser falsa,
e portanto no podemos atribuir ela um valor lgico (verdade, falso). Tais afirmaes
so denominadas predicados.
Predicado no qual intervem uma varivel diz-se predicado monrio (unrio) e
denota-se, genericamente, por ) (x P , obtendo-se uma expresso de uma varivel x .
Por exemplo:
. 1 ) ( 1 : ) (
; 12 7 x : Q(x)
par; nmero : ) (

= +
x sen x S
x x P

Predicado no qual intervm duas variveis diz-se predicado binrio e denota-se,
genericamente, por ) , ( y x P .
Por exemplo:
; 4 : ) , (
2 2
= + y x y x P
Predicado no qual intervm n variveis diz-se predicado n -rio e denota-se,
genericamente, por ) , ,..., , (
1 2 1 n n
x x x x P

.
Por exemplo:
. 1 ... : ) ,..., , (
; 4 : ) , , (
2 2
2
2
1 2 1
2 2 2
= + + +
= + +
n n
x x x x x x N
z y x z y x R

As variveis que intervm num predicado so denominadas variveis livres.
Um predicado transforma-se em proposio quando so atribudos valores as todas
variveis que nele intervm. Por exemplo,
12 7 3 : Q(3) = +
uma proposio falsa, mas
12 7 5 : Q(5) = +
uma proposio verdadeira.
Deste modo a um predicado podemos associar um conjunto de valores das
variveis para os quais a proposio obtida tem o valor lgico verdade. Neste sentido
escrevemos
{ }
{ } ) ,..., , ( : ) ,..., , (
) ( :
2 1 2 1 n n
x x x N x x x B
x P x A
=
=

{ }
{ } ) ,..., , ( : ) ,..., , ( ou
) ( : ou
2 1 2 1 n n
x x x N U x x x B
x P U x A
=
=

Notemos que, dado um conjunto A qualquer, sempre possvel definir uma
afirmao (expresso ou frmula com variveis livres) (isto , um predicado) que tem
A por conjunto de verdade. Designando A x x P
A
: ) ( temos { } ) ( : x P x A
A
= .

11
Conjuntos de verdade e conectivos lgicos.

Consideremos que A conjunto de verdade de um predicado ) (x P e B conjunto
de verdade de um predicado ) (x Q , isto ,
{ }
{ }. ) ( :
, ) ( :
x Q U x B
x P U x A
=
=

Conjuno de predicados

O conjunto de verdade do predicado
)) ( ) ( ( : ) ( ou )) ( e ) ( ( : ) ( x Q x P x I x Q x P x I
tal que
{ } { } . : ) ( ) ( : B A B x A x U x x Q x P U x I = =
Portanto conjuno de predicados corresponde a interseco dos seus
conjuntos de verdade.

Disjuno de predicados

O conjunto de verdade do predicado
)) ( ) ( ( : ) ( ou )) ( ou ) ( ( : ) ( x Q x P x D x Q x P x D
tal que
{ } { } . : ) ( ) ( : B A B x A x U x x Q x P U x U = =
Portanto disjuno de predicados corresponde a unio dos seus conjuntos de
verdade.

Negao de um predicado

De um modo semelhante obteremos que
{ }
{ } . ) ( :
, ) ( :
B B x Q U x
A A x P U x
C
C
= =
= =

Portanto negao de um predicado corresponde a complementar do seu conjunto
de verdade.

Por exemplo, considerando:
; 10 2 : ) ( x x P
. 15 8 : ) ( x x Q
Ento

{ } [ ]
{ } [ ] 15 , 8 ) ( :
10 , 2 ) ( :
= =
= =
x Q R x B
x P R x A

Portanto
{ } { }
{ } { } [ ] [ ] [ ] 8,10 8,15 10 , 2 ) ( : ) ( :
) ( ) ( : ) ( :
= = = =
= = =
I I I B A x Q R x x P R x
x Q x P R x x I R x C

e
{ } { }
{ } { } [ ] [ ] [ ] 2,15 8,15 10 , 2 ) ( : ) ( :
) ( ) ( : ) ( :
= = = =
= = =
U U U B A x Q R x x P R x
x Q x P R x x I R x D

12

Implicao Formal de predicados

Diz-se que ) (x P implica formalmente ) (x Q , e escreve-se ) ( ) ( x Q x P , se
sempre que se verifica ) (x P tambm se verifica ) (x Q , isto , para qualquer
concretizao da varivel x obtm-se sempre uma implicao material (implicao de
proposies) verdadeira, ou que significa, que o conjunto de verdade do predicado
) (x P subconjunto do conjunto de verdade do predicado ) (x Q , isto , B A .
Daqui temos as propriedades:
a) Porque uma implicao formal, para cada concretizao das variveis que
intervm nos predicados, se transforma numa implicao material, resulta que
) ( ) ( x Q x P corresponde B A e portanto temos
{ } { }
{ } , :
) ( ) ( : ) ( ) ( :
U B A B x A x U x
x Q x P U x x Q x P U x
C C
= = =
= =
U

isto , ) ( ) ( x Q x P universal em universo considerado.
b) De um modo anlogo temos
=

,
, ) ( \ \
) ( )) ( ) ( (
B A
B A A B A
B A x Q x P
I
I

e portanto
) ( ) ( )) ( ) ( ( )) ( ) ( (
C
B A x Q x P x Q x P x Q x P I ,
isto existe pelo menos um x para o qual ) ( ) ( x Q x P verdadeira.
c) ) ( ) ( ) ( ) ( x P x Q x Q x P
e portanto

C C
A B B A .
d) ) ( ) ( resulta )) ( ) ( ( )) ( ) ( ( da Porque x R x P x R x Q x Q x P
temos que da D A D B B A resulta ) ( ) ( .

Exemplos:

1) 16 4
2
x x , implicao verdadeira em R .
2)
2
1
2
1
6 6
senx x

, implicao verdadeira em R .
3)
3 3 2
1
cos

x x , implicao falsa em R porque o conjunto de verdade
do predicado
2
1
cos x
)
`
+ + Z k k x k R x , 2
3
2
3
:

Nota.
Se ) ( ) ( x Q x P uma implicao formal verdadeira num universo U ento diz-
se:
) (x P condio suficiente para ) (x Q , isto , quando ) (x P se verifica, ) (x Q se
verifica tambm.
) (x Q condio necessria para ) (x P , isto , quando ) (x Q no se verifica,
) (x P no se verifica tambm (propriedade c) ) ( ) ( ) ( ) ( x P x Q x Q x P ).

13
Equivalncia Formal de predicados

Os predicados ) (x P e ) (x Q dizem-se formalmente equivalentes, e designa-se
) ( ) ( x Q x P , se os conjuntos de verdade deles so iguais ( B A = ).
Como
) ( ) ( ) ( A B B A B A =
conclumos que
)) ( ) ( ( )) ( ) ( ( )) ( ) ( ( x P x Q x Q x P x Q x P .
Da relao obtida resulta: Se a equivalncia formal, ) ( ) ( x Q x P , verdadeira,
ento ) (x P condio necessria e suficiente para ) (x Q e ) (x Q condio
necessria e suficiente para ) (x P .

Quantificadores

Quantificador universal

Para alguns predicados o conjunto de verdade pode ser igual ao universo
considerado. Por exemplo, no universo R U = , o predicado 1 ) ( 1 : ) ( x sen x S tem
sempre o valor lgico verdade e este facto ns permite dizer que para qualquer valor de
R x verdadeiro o predicado ) (x S . Ento escrevemos: ) ( x S x ou
[ ] ) ( x S R x x , onde o smbolo , chama-se quantificador universal e l-se
para qualquer x , ou para qualquer que seja x ou para todo o x .
No caso geral, para um predicado genrico ) (x P no universo U , a representao
simblica
(2.2.1) ) ( x P x
l-se
para qualquer x , ) (x P , ou para qualquer que seja x , ) (x P
ou para todo o x , ) (x P ``.

A expresso (2.2.1) diz que ) (x P se verifica para todo o elemento x do universo U ,
isto , ) (x P se verifica universalmente. Portanto a expresso (2.2.1) equivalente ao
seguinte
[ ] ) ( x P U x x .
A quantificao universal pode ser feita apenas sobre uma parte do universo U .
Assim, se D um subconjunto prprio de U e ) (x P um predicado ento
) ( x P D x ou [ ] ) ( x P D x x (2.2.2)
afirma que ) (x P se verifica para qualquer D x .
Considerando { }
n
d d d d D ,..., , ,
3 2 1
= , isto , D conjunto finito, a expresso
(2.2.2) equivalente conjuno
) ( ... ) ( ) ( ) (
3 2 1 n
d P d P d P d P (2.2.3)
o que mostra que (2.2.2) no tem variveis livres e portanto uma proposio da
lgica proposicional. Em concluso podemos dizer que:
14
Um predicado unrio quantificado como quantificador universal no tem a varivel
livre. A varivel esta ligada ao quantificador, isto , aparentemente livre (ou muda).
De (2.2.3) resulta que o quantificador universal transforma um predicado (uma
condio) universal de uma varivel (predicado unrio) numa proposio verdadeira.
Da veridicidade de ) ( x P x resulta que ) (d P tem valor lgico verdade para todo
o d do universo.
Da veridicidade de ) (d P para todo o d do universo resulta a veridicidade de
) ( x P x .
O mesmo significado pode ser dado ao quantificador universal e no caso quando
universo D um conjunto infinito.
O valor lgico de um predicado quantificado com quantificador universal depende
de universo considerado.
Por exemplo, 0 x
2
x , tem valor lgico verdade no universo R (conjunto dos
nmeros reais) e tem valor lgico falso no universo C (conjunto dos nmeros
complexos).

Quantificador existencial

Para indicar que o predicado ) (x P se verifica pelo menos para um valor de x do
universo considerado, escrevemos
(2.2.4) ) ( x P x
e lemos
existe pelo menos um x tal que ) (x P ``.
O smbolo denominado quantificador existencial.
A expresso (2.2.4) diz que ) (x P se verifica pelo menos para um elemento x do
universo U , isto , a expresso (2.2.4) uma abreviatura de
[ ] (2.2.5) . ) ( x P U x x
A quantificao existencial pode ser feita apenas sobre uma parte do universo U .
Assim, se D um subconjunto prprio de U e ) (x P um predicado ento
) ( x P D x ou [ ] ) ( x P D x x (2.2.6)
afirma que ) (x P se verifica pelo menos para um D x .
Considerando { }
n
d d d d D ,..., , ,
3 2 1
= , isto , D conjunto finito, a expresso
(2.2.6) equivalente disjuno
) ( ... ) ( ) ( ) (
3 2 1 n
d P d P d P d P (2.2.7)
o que mostra que (2.2.6) no tem variveis livres e portanto uma proposio da
lgica proposicional. Em concluso podemos dizer que:
Um predicado unrio quantificado como quantificador existencial no tem a
varivel livre. A varivel esta ligada ao quantificador, isto , aparentemente livre (ou
muda).
De (2.2.7) resulta que o quantificador existencial transforma um predicado
possvel (condio possvel ) de uma varivel (predicado unrio) numa proposio
verdadeira.
Da veridicidade de ) ( x P x resulta que ) (d P tem valor lgico verdade pelo menos
para um d do universo.
Da veridicidade de ) (d P pelo menos para um d do universo resulta a veridicidade
de ) ( x P x .
15
O mesmo significado pode ser dado ao quantificador existencial e no caso quando
universo D um conjunto infinito.
O valor lgico de um predicado quantificado com quantificador existencial depende
de universo considerado.
Por exemplo, 2 x
2
= x , tem valor lgico verdade no universo R (conjunto dos
nmeros reais) e tem valor lgico falso no universo Q (conjunto dos nmeros
racionais)
Do que foi dito acima obtemos os seguintes critrios:

1) Concretizao universal.
Da veridicidade de ) ( x P x resulta veridicidade de ) (d P para todo o d do universo.

2) Generalizao universal.
Se para qualquer d do universo temos ) (d P verdadeiro, ento conclumos que
) ( x P x tem valor lgico verdade.
3) Concretizao existencial.
Da veridicidade de ) ( x P x resulta veridicidade de ) (d P pelo menos para um d do
universo.
4) Generalizao existencial.
Da existncia de um d concreto no universo tal que ) (d P verdadeiro conclumos o
que o predicado quantificado ) ( x P x tem valor lgico verdade.
Na base destes critrios podemos demonstrar as seguintes afirmaes.
Teorema 2.1 Se ) (x P e ) (x Q so predicados no mesmo universo ento:
a) ); ( ) ( )) ( ) ( ( x xQ x P x x Q x P x
b) ); ( ) ( )) ( ) ( ( x Q x x P x x Q x P x
c) De ) ( ) ( x xQ x P x resulta )) ( ) ( ( x Q x P x ;
d) De )) ( ) ( ( x Q x P x resulta ) ( ) ( x Q x x P x .

Quantificao mltipla

Os predicados n -rios tm duas o mais variveis.
Quantificao mltipla consiste em quantificar um predicado n -rio com n
quantificadores.
Considerando como exemplo o predicado binrio 4 : ) , (
2 2
= + y x y x P temos que
as proposies ) 2 , 0 ( P e ) 0 , 2 ( P so verdadeiras e podemos escrever ) , ( y x P y x
(lemos existe pelo menos um x e existe pelo menos um y tais que ) , ( y x P ``).
Recordamos que um predicado se transforma numa proposio se s variveis so
atribudos valores concretos ou as variveis so ligadas aos quantificadores.
Por exemplo para o predicado
4 : ) , , (
2 2 2
= + + z y x z y x R
temos que:
) , , ( z y x R z y x uma proposio, porque as variveis esto ligadas aos
quantificadores;
) , , ( z y x R y x no proposio porque a varivel z no est ligada ao
quantificador e no tem atribudo um valor concreto;
16
) 1 , , ( y x R y x uma proposio, porque as variveis x e y esto ligadas aos
quantificadores e 1 = z .

Exemplo 2.2.
Para o predicado 4 : ) , ( = + y x y x P consideremos as seguintes proposies:
4 = + y x y x e 4 = + y x x y
onde o domnio de quantificao o conjunto dos nmeros reais.
Primeira proposio diz que
para todo o nmero real x existe um nmero real y tal que 4 = + y x
e proposio verdadeira (sendo R x x y = cada para 4 .
Segunda proposio diz que
existe um nmero real y tal que para todo o nmero real x se tem 4 = + y x
e proposio falsa, pois no existe nenhum nmero real y , sempre o mesmo, para o
qual todo o nmero real x satisfaz a equao 4 = + y x .
Este exemplo ilustra a no comutatividade dos dois quantificadores de tipos
diferentes, isto , as proposies obtidas podem ter valores lgicos distintos.
Para a quantificao mltipla temos as seguintes propriedades:
a) ) , ( , ) , ( ) , ( y x P y x y x P x y y x P y x = = ;
b) ) , ( , ) , ( ) , ( y x P y x y x P x y y x P y x = = ;
c) ) , ( ) , ( y x P x y y x P y x .
Nota (regras de leitura)
) , ( y x P y x para qualquer x existe y (que pode variar com x ) tais que ). , ( y x P
) , ( y x P x y existe y , sempre o mesmo, que para todo x ). , ( y x P

Negao de proposies quantificadas

Dadas duas proposies genricas pelos predicados quantificados ) (x P e ) (x Q , isto
,
[ ] ) ( x P U x x e [ ] ) ( x Q U x x
pode ser necessrio analisar, logicamente, as proposies
[ ]) ) ( ( x P U x x e [ ]) ) ( ( x Q U x x .
Analisemos separadamente cada proposio.
1) A proposio [ ] ) ( x P U x x tem valor lgico verdade se o predicado ) (x P
verdadeiro para todo x . Portanto a proposio [ ] ) ( x P U x x tem valor
lgico falso se existir pelo menos um valor de x no universo U tal que no verifica
) (x P , isto , se existir pelo menos um valor de x no universo U tal que teramos
) (x P , que na forma simblica escreve-se: [ ] ) ( x P U x x .
2) A proposio [ ] ) ( x Q U x x tem valor lgico verdade se o predicado ) (x Q
verdadeiro pelo menos para um valor de x do universo U . Portanto a proposio
[ ] ) ( x Q U x x tem valor lgico falso se nenhum valor de x no universo U
verifica ) (x Q , isto , se para todo x do universo U teramos ) (x Q , que na forma
simblica escreve-se: [ ] ) ( x Q U x x .
Fazendo nos raciocnios relativos a primeira proposio ) ( ) ( x Q x P = temos:
17
3) A proposio [ ] ) ( x Q U x x tem valor lgico verdade se o predicado
) (x Q verdadeiro para todo x . Portanto a proposio [ ] ) ( x Q U x x tem
valor lgico falso se existir pelo menos um valor de x no universo U tal que no
verifica ) (x Q , isto , se existir pelo menos um valor de x no universo U tal que
teramos )) ( ( x Q , que na forma simblica escreve-se:
[ ] [ ] ) ( )) ( ( x Q U x x x Q U x x .
Fazendo nos raciocnios relativos a segunda proposio ) ( ) ( x P x Q = temos:
4) A proposio [ ] ) ( x P U x x tem valor lgico verdade se o predicado
) (x P verdadeiro pelo menos para um valor de x do universo U . Portanto a
proposio [ ] ) ( x P U x x tem valor lgico falso se nenhum valor de x no
universo U verifica ) (x P , isto , se para todo x do universo U teramos )) ( ( x P ,
que na forma simblica escreve-se: [ ] [ ] ) ( )) ( ( x P U x x x P U x x .
De 1) e 4) vem
[ ] [ ] (2.2.8) ) ( ) ) ( ( x P U x x x P U x x .
De 2) e 3) vem
[ ] [ ] (2.2.9) ) ( ) ) ( ( x Q U x x x Q U x x
As frmulas (2.2.8) e (2.2.9) so conhecidas por Segundas Leis de Morgan.

Consideremos um predicado n -rio ) ,..., , (
2 1 n
x x x P quantificado com n
quantificadores e denotemos um quantificador genrico por n i Q
i
,..., 2 , 1 , = . Portanto
) ,..., , ( : ...
2 1 2 2 1 1 n n n
x x x P x Q x Q x Q
uma proposio.
Nesta proposio dois quantificadores de mesma espcie so sempre comutativos
enquanto dois quantificadores de espcie diferente so geralmente no comutativos,
isto , a sua permuta conduz proposies de contedo distinto.
Por exemplo:
. ) , , , ( :
) , , , ( :
) , , , ( :
) , , , ( :
6 5 4 3 2 1 4 5 6 3 2 1
6 5 4 3 2 1 6 2 4 3 5 1
6 5 4 3 2 1 6 5 1 3 2 4
6 5 4 3 2 1 6 5 4 3 2 1
x x x x x x P x x x x x x

negao de um predicado n -rio ) ,..., , (
2 1 n
x x x P quantificado com n
quantificadores cada quantificador universal substituem-se por um quantificador
existencial e cada quantificador existencial substituem-se por um quantificador
universal.
Por exemplo:

( ) ) , , , ( : ) , , , ( :
6 5 4 3 2 1 6 5 4 3 2 1 6 5 4 3 2 1 6 5 4 3 2 1
x x x x x x P x x x x x x x x x x x x P x x x x x x

18
Frmulas algbricas, transformao das expresses algbricas

) )( (
2 2
b a b a b a + = ;

2 2 2
2 ) )( ( ) ( b ab a b a b a b a + = = ;
2 2 2
2 ) )( ( ) ( b ab a b a b a b a + + = + + = + ;

3 2 2 3 3
3 3 ) ( b ab b a a b a + = ;
3 2 2 3 3
3 3 ) ( b ab b a a b a + + + = + ;

) )( (
2 2 3 3
b ab a b a b a + + = ; ) )( (
2 2 3 3
b ab a b a b a + + = + .

; ) (
0 1 1 2 2 2 2 2 2 1 1 n
n
n
n
n
n
n n
n
n n
n
n n
n
n
b C ab C b a C b a C b a C a C b a + + + + + + = +

L

1 ! 0 , ) 1 ( ) 2 ( 3 2 1 ! ;
)! ( !
!
= =

= n n n n
m n m
n
C
m
n
L .

Exerccios

Simplificar as expresses:

1)
4 2 1 4
2 2
2
3
:
2
3
3 ) 1 (
6 5
8
b a
ab
a
a
a
a
a a
a
|
|
\
| +
+
+ +
;

2)
3
3 3 3 2
3
2 2
3 3
) (
) (
b a
b a a
b a a
b a
+
;

Polinmio de ordem n .

. 1 , , 1 , 0 , , 0 , ) (
0 1
2
2
2
2
1
1
= + + + + + + =

n i R a a a x a x a x a x a x a x P
i n
n
n
n
n
n
n n
L L

Equaes e inequaes quadrticas.

. 0 , 0
2
= + + a c bx ax

<
= = =
+
=

= >
=
reais. raizes tem no equao a , , 0 com
;
2
, 0 com
;
2
,
2
, 0 com
4
2 1
2 1
2
x D
a
b
x x D
a
D b
x
a
D b
x D
ac b D
19

] [ ] [
<
)
`
=
+ >
> > + +
. R , 0 com
;
2
\ , 0 com
; , , , 0 com
0 , 0
2 1
2
x D
a
b
R x D
x x x D
a c bx ax
U

] [
<
=
>
< > + +
. , 0 com
; , 0 com
; , , 0 com
0 , 0
2 1
2
x D
x D
x x x D
a c bx ax

] [
<
=
>
> < + +
. , 0 com
; , 0 com
; , , 0 com
0 , 0
2 1
2
x D
x D
x x x D
a c bx ax

] [ ] [
<
)
`
=
+ >
< < + +
. R , 0 com
;
2
\ , 0 com
; , , , 0 com
0 , 0
2 1
2
x D
a
b
R x D
x x x D
a c bx ax
U

.
4 2 4
4
2
4 4 2
2
2
2
2
2
2
2
2
2
2
2 2 2
\
|
+ =
\
|
+ =
=
|
|
\
|
+ + + = |
\
|
+ + = + +
a
D
a
b
x a
a
ac b
a
b
x a
a
c
a
b
a
b
x
a
b
x a
a
c
x
a
b
x a c bx ax

20
Equaes e inequaes racionais.

A equao 0
) (
) (
=
x Q
x P
m
n
diz-se equao racional na forma cannica.

Resoluo:
=
=
. 0 ) (
, 0 ) (
0
) (
) (
x Q
x P
x Q
x P
m
n
m
n

As inequaes 0
) (
) (
, 0
) (
) (
>
x Q
x P
x Q
x P
m
n
m
n
dizem-se inequaes racionais na forma
cannica.

Resoluo:

<
<
>
>
<
<
>
>
>
. 0 ) (
, 0 ) (
; 0 ) (
, 0 ) (
, 0 ) (
, 0 ) (
; 0 ) (
, 0 ) (
0
) (
) (
x Q
x P
x Q
x P
x Q
x P
x Q
x P
x Q
x P
m
n
m
n
m
n
m
n
m
n

<
>
<
>

. 0 ) (
, 0 ) (
; 0 ) (
, 0 ) (
, 0 ) (
, 0 ) (
; 0 ) (
, 0 ) (
0
) (
) (
x Q
x P
x Q
x P
x Q
x P
x Q
x P
x Q
x P
m
n
m
n
m
n
m
n
m
n

Definio do mdulo e as suas propriedades.

Definio:
<
<
=
>
=
. 0 se ,
, 0 se ,
, 0 se ,
, 0 se , 0
, 0 se ,
a a
a a
a a
a
a a
a

Propriedades:

1. ; , 0 R a a 2. ; , R a a a =

3. ; , R a a a 4. ; 0 0 = = a a

21

5. ; , a x a a x R a < < <
+

6. ; , a x a a x R a
+

7. ; , a x a x a x R a > < >
+

8. ; , a x a x a x R a
+

9. ; , a x a x a x R a = = =
+

10. ; , , R b a b a b a + +

11. ; , , , ,
1 2 1 1 2 1 1 2 1
R a a a a a a a a a a a a
n n n n n n
+ + + + + + + +

L L L

12. ; , , R b a b a b a

13. ; , , R b a b a b a +

14. ; , , R b a b a b a b a + +

15. ; , , , ,
1 2 1 1 2 1 1 2 1
n n n n n n
=

L L L

16. . 0 , , , = b R b a
b
a
b
a

Resoluo de equaes e inequaes com mdulos:

As equaes e as inequaes com mdulo contm a incgnita sob o sinal
mdulo.

Exemplos:

, 8 2 5 4
2
+ x x x , 1 2 4 3
2
+ + + x x x x

, 2
2
x x x x , 8 2 5 3 4
2
+ = x x x

, 8 2 5
9
2
+
+
x x
x
x
.
9
1
2 4
12 3
2
+
+
x
x
x
x

22
Para resolver uma equao (ou inequao) com mdulos seguimos os
seguintes passos:

P 1. Aplicamos as propriedades

; , , , ,
1 2 1 1 2 1 1 2 1
n n n n n n
=

L L L

. 0 , , , = b R b a
b
a
b
a

para simplificar a expresso da equao (ou inequao), obtendo sob mdulos
expresses para os quais ma is fcil determinar os zeros.

P 2. Igualamos ao zero cada expresso sob o mdulo e resolvemos as equaes
obtidas.

P 3. Marcamos na recta numrica as raizes obtidas. As raizes partem a recta
num nmero finito de intervalos. Determinamos e marcamos os sinais das expresses
sob o mdulo em cada um dos intervalos, indicando os sinais das expresses na mesma
ordem. Note-se que para determinar o sinal de uma expresso num dos intervalos
obtidos basta determinar o sinal dela num ponto interior do intervalo.

P 5. Levando em conta o passo P3, resolvemos a equao (ou inequao)
separadamente em cada intervalo, eliminando os mdulos aplicando a definio do
mdulo. A soluo da equao (ou inequao) num intervalo a interseco da
soluo obtida (equao (ou inequao) sem modulo) com o intervalo em causa.

P 6. A soluo da equao (ou inequao) na recta numrica a reunio das
solues obtidas nos intervalos.

Exemplo: Resolver a inequao . 0 6
1
4
+ + +
+
x x
x
x

Resoluo.

P 1.

0 6
1
4
0 6
1
4
+ + +
+
+ + +
+
x x
x
x
x x
x
x
;

P 2.

; 6 6
; 1 1
; 4 4
= +
= +
=
x x
x x
x x

23
P 3.

P 4.

1) ] ] 6 , x .

Levando em conta os sinais das expresses neste conjunto e eliminando os
mdulos aplicando a definio do mdulo obtemos:

+
+
+
+ +
+

0 6
1
4
0 6
1
4
0 ) 6 (
) 1 (
) 4 (
x
x
x x
x
x
x x
x
x

+

+

+
0
1
10 5
0
1
6 6 4
0 6
1
4
x
x
x
x x
x
x

[ [
[ [. 1 , 2
; 1 , 2
,
; 1
, 2
; 1
, 2
; 0 1
, 0 10 5
; 0 1
, 0 10 5

<

>

< +

> +

x
x
x
x
x
x
x
x
x
x
x

E porque ] ] [ [ 1 , 2 6 , = I resulta x , isto , a inequao no tem
solues no conjunto ] ] 6 , .

2) ] ] 1 , 6 x .

Neste caso temos:

+ +
+
+ + +
+
+ + +
+

0 6 2
1
4
0 6
1
4
0 ) 6 (
) 1 (
) 4 (
x
x
x
x x
x
x
x x
x
x

+
+ +

+
+ + +
0
1
2 9 2
0
1
) 1 )( 6 2 ( 4
2
x
x x
x
x x x

24

<
>
+
+
< +
+ +
> +
+ +
; 1
,
4
65 9
,
4
65 9
; 1
, ,
4
65 9
4
65 9
,
; 0 1
, 0 2 9 2
; 0 1
, 0 2 9 2
2
2
x
x
x
x
x
x x
x
x x
U

. ,
4
65 9
1 ,
4
65 9
, 1 ,
4
65 9
, ,
4
65 9
+
+
+
+
U x
x
x

Calculando a interseco

] ]

=
|
|
\
|
+
+

1 ,
4
65 9
1 , 6 ,
4
65 9
1 ,
4
65 9
I U

conclumos que no segundo intervalo a soluo

1 ,
4
65 9
x .

3) ] ] 4 , 1 x .

Neste caso temos:

+
+ + + +
+ +
+
+
+ + +
+

0
1
) 6 2 )( 1 ( 4
0 6 2
1
4
0 6
1
) 4 (
x
x x x
x
x
x
x x
x
x

+
+ +
0
1
10 7 2
2
x
x x

25
] [. , 1
; 1
,
; 1
,
; 0 1
, 0 10 7 2
; 0 1
, 0 10 7 2
2
2
+
<
>
< +
+ +
> +
+ +
x
x
x
x
R x
x
x x
x
x x

E porque ] ] ] [ ] ] 4 , 1 , 1 4 , 1 = + I resulta que a inequao tem as solues no
conjunto ] ] 4 , 1 .

4) ] [ + , 4 x .

Neste caso temos:

+
+ + +
+ +
+
+ + +
+
0
1
) 6 2 )( 1 ( 4
0 6 2
1
4
0 6
1
4
x
x x x
x
x
x
x x
x
x

+
+ +
0
1
2 9 2
2
x
x x

<
>
+
+
< +
+ +
> +
+ +
; 1
,
4
65 9
,
4
65 9
; 1
, ,
4
65 9
4
65 9
,
; 0 1
, 0 2 9 2
; 0 1
, 0 2 9 2
2
2
x
x
x
x
x
x x
x
x x
U

+
+

,
4
65 9
1 ,
4
65 9
U x .

Calculando a interseco do conjunto obtido com o conjunto ] [ + , 4 conclumos que
a inequao tem as solues no conjunto ] [ + , 4 .

26
P 5.

Finalmente, calculando a reunio das solues obtidas nos intervalos obtemos a soluo
da inequao:

] ] ] ] ] ] +

= +

, 1 1 ,
4
65 9
, 4 4 , 1 1 ,
4
65 9
U U U U x .

A1. Elementos Da Teoria Dos Conjuntos, Lgica, Predicados

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

A1. Elementos Da Teoria Dos Conjuntos, Lgica, Predicados

Enviado por

Direitos autorais:

Formatos disponíveis

MATEMTICA 1 Anatolie Sochirca

A uma famlia infinita de conjuntos definimos:

Você também pode gostar