Você está na página 1de 18

----------------------- Page 1-----------------------

Lgica e Teoria de Conjuntos

SNTESE

1. Proposies

Uma Proposio uma expresso qual se pode atribuir um valor lgico verdadeiro ou

Negao Conjuno
Disjuno

p ~p p q p ? q
p q p ? q

V F V V V
V V V

V F V
F V V F F

F V V
F V F

F F F
F F F

Propriedades Conjuno
Disjuno
Comutatividade (p ? q) ? (q ? p)
(p ? q) ? (q ? p)

Associatividade ((p ? q) ? r) ? (p ? (q ? r))


((p ? q) ? r) ? (p ? (q ? r))

Existncia de (p ? V) ? (V ? p) ? p
(p ? F) ? (F ? p) ? p
elemento neutro V o elemento neutro
F o elemento neutro

Existncia de (p ? F) ? (F ? p) ? F
(p ? V) ? (V ? p) ? V
elemento absorvente F o elemento absorvente V
o elemento absorvente

Idempotncia (p ? p) ? p
(p ? p) ? p

Distributividade da
conjuno em relao (p ? (q ? r)) ? ((p ? q) ? (p ?
r))
disjuno

Distributividade da
disjuno em relao (p ? (q ? r)) ? ((p ? q) ? (p ?
r))
conjuno

Lei da dupla negao: ~(~p) ? p

Primeiras leis de De Morgan

(?(p ? q)) ? (?p ? ?q)


(?(p ? q)) ? (?p ? ?q)
Implicao
Equivalncia

p q p ? q
p q p ? q

V V V
V V V

V F F
V F F

F V V
F V F

F F V
F F V

----------------------- Page 2-----------------------


TEMA I Lgica e Teoria de Conjuntos

SNTESE

Princpio do terceiro excludo: (p ? ?p) ? V

Princpio de no contradio: (p ? ?p) ? F

Transitividade: [((p ? q) ? (q ? r)) ? (p ? r)] ? V

Relao da implicao com a disjuno e negao: (p ? q) ? (?p ? q)


Negao da implicao: (~(p ? q)) ? (p ? ?q)

Implicao contrarrecproca: (p ? q) ? ((?q) ? (~p))

Prioridades das operaes lgicas


Numa expresso com vrias operaes lgicas, devem-se efetuar, por e
sta ordem:
1. a negao;
2. a conjuno e a disjuno;
3. a implicao e a equivalncia.

2. Condies e conjuntos

Uma Expresso proposicional ou condio uma expresso com variveis


que se transforma numa pro-
posio quando se substituem essas variveis por objetos do domnio
considerado.

Expresso proposicional x = a
Proposio
ou condio substituindo x
p(a)
p(x)
por um objeto a

Uni
versais todas as concretizaes das variveis

do origem a uma proposio verdadeira.


Possveis

No universais se pelo menos uma


Expresses con
cretizao das variveis der origem a uma
proposicionais pr
oposio verdadeira e uma concretizao der
ou condies
origem a uma proposio falsa.

Impossveis todas as concreti


zaes das
variveis do origem a uma propos
io falsa.

Sejam p(x), u(x) e i(x) condies definidas num conjunto U, ta


is que u(x) designa uma condio uni-
versal e i(x) designa uma condio impossvel. Tem-se que:

p(x) ? i(x) ? i(x)


p(x) ? u(x) ? p(x)
p(x) ? i(x) ? p(x)
p(x) ? u(x) ? u(x)

----------------------- Page 3-----------------------

Sntese

A negao de uma condio universal uma condio impossvel.

Se p(x) ? q(x) uma condio universal, ento p(x) condio suficiente para que se ver
que q(x) e
q(x) condio necessria para que se verifique p(x).

O quantificador universal representa-se pelo smbolo ?.

O quantificador existencial representa-se pelo smbolo ?.


A relao entre os quantificadores de uma condio e a classificao dessa mesma condio

ser resumida neste diagrama:

uma proposio verdadeira.


p(x) uma condio universal.

? x ?U, p(x)
uma proposio falsa. Existe um
p(x) no uma
contraexemp
lo condio universal.

uma proposio verdadeira.


p(x) uma condio possvel.

? x ?U: p(x)

uma proposio falsa.


p(x) uma condio impossvel.

Segundas leis de De Morgan

?(? x ?U, p(x)) ? ? x ?U: ?p(x)

~(? x ?U: p(x)) ? ? x ?U, ~p(x)

A um subconjunto de B se ? x, x ?A ? x ?B.
Escreve-se A ? B.

U
B

Implicao Incluso
entre condies ? de conjuntos

Princpio da dupla incluso: A = B se e s se A ? B e B ? A .

Interseo de A com B: A ? B = {x : x ?A ? x ?B}

A B

Conjuno Interseo
A B

de condies ? de conjuntos

----------------------- Page 4-----------------------


TEMA I Lgica e Teoria de Conjuntos

SNTESE

Reunio de A com B: A ? B = {x : x ?A ? x ?B}


U

A
B
Disjuno
Reunio
de condies ?
de conjuntos

A ? B

Complementar de um conjunto A : A = {x ?U: x ?A}

Negao
Complementar A
A
de condio ?
do conjunto

Diferena entre A e B: A \B = {x ?A : x ?B}


U

A
B
Se B ? A, designa-se por complementar de B em A .
A\B

----------------------- Page 1-----------------------


lgebra

SNTESE

1. Radicais

Se a um nmero real e n ?N mpar, ento existe um nico nmero real b tal que bn
a.

Se a um nmero real positivo e n ?N par, ento existe um nico nmero real positiv
o b tal que bn = a.

n
Esse nmero chama-se raiz ndice n de a e representa-se por v?a.

O nmero de solues reais da equaao xn = a dado pelo seguinte esquema:

a < 0
zero solues

n par a = 0
uma soluo: x = 0

a > 0
duas solues simtricas:
n n

x = v?a e x = v?a

n mpar uma soluo, com o mesmo sinal


de a: x = n

v?a

Nas operaes com radicais devem ser tidas em conta as seguintes propriedades
(considerem-se os
valores de a, b, n e m para os quais as expresses seguintes tm significado):

Operaes
Regras operatrias

Distributividade da multiplicao
n n n

a v?b c v?b = (a c) v?b


relativamente adio

Multiplicao
n n n

v?a v?b = v?a? ?? ?b

n m n m

( v?a) = v?a?

n m n m
Se a ? 0, ( v?a) = v?a? ?
Potenciao

n n

v?a? = a, se n mpar

n n

v?a? = |a |, se n par

n a
Diviso
Se b ? 0, v?a = n

n v? b

v?b

Radiciao
n m nm

v? ?v??a = v?a

Propriedade

n n k k +
v?a = v?a? , onde n, k ?N e a ?R0 ou n, k ?N, n, k so mpares e a ?R.

----------------------- Page 2-----------------------


TEMA II lgebra
SNTESE

Para extrair fatores para fora de um radical, devem s


eguir-se os seguintes passos:

1. passo: Decompor o radicando num produto de fatores


primos.

2. passo: Caso se trate de uma raiz quadrada, agrupar


os fatores comuns aos pares; caso se trate de
uma raiz cbica, agrupar os fatores comuns a
os ternos,

n n n
3. passo: Aplicar a propriedade da multiplicao de radica
is v?a? ?? ?b = v?a v?b.

4. passo: Aplicar a propriedade:

n n
v?a? = a se n mpar e a > 0

n n
v?a? = |a| se n par

Racionalizao de de
nominadores

Caso 1: denominador do tipo v?a, a ?N

Multiplicar o numerador e o denominador da frao pelo radica


l v?a, com o objetivo de se obter uma frao
v?a 2
equivalente com ( ) no denominador.

n p
Caso 2: denominador do tipo v?a? , a ?N, n > 1, n > p

n n p
Multiplicar o numerador e o denominador da frao pelo radica
l v?a? ? ? ? , de forma a obter-se uma frao

n n
equivalente com v?a? em denominador.

Caso 3: denominador do tipo av?b cv?d, a, c ?Z, b, d ?N

Multiplicar o numerador e o denominador da frao pelo conjug


ado da expresso no denominador
av?b cv?d, respetivamente, de forma a obter-se o caso notv
el diferena de quadrados .

2. Potncias de expoente racional

m
m +
n n m
Se a ?R, ?Q0 (m, n ?Z, m = 0 e n = 2), ento a
= v?a? .
n

1
Se a ?R+ + q
e q ?Q , ento a = .
aq

Propriedades
Se q, r ?Q e a, b ?R+, tem-se que:

q r q + r
a a = a
aq bq = (a b)q

q r q r
a a = a
aq bq = (a b)q

q r q r
(a ) = a

----------------------- Page 3-----------------------

Sntese

3. Diviso inteira de polinmios

Dados dois polinmios A(x) e B(x), com B(x) ? 0, existem dois polinmios nicos
Q(x) e R(x) tais que
A(x) = B(x) Q(x) + R(x) e R(x) ou o polinmio nulo ou tem grau inferior ao grau
de B(x).
A(x): polinmio dividendo
B(x): polinmio divisor
Q(x): polinmio quociente
R(x): polinmio resto

Diz-se que A (x) divisvel por B(x) se e s se o resto da diviso de A(x) por B(
x) zero.

Teorema do Resto

Dado um polinmio P(x) e um nmero a ?R, o resto da diviso inteira de P(x) p


or x a igual a P(a).

Um nmero real a diz-se raiz ou zero de um polinmio P(x) se P(a) = 0.

A multiplicidade de uma raiz a o maior nmero natural n para o qual se tem P(


x) = (x a)n Q(x).

Dado um polinmio P(x) de coeficientes inteiros, o respetivo termo de grau z


ero mltiplo inteiro de
qualquer raiz inteira desse polinmio.

Dado um polinmio P(x) de grau n ?N, cujas razes distintas x , x , , x


tm multiplicidade n , n ,

1 2 k 1 2
, n , respetivamente, existe um polinmio Q(x), sem razes, tal que P(x) = (x x )
n1 (x x )n2
k
1 2
n
(x xk) k Q(x).

Dado um polinmio P(x) de segundo grau, com a como coeficiente do termo de g


rau 2:

se P(x) tem duas razes distintas x e x , ento P(x) = a(x x ) (x x


;
1 2 1
2

se P(x) tem uma raiz x


2
com multiplicidade 2, ento P(x) = a(x x )
.
1
1

Para decompor um polinmio P(x) de 3. grau em fatores, basta:

conhecer uma raiz a do polinmio;

efetuar a diviso inteira do polinmio por x a;

decompor o polinmio em P(x) = (x a)Q(x), sendo Q(x) um polinmio de grau 2;

se possvel, determinar as razes de Q(x) e decomp-lo

Pode decompor-se um polinmio P(x) de grau superior ao terceiro em fatores,


se:

conhecermos um nmero suficiente de razes do polinmio que permita sucessivamen


te decompor
o polinmio em fatores de grau 1 e de grau 2;

determinarmos as solues, caso existam, do(s) polinmio(s) de grau 2 e correspo


ndente fatorizao.

----------------------- Page 4-----------------------


TEMA II lgebra
SNTESE

Na resoluo de uma equao de grau superior a dois, devem segu


ir-se os seguintes passos:

1. passo: Escrever a equao na forma P(x) = 0.

2. passo: Decompor P(x) em fatores de grau 1 e/ou grau 2


.

3. passo: Aplicar a lei do anulamento do produto.

4. passo: Resolver as equaes de grau 1 e/ou grau 2 obtidas


.

5. passo: Apresentar o conjunto-soluo.

Na resoluo de uma inequao polinomial de grau superior ao se


gundo, devem seguir-se os
seguintes passos:

1. passo: Transformar a equao numa do tipo P(x) < 0, P(x)


> 0, P(x) = 0 ou P(x) = 0.

2. passo: Decompor P(x) em fatores de 1. grau e/ou 2. grau


.

3. passo: Estudar num quadro o sinal de cada fator.

4. passo: De acordo com o estudo feito no passo anterior


, apresentar a condio que corresponde
aos valores de x que so soluo da inequao.
5. passo: Apresentar o conjunto-soluo.

Você também pode gostar