conjunto-universo

conjunto A

conjunto complementar de A

Seja A U e x U. Temos que x A ou x A,

no existindo uma terceira possibilidade.

Princpio do Terceiro Excludo

Uma proposio declarativa verdadeira ou
falsa, no ocorrendo um terceiro caso.

Seja A U e x U. Temos que x A ou x A, no

sendo possvel x A e x A simultaneamente.

Princpio da No-Contradio
Uma proposio declarativa no pode ser
verdadeira e falsa ao mesmo tempo.

QUANTIFICADORES

para todo ou qualquer que seja

existe
| existe um nico
no existe

A = {5, 6, 7, 8, 9}

x A, x maior do que 1.
x A x nmero primo.
| x A; x divisor de 10.
x A; x mltiplo de 10.

Observaes:
O smbolo o conectivo condicional (se ..., ento ...), e o
smbolo indica uma relao de implicao (... implica ...).
O primeiro um operador e o segundo uma relao.
Semelhantemente, o smbolo o conectivo bicondicional
(... se, e somente se, ...), e o smbolo indica uma relao
de equivalncia (... equivale a ...). O primeiro um operador e
o segundo uma relao.

Nesta apresentao, no distinguiremos de , e

tampouco de .

IMPLICAO
PQ

P implica Q
se P ento Q

P: x retngulo.

P Q:

Q: x paralelogramo.

Se x retngulo ento x paralelogramo.

A o conjunto dos retngulos.

AB

B o conjunto dos paralelogramos.

A subconjunto de B.

PQ

A B

EQUIVALNCIA
P Q P equivale a Q
P se, e somente se, Q

P: x tringulo equiltero.

P Q:

Q: x tringulo equingulo.

x tringulo equiltero se, e somente se,

x tringulo equingulo.

A o conjunto dos tringulos equilteros.

A=B

B o conjunto dos tringulos equingulos.

A igual a B.

PQ

A= B

Tabelas-verdades
p: eu estudo
q: eu tiro boas notas
p

pq

P: conjunto das pessoas que estudam.

Q: conjunto das pessoas que tiram boas notas.
x = eu
pq
pq
Q

P
p

pq

PQ

Se xQ, ento xP.

P=Q
Se xP, ento xQ; e se xQ,
ento xP.
xP se, e somente se, xQ

 necessrio ter 18 anos ou mais para possuir uma carteira de motorista?

suficiente?

suficiente quebrar a perna para sentir dor?

necessrio?

necessrio ser paralelogramo para ser retngulo?

suficiente?
suficiente ser retngulo para ser paralelogramo?
necessrio?

P
condio
suficiente

Q
condio
necessria

 necessrio ser tringulo equiltero para ser tringulo equingulo?

suficiente?

P
condio
necessria
e
suficiente

Q
condio
necessria
e
suficiente

RECPROCA
P: x2 5x + 6 = 0
Q: x {1, 2, 3}
x2 5x + 6 = 0 x {1, 2, 3}
P Q verdadeira
x {1, 2, 3} x2 5x + 6 = 0
Q P falsa
P Q e Q P so proposies recprocas.
Se uma proposio verdadeira, no necessariamente sua recproca
tambm ser. Mas podemos ter as duas verdadeiras.
P: x2 5x + 6 = 0
R: x {2, 3}
P R e R P so ambas verdadeiras.

Q: x retngulo.
P: x paralelogramo.

QP

Se ~Q verdadeira, nada podemos concluir sobre P.

Se P verdadeira, nada podemos concluir sobre Q.
Se ~P verdadeira, necessariamente devemos ter ~Q verdadeira.
U

P
Q

QP

xQxP

Q = conjunto dos
retngulos.
P = conjunto dos
paralelogramos.

( Q P)

Se x Q no podemos dizer que x P ou que x P.

Se x P no podemos dizer que x Q ou que x Q.
Se x P ento, necessariamente, x Q.

Q P equivale a ~P ~Q
~P ~Q a contrapositiva de Q P

Q: x retngulo
P: x paralelogramo
QP
~P ~Q

Se x retngulo, ento x paralelogramo.

Se x no paralelogramo, ento x no retngulo.

Se duas retas distintas de um plano so perpendiculares a uma terceira,

ento elas so paralelas.
r
s
rt e st rs=
t
Contrapositiva
Se duas retas distintas de um plano no so paralelas, ento no existe
uma reta neste plano que seja perpendicular s duas.
r

s
A

r s t; r t e s t
t

INTERSEO
U

AB

A B = {x; x A e x B}

UNIO
A B = {x; x A ou x B}

AB

CONECTIVOS (E) E CONECTIVO (OU)

p: fui ao teatro
q: fui ao cinema
p

pq

A interseo e a unio constituem a contrapartida

nos conjuntos dos conectivos lgicos e e ou.
P: conjunto das pessoas que foram ao teatro.
Q: conjunto das pessoas que foram ao cinema.
x = eu

P
p

pq

pq

pq
Q

xPQ

xPQ

PROPRIEDADES
COMUTATIVA
AB=BA

AB=BA

ASSOCIATIVA
(A B) C = A (B C)

(A B) C = A (B C)

DISTRIBUTIVA
A (B C) = (A B) (A C)

A (B C) = (A B) (A C)

CONJUNTO DIFERENA
U

AB

A B = {x | x A e x B}
A

BA

B A = {x | x A e x B}

Se B A, a diferena B A constituda pelos elementos que faltam a B

para que ele fique igual a A. Este conjunto o complementar de B em
relao a A.

CAB = A B, sendo B A.
U

A
B

CAB
p: x pertence ao conjunto A.
Se x A, ento p verdadeira.
Se x Ac, ento ~p verdadeira.

CUA = A = Ac

Leis De Morgan
Sejam A e B dois conjuntos no universo U. Consideremos o complementar da
unio de A com B, (A B)c.
x (A B)c x (A B) x A e x B x Ac e x Bc x (Ac Bc)
(A B)c e (Ac Bc) so formados pelos mesmos elementos. Logo,
(A B)c = Ac Bc
(O complementar da unio a interseo dos complementares.)

Consideremos, agora, o complementar da interseo de A e B, (A B)c.

x (A B)c x (A B) x A ou x B x Ac ou x Bc x (Ac Bc)
(A B)c e (Ac Bc) so formados pelos mesmos elementos. Logo,
(A B)c = Ac Bc
(O complementar da interseo a unio dos complementares.)

Leis De Morgan
Sejam as proposies p: x A e q: x B
p

~p

~q

pq

~(p q)

~p ~q

~(p q) (~p ~q)

~(p q) (~p ~q)

(A B)c = Ac Bc

(A B)c = Ac Bc