Escolar Documentos
Profissional Documentos
Cultura Documentos
CONTEDO
Adio
Os termos da adio so chamadas parcelas e o resultado da operao de adio denominado soma ou
total.
1 parcela + 2 parcela = soma ou total
A ordem das parcelas nunca altera o resultado de uma adio: a + b = b + a
O zero elemento neutro da adio: 0 + a = a + 0
Subtrao
O primeiro termo de uma subtrao chamado minuendo, o segundo, subtraendo e o resultado da operao
de subtrao denominado resto ou diferena.
minuendo - subtraendo = resto ou diferena
A ordem dos termos pode alterar o resultado de uma subtrao: a - b b - a (sempre que a b)
Se adicionarmos uma constante k ao minuendo, o resto ser adicionado de k.
Se adicionarmos uma constante k ao subtraendo, o resto ser subtrado de k.
A subtrao a operao inversa da adio:
M- S=RR+S=M
A soma do minuendo com o subtraendo e o resto sempre igual ao dobro do minuendo.
M+S+R=2M
Valor absoluto
O Valor absoluto de um nmero inteiro indica a distncia deste nmero at o zero quando consideramos a
representao dele na reta numrica.
Ateno: O valor absoluto de um nmero nunca negativo, pois representa uma distncia.
A representao do valor absoluto de um nmero n | n |. (L-se "valor absoluto de n" ou "mdulo de n".)
Nmeros simtricos
Dois nmeros a e b so ditos simtricos ou opostos quando: a + b = 0
Exemplos:
-3 e 3 so simtricos (ou opostos) pois (-3) + (3) = 0.
4 e -4 so simtricos (ou opostos) pois (4) + (-4) = 0.
O oposto de 5 -5.
O simtrico de 6 -6.
O oposto de zero o prprio zero.
Dois nmeros simtricos sempres tm o mesmo mdulo.
Exemplo: |-3| = 3 e |3| = 3
Multiplicao
Os termos de uma multiplicao so chamados fatores e o resultado da operao de multiplicao
donominado produto.
1 fator x 2 fator = produto
O primeiro fator tambm pode ser chamado multiplicando enquanto o segundo fator pode ser
chamado multiplicador.
Se multiplicarmos o dividendo (N) e o divisor (D) de uma diviso por uma constante k 0, o
quociente (Q) no ser alterado mas o resto (R) ficar multiplicado por k, se R k < D, ou ser igual
ao resto da diviso de R k por D, se R k D.
6
(+) (-) = -
(-) (-) = +
(-) (+) = -
(+) - (+) = +
(+) - (-) = -
(-) - (-) = +
(-) - (+) = -
2) denominadores diferentes
Para somar fraes com denominadores diferentes, uma soluo obter fraes equivalentes, de
denominadores iguais ao mmc dos denominadores das fraes. Exemplo: somar as fraes
(10:2).5 = 25
Resumindo: utilizamos o mmc para obter as fraes equivalentes e depois somamos normalmente as
fraes, que j tero o mesmo denominador, ou seja, utilizamos o caso 1.
Na diviso de nmeros fracionrios, devemos multiplicar a primeira frao pelo inverso da segunda,
como mostrado no exemplo abaixo:
225
2,253,5 =
35
22535
=
7875
=
= 7,875
100 10
10010 1000
Podemos tambm multiplicar os nmeros decimais como se fossem inteiros e dar ao produto tantas casas
quantas forem as casas do multiplicando somadas s do multiplicador. Por exemplo:
2,25 2 casas decimais multiplicando
x 3,5
1 casa decimal
multiplicador
1125
+ 675
7875
7,875 3 casas decimais
Produto
Diviso de nmeros decimais: Como visto anteriormente, se multiplicarmos tanto o dividendo como o
divisor de uma diviso por 10, 100 ou 1000, o quociente no se alterar. Utilizando essas informaes
poderemos efetuar divises entre nmeros decimais como se fossem divises de nmeros inteiros. Por
exemplo: 3,60,4=?
Aqui, dividendo e divisor tm apenas uma casa decimal, logo multiplicamos ambos por 10 para que o
quociente no se altere. Assim tanto o dividendo como o divisor sero nmeros inteiros. Na prtica,
dizemos que "cortamos" a vrgula.
3,6
3610
3,60,4 = =
36
=
0,4
410
=9
4
Um outro exemplo:
0,35
0,357=
0,35100
35
=
357
=
5
=
= 0,05
7
7100
700
7007 100
Neste caso, o dividendo tem duas casas decimais e o divisor um inteiro, logo multiplicamos ambos por 100
para que o quociente no se altere. Assim tanto o dividendo como o divisor sero inteiros.
Exerccio: Uma pessoa de bom corao doou 35 alqueires paulistas de terra para 700 pessoas. Sabendo-se
que cada alqueire paulista mede 24.200 metros quadrados, qual ser a rea que cada um receber?
Diviso com o dividendo menor do que o divisor: Vamos considerar a diviso de 35 (dividendo) por 700
(divisor). Transforma-se o dividendo, multiplicando-se por 10, 100, ..., para obter 350 dcimos, 3500
centsimos, ... at que o novo dividendo fique maior do que o divisor, para que a diviso se torne possvel.
Neste caso, h a necessidade de multiplicar por 100.
Assim a diviso de 35 por 700 ser transformada numa diviso de 3500 por 700. Como acrescentamos dois
zeros ao dividendo, iniciamos o quociente com dois zeros, colocando-se uma vrgula aps o primeiro zero.
Isto pode ser justificado pelo fato que se multiplicarmos o dividendo por 100, o quociente ficar dividido
por 100.
divisor
resto
0 0,05 quociente
Realiza-se a diviso de 3500 por 700 para obter 5, concluindo que 0,35/7=35/700=0,05.
Diviso de nmeros naturais com quociente decimal: A diviso de 10 por 16 no fornecer um inteiro no
quociente. Como 10 < 16, o quociente da diviso no ser um inteiro, assim para dividir o nmero 10 por
16, montamos uma tabela semelhante diviso de dois nmeros inteiros.
10
16
?
(1) Multiplicando o dividendo por 10, o quociente ficar dividido por 10. Isto justifica a presena do
algarismo 0 seguido de uma vrgula no quociente.
100
16
0,
(2) Realizamos a diviso de 100 por 16. O resultado ser 6 e o resto ser 4.
100
16
-96
0,6
4
(3) O resto 4 corresponde a 4 dcimos = 40 centsimos, razo pela qual colocamos um zero (0) direita do
nmero 4.
100
16
-96
0,6
40
(4) Dividimos 40 por 16 para obter o quociente 2 e o novo resto ser 8.
100
16
-96
0,62
40
-32
8
(5) O resto 8 corresponde a 8 centsimos = 80 milsimos, razo pela qual inserimos um 0 direita do
nmero 8. Dividimos 80 por 16 para obter o quociente 5 e o resto igual a 0.
100
16
-96
0,625
40
-32
80
-80
0
10
A diviso 10/16 igual a 0,625. O o quociente um nmero decimal exato, embora no seja um inteiro.
Denominador
onde Numerador indica quantas partes so tomadas do inteiro, isto , o nmero inteiro que escrito sobre o
trao de frao e Denominador indica em quantas partes dividimos o inteiro, sendo que este nmero inteiro
deve necessariamente ser diferente de zero.
Observao: A linguagem HTML (para construir pginas da Web) no proporciona ainda um mtodo
simples para a implementar a barra de frao, razo pela qual, s vezes usaremos a barra / ou mesmo o sinal
, para entender a diviso de dois nmeros.
Exemplo: Consideremos a frao 1/4, que pode ser escrita como:
1
4
Em linguagem matemtica, as fraces podem ser escritas tanto como no exemplo acima ou mesmo como
1/4, considerada mais comum.
11
1/4
1/4
1/4
1/4
A unidade foi dividida em quatro partes iguais. A frao pode ser visualizada atravs da figura anexada,
sendo que foi sombreada uma dessas partes.
Leitura de fraes
(a) O numerador 1 e o denominador um inteiro 1<d<10
A leitura de uma frao da forma 1/d, onde d o denominador que menor do que 10 feita como:
Frao
1/2
1/3
1/4
1/5
1/6
1/7
1/8
1/9
Leitura
um
meio
um
tero
um
quarto
um
quinto
um
sexto
um
stimo
um
oitavo
um
nono
Frao
Leitura
1/11
um onze avos
1/12
um doze avos
1/13
um treze avos
1/14
um quatorze avos
1/15
um quinze avos
1/16
um dezesseis avos
1/17
um dezessete avos
1/18
um dezoito avos
1/19
um dezenove avos
Leitura
Leitura Comum
1/10
um dez avos
um dcimo
1/20
um vinte avos
um vigsimo
12
1/30
um trinta avos
um trigsimo
1/40
um quarenta avos
um quadragsimo
1/50
um cinqenta avos
um qinquagsimo
1/60
um sessenta avos
um sexagsimo
1/70
um setenta avos
um septuagsimo
1/80
um oitenta avos
um octogsimo
1/90
um noventa avos
um nonagsimo
1/100
um cem avos
um centsimo
1/1000
um mil avos
um milsimo
1/10000
um dcimo milsimo
1/100000
1/4
1/4
1/4
A frao cujo numerador menor que o denominador, isto , a parte tomada dentro do inteiro, chamada
frao prpria. A frao cujo numerador maior do que o denominador, isto , representa mais do que um
inteiro dividido em partes iguais chamada frao imprpria.
3/3
2/3
1/3
1/3
1/3
5/3=1+2/3
1/3
1/3
+
1/3
1/3
1/3
1/3
Frao aparente: aquela cujo numerador um mltiplo do denominador e aparenta ser uma frao mas
no , pois representa um nmero inteiro. Como um caso particular, o zero mltiplo de todo nmero
inteiro, assim as fraes 0/3, 0/8, 0/15 so aparentes, pois representam o nmero inteiro zero.
13
2/4
3/6
4/8
1/2
1/4
1/4
1/6
1/6
1/6
1/2
1/4
1/4
1/6
1/6
1/6
Propriedades fundamentais
(1) Se multiplicarmos os termos (numerador e denominador) de uma frao por um mesmo nmero natural,
obteremos uma frao equivalente frao dada:
1
12
=
2
=
22
(2) Se possvel dividir os termos (numerador e denominador) de uma frao por um mesmo nmero
natural, obteremos uma frao equivalente frao dada:
12
122
=
16
6
=
162
62
=
3
=
82
Nmero Misto
Quando o numerador de uma frao maior que o denominador, podemos realizar uma operao de
decomposio desta frao em uma parte inteira e uma parte fracionria e o resultado denominado
nmero misto.
17
16+1
16
=
4
1
+
1
= 4+
1
= 4
1
= 4+
16
=
1
+
17
=
Simplificao de Fraes
Simplificar fraes o mesmo que escrev-la em uma forma mais simples, para que a mesma se torne mais
fcil de ser manipulada.
O objetivo de simplificar uma frao torn-la uma frao irredutvel, isto , uma frao para a qual o
Mximo Divisor Comum entre o Numerador e o Denominador seja 1, ou seja, o Numerador e o
Denominador devem ser primos entre si. Essa simplificao pode ser feita atravs dos processos de diviso
sucessiva e pela fatorao.
A diviso sucessiva corresponde a dividir os dois termos da frao por um mesmo nmero (fator comum )
at que ela se torne irredutvel.
36
362
18
=
182
=
9
=
93
=
60
602
30 302 15
Respectivamente, dividimos os termos das fraes por 2, 2 e 3.
3
=
153
Observao: Outra maneira de diviso das fraes obter o Mximo Divisor Comum entre o Numerador e o
Denominador e simplificar a frao diretamente por esse valor.
Exemplo: Simplificaremos a frao 54/72, usando o Mximo Divisor Comum. Como MDC(54,72)=18, ento
54:18=3 e 72:18=4, logo:
54
5418
=
72
3
=
7218
5
(2) Tanto os numeradores como os denominadores das duas fraes so diferentes
Devemos reduzir ambas as fraes a um denominador comum e o processo depende do clculo do Mnimo
Mltiplo Comum entre os dois denominadores e este ser o denominador comum s duas fraes. Na
seqncia, divide-se o denominador comum pelo denominador de cada frao e multiplica-se o resultado
obtido pelo respectivo numerador.
Exemplo: Vamos comparar as fraes 2/3 e 3/5. Como os denominadores so 3 e 5, temos que MMC(3,5)=15.
Reduzindo ambas as fraes ao mesmo denominador comum 15, aplica-se a regra de dividir o denominador
comum pelo denominador de cada frao e na seqncia multiplica-se esse respectivo nmero pelo
numerador.
2
3
?
3
5
Multiplicando os termos da primeira frao por 5 e multiplicando os termos da segunda frao por 3,
obteremos:
2
25
33
=
3
35
Temos ento os mesmos denominadores, logo:
53
10
=
3
?
15
3
=
15
10
=
>
3 15
(3) As fraes possuem um mesmo numerador
=
15
Se os numeradores de duas fraes forem iguais, ser maior a frao cujo denominador for menor.
Exemplo: Uma representao grfica para a desigualdade
3
3
>
4
pode ser dada geometricamente por:
3/4=6/8
3/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
1/8
Diviso de fraes
Consideremos inicialmente uma diviso D de duas fraes, denotada por:
1
D=
2
3
Um modo fcil para explicar esta diviso tomar as duas fraes com o mesmo denominador e realizar a
diviso do primeiro numerador pelo segundo numerador, isto :
1
D=
3
=
2 3 6
6
pois 1/2 equivalente a 3/6 e 2/3 equivalente a 4/6. O desenho abaixo mostra as fraes 1/2 e 2/3, atravs
de suas respectivas fraes equivalentes: 3/6 e 4/6.
3/6
4/6
1/6
1/6
1/6
1/6
1/6
1/6
1/6
1/6
1/6
1/6
1/6
1/6
Realizar a diviso entre dois nmeros fracionrios ou no A e B, o mesmo que procurar saber quantas
partes de B esto ocupadas por A. Quantas partes da frao 4/6 esto ocupadas pela frao 3/6?
No desenho, os numeradores das fraes esto em cor amarela. Como temos 3 partes em amarelo na
primeira frao e 4 partes em amarelo na segunda frao, a diviso corresponde frao 3/4, ou seja, em
cada 4 partes amarelas, 3 esto ocupadas.
Este argumento justifica a diviso de duas fraes pela multiplicao da primeira frao pelo inverso da
segunda frao e observamos que de fato isto funciona neste caso:
D= 1 2
= 3 6 = 18 = 3
24
Na verdade, h um tratamento mais geral que o deste caso particular. A diviso de um nmero real a/b pelo
nmero real c/d , por definio, a multiplicao do nmero a/b pelo inverso de c/d. Acontece que o
inverso de c/d a frao d/c, assim:
a
a.d
b.c
Dentre todas as fraes, existe um tipo especial cujo denominador uma potncia de 10. Este tipo
denominado frao decimal.
Exemplos de fraes decimais, so:
1/10, 3/100, 23/100, 1/1000, 1/103
Toda frao decimal pode ser representada por um nmero decimal, isto , um nmero que tem uma parte
inteira e uma parte decimal, separados por uma vrgula.
A frao 127/100 pode ser escrita na forma mais simples, como:
127
= 1,27
100
onde 1 representa a parte inteira e 27 representa a parte decimal. Esta notao subentende que a frao
127/100 pode ser decomposta na seguinte forma:
127
100+27
=
100
=
27
+
= 1+0,27 = 1,27
100
100
100 100
A frao 8/10 pode ser escrita na forma 0,8, onde 0 a parte inteira e 8 a parte decimal. Aqui observamos
que este nmero decimal menor do que 1 porque o numerador menor do que o denominador da frao.
0,6
Seis dcimos
0,37
parte fracionria
0
,
1
Uma outra situao nos mostra que a frao decimal 231/100 pode ser escrita como 2,31, que se l da
seguinte maneira: "dois inteiros e trinta e um centsimos". Novamente observamos que a vrgula separa a
parte inteira da parte fracionria:
parte inteira
parte fracionria
2
,
31
Em geral, transforma-se uma frao decimal em um nmero decimal fazendo com que o numerador da
frao tenha o mesmo nmero de casas decimais que o nmero de zeros do denominador. Na verdade,
realiza-se a diviso do numerador pelo denominador. Por exemplo:
(a) 130/100 = 1,30
(b) 987/1000 = 0,987
(c) 5/1000 = 0,005
Transformando nmeros decimais em fraes decimais
Tambm possvel transformar um nmero decimal em uma frao decimal. Para isto, toma-se como
numerador o nmero decimal sem a vrgula e como denominador a unidade (1) seguida de tantos zeros
quantas forem as casas decimais do nmero dado. Como exemplo, temos:
(a) 0,5 = 5/10 (b)
0,05 = 5/100 (c)
2,41 = 241/100
(d) 7,345 = 7345/1000
Propriedades dos nmeros decimais
Zeros aps o ltimo algarismo significativo: Um nmero decimal no se altera quando se acrescenta ou se
retira um ou mais zeros direita do ltimo algarismo no nulo de sua parte decimal. Por exemplo:
(a) 0,5
= 0,50 = 0,500 = 0,5000
(b) 1,0002
= 1,00020 = 1,000200
(c) 3,1415926535 = 3,141592653500000000
Multiplicao por uma potncia de 10: Para multiplicar um nmero decimal por 10, por 100, por 1000,
basta deslocar a vrgula para a direita uma, duas, ou trs casas decimais. Por exemplo:
(a) 7,4 x 10 = 74 (b)
7,4 x 100 = 740 (c)
7,4 x 1000 = 7400
Diviso por uma potncia de 10: Para dividir um nmero decimal por 10, 100, 1000, etc, basta deslocar a
vrgula para a esquerda uma, duas, trs, ... casas decimais. Por exemplo:
(a) 247,5 10 = 24,75
(b) 247,5 100 = 2,475
(c) 247,5 1000 = 0,2475
Comparao de nmeros decimais
A comparao de nmeros decimais pode ser feita analisando-se as partes inteiras e decimais desses
nmeros. Para isso, faremos uso dos sinais: > (que se l: maior); < (que se l: menor) ou = (que se l: igual).
Nmeros com partes inteiras diferentes: O maior nmero aquele que tem a parte inteira maior. Por
exemplo:
(a) 4,1 > 2,76, pois 4 maior do que 2.
(b) 3,7 < 5,4, pois 3 menor do que 5.
Nmeros com partes inteiras iguais: Igualamos o nmero de casas decimais acrescentando zeros tantos
quantos forem necessrios. Aps esta operao, teremos dois nmeros com a mesma parte inteira mas com
partes decimais diferentes. Basta comparar estas partes decimais para constatar qual o maior deles. Alguns
exemplos, so:
(a) 12,4 > 12,31 pois 12,4=12,40 e 40 > 31.
(b) 8,032 < 8,47 pois 8,47=8,470 e 032 < 470.
(c) 4,3 = 4,3 pois 4=4 e 3=3.
Porcentagem
Ao abrir um jornal, ligar uma televiso, olhar vitrines, comum depararmos com expresses do tipo:
A inflao do ms foi de 4% (l-se quatro por cento)
Desconto de 10% (dez por cento) nas compras vista.
O ndice de reajuste salarial de maro de 0,6% (seis dcimos por cento)
A porcentagem um modo de comparar nmeros usando a proporo direta, onde uma das razes da
proporo uma frao cujo denominador 100. Toda razo a/b na qual b=100 chama-se porcentagem.
Exemplos:
(1) Se h 30% de meninas em uma sala de alunos, pode-se comparar o nmero de meninas com o nmero
total de alunos da sala, usando para isto uma frao de denominador 100, para significar que se a sala tivesse
100 alunos ento 30 desses alunos seriam meninas. Trinta por cento o mesmo que
30
= 30%
100
20
(2) Calcular 40% de R$300,00 o mesmo que determinar um valor X que represente em R$300,00 a mesma
proporo que R$40,00 em R$100,00. Isto pode ser resumido na proporo:
40
=
100
300
Como o produto dos meios igual ao produto dos extremos, podemos realizar a multiplicao cruzada para
obter: 100X=12000, assim X=120
Logo, 40% de R$300,00 igual a R$120,00.
(3) Li 45% de um livro que tem 200 pginas. Quantas pginas ainda faltam para ler?
45
=
100
200
o que implica que 100X=9000, logo X=90. Como eu j li 90 pginas, ainda faltam 200-90=110 pginas.
Conjuntos e Funes
1 - Conjunto: conceito primitivo; no necessita, portanto, de definio.
Exemplo: conjunto dos nmeros pares positivos: P = {2,4,6,8,10,12, ... }.
Esta forma de representar um conjunto, pela enumerao dos seus elementos, chama-se forma de listagem.
O mesmo conjunto tambm poderia ser representado por uma propriedade dos seus elementos ou seja,
sendo x um elemento qualquer do conjunto P acima, poderamos escrever:
P = { x | x par e positivo } = { 2,4,6, ... }.
1.1 - Relao de pertinncia:
Sendo x um elemento do conjunto A , escrevemos x
1.2 - Subconjunto:
Se todo elemento de um conjunto A tambm pertence a um conjunto B, ento dizemos que
A subconjunto de B e indicamos isto por A
2 - Conjuntos numricos fundamentais
Entendemos por conjunto numrico, qualquer conjunto cujos elementos so nmeros. Existem infinitos
conjuntos numricos, entre os quais, os chamados conjuntos numricos fundamentais, a saber:
Conjunto dos nmeros naturais
N = {0,1,2,3,4,5,6,... }
Conjunto dos nmeros inteiros
Z = {..., -4,-3,-2,-1,0,1,2,3,... }
Obs: evidente que N
Conjunto dos nmeros racionais
Q = {x; x = p/q com p
a) bvio que N Z Q R
b) I R
c) I Q = R
d) um nmero real racional ou irracional, no existe outra hiptese!
TIPOS
REPRESENTAO
OBSERVAO
INTERVALO FECHADO
[p;q] = {x
R; p x q}
inclui os limites p e q
INTERVALO ABERTO
(p;q) = { x
R; p < x < q}
exclui os limites p e q
inclui p e exclui q
exclui p e inclui q
INTERVALO SEMIFECHADO
[p;
) = {x R; x p}
INTERVALO SEMIFECHADO
( ; q] = { x R; x q}
INTERVALO SEMIABERTO
( ; q) = { x R; x < q}
INTERVALO SEMIABERTO
(p;
)={x>p}
Nota: fcil observar que o conjunto dos nmeros reais, (o conjunto R) pode ser representado na forma de
intervalo como R = ( 4 - Operaes com conjuntos
4.1 - Unio (
Dados os conjuntos A e B , define-se o conjunto unio A
Propriedades imediatas:
a) A
4.2 - Interseo (
Dados os conjuntos A e B , define-se o conjunto interseo A
Propriedades imediatas:
a) A
So importantes tambm as seguintes propriedades :
P1. A
4.3 - Diferena: A - B = {x ; x
Observe que os elementos da diferena so aqueles que pertencem ao primeiro conjunto, mas no
pertencem ao segundo.
Exemplos:
{ 0,5,7} - {0,7,3} = {5}.
{1,2,3,4,5} - {1,2,3} = {4,5}.f = A
b) f - A = f
c) A - A =
d) A - B B - A ( a diferena de conjuntos no uma operao comutativa). A , a diferena A - B chama-se,
neste caso, complementar de B em relao a A .
Simbologia: CAB = A - B.
Caso particular: O complementar de B em relao ao conjunto universo U, ou seja , U - B , indicado pelo
smbolo B' .Observe que o conjunto B' formado por todos os elementos que no pertencem ao conjunto B,
ou seja:
B' = {x; x B}. bvio, ento, que: B' =
f b) B B' = U
c) f' = U
d) U' = f
5 - Partio de um conjunto
Seja A um conjunto no vazio. Define-se como partio de A, e representa-se por part(A), qualquer
subconjunto do conjunto das partes de A (representado simbolicamente por P(A)), que satisfaz
simultaneamente, s seguintes condies:
1 - nenhuma dos elementos de part(A) o conjunto vazio.
2 - a interseo de quaisquer dois elementos de part(A) o conjunto vazio.
3 - a unio de todos os elementos de part(A) igual ao conjunto A.
Exemplo: Seja A = {2, 3, 5}
Os subconjuntos de A sero: {2}, {3}, {5}, {2,3}, {2,5}, {3,5}, {2,3,5}, e o conjunto vazio - .
Assim, o conjunto das partes de A ser:
P(A) = { {2}, {3}, {5}, {2,3}, {2,5}, {3,5}, {2,3,5}, }
Vamos tomar, por exemplo, o seguinte subconjunto de P(A):
X = { {2}, {3,5} }
Observe que X uma partio de A - cuja simbologia part(A) - pois:
a) nenhum dos elementos de X .
b) {2}
6 - Nmero de elementos da unio de dois conjuntos
Sejam A e B dois conjuntos, tais que o nmero de elementos de A seja n(A) e o nmero de elementos de B
seja n(B).
Nota: o nmero de elementos de um conjunto, tambm conhecido com cardinal do conjunto.
Representando o nmero de elementos da interseo A
{3, 5} =
c) {2} U {3, 5} = {2, 3, 5} = A
Sendo observadas as condies 1, 2 e 3 acima, o conjunto X uma partio do conjunto A.
Observe que Y = { {2,5}, {3} } ; W = { {5}, {2}, {3} }; S = { {3,2}, {5} } so outros exemplos de parties do
conjunto A.
Outro exemplo: o conjunto Y = { {0, 2, 4, 6, 8, ...}, {1, 3, 5, 7, ...} } uma partio do conjunto N dos nmeros
naturais, pois {0, 2, 4, 6, 8, ...} {1, 3, 5, 7, ...} = e {0, 2, 4, 6, 8, ...} U {1, 3, 5, 7, ...} = N . B por n(A B) e
o nmero de elementos da unio A B por n(A B) , podemos escrever a seguinte frmula:
n(A B) = n(A) + n(B) - n(A
B)
Propriedades imediatas:
a) A 4.3.1 - Complementar de um conjunto
Trata-se de um caso particular da diferena entre dois conjuntos. Assim , que dados dois conjuntos A e B,
com a condio de que B
a) B
; + ). ) B = { x; x A ou x
B}.
Exemplo: {0,1,3} { 3,4,5 } = { 0,1,3,4,5}. Percebe-se facilmente que o conjunto unio contempla todos os
elementos do conjunto A ou do conjunto B. A = A
b) A f = A
c) A B = B A (a unio de conjuntos uma operao comutativa)
d) A U = U , onde U o conjunto universo. ) B = {x; x A e x
B}.
Exemplo: {0,2,4,5} { 4,6,7} = {4}. Percebe-se facilmente que o conjunto interseo contempla os elementos
que so comuns aos conjuntos A e B. A = A
b) A =
c) A B = B A ( a interseo uma operao comutativa)
d) A U = A onde U o conjunto universo. ( B C ) = (A B) ( A C) (propriedade distributiva)
P2. A ( B C ) = (A B ) ( A C) (propriedade distributiva)
P3. A (A B) = A (lei da absoro)
P4. A (A B) = A (lei da absoro)
Obs: Se A B = f , ento dizemos que os conjuntos A e B so Disjuntos. A e x
B}.
Dados dois conjuntos A e B, denomina-se funo de A em B toda relao que a cada elemento de A associa
um nico elemento de B.
X varivel independente DOMNIO
Y varivel dependente IMAGEM
o
O subconjunto de B formado pelos elementos que so imagens dos elementos de A
denominado conjunto imagem ou apenas imagem da funo.
o
1)
A)
Exemplo:
- No
B)
- Sim
C)
- Sim
r = 15 (19) r = 4.
an = a1 + (n a = 19 + (n 1).4 a = 19 + 4n 4 a = 4n 23
n
n
n
1).r
2) Interpole seis meios aritmticos entre 8 e 13.
No problema : a1 = 8, an
13,
- 8, - 5, - 2, 1, 4, 7, 10, 13
PROGRESSES GEOMTRICAS
Podemos definir progresso geomtrica, ou simplesmente P.G., como uma sucesso de nmeros reais
obtida, com exceo do primeiro, multiplicando o nmero anterior por uma quantidade fixa q, chamada
razo.
Podemos calcular a razo da progresso, caso ela no esteja suficientemente evidente, dividindo entre si
dois termos consecutivos. Por exemplo, na sucesso (1, 2, 4, 8,...), q = 2.
Clculos do termo geral
Numa progresso geomtrica de razo q, os termos so obtidos, por definio, a partir do primeiro, da
seguinte maneira:
a1
a2
a3
...
a20
...
an
...
a1
a1xq
a1xq2
...
a1xq19
a1xqn-1 ...
Assim, podemos deduzir a seguinte expresso do termo geral, tambm chamado ensimo termo, para
qualquer progresso geomtrica.
an = a1 x qn-1
Portanto, se por exemplo, a1 = 2 e q = 1/2, ento:
an = 2 x (1/2)n-1
Se quisermos calcular o valor do termo para n = 5, substituindo-o na frmula, obtemos:
aritmticas formam-se somando-se uma mesma quantidade de forma repetida, nas progresses geomtricas
os termos so gerados pela multiplicao, tambm repetida, por um mesmo nmero. As diferenas no
param a.
Observe que, quando uma progresso aritmtica tem a razo positiva, isto , r > 0, cada termo seu maior
que o anterior. Portanto, trata-se de uma progresso crescente. Ao contrrio, se tivermos uma progresso
aritmtica com razo negativa, r < 0, seu comportamento ser decrescente. Observe, tambm, a rapidez com
que a progresso cresce ou diminui. Isto conseqncia direta do valor absoluto da razo, |r|. Assim, quanto
maior for r, em valor absoluto, maior ser a velocidade de crescimento e vice-versa.
Se substituirmos an = a1 . qn-1 , obteremos uma nova apresentao para a frmula da soma, ou seja:
Exemplo:
Calcule a soma dos 10 primeiros termos da PG (1,2,4,8,...)
Temos:
Exemplo:
Resolva a equao: x + x/2 + x/4 + x/8 + x/16 + ... =100
O primeiro membro uma PG de primeiro termo x e razo 1/2. Logo, substituindo na frmula, vem:
Onde "x" o expoente que devemos elevar a base 5 para obtermos 25.
Como sabemos que devemos elevar o 5 ao quadrado (ou seja, potncia 2) para obtermos 25, chegamos
concluso que o logaritmo de 25 na base 5 2:
No exemplo anterior,
base 5 2.
Note que, anteriormente, dissemos que "x" o expoente de "b", e na figura acima est escrito que "x" o
No podemos sair escrevendo logaritmo de qualquer nmero em qualquer base. Existem algumas regras
para que o logaritmo exista, so as: condies de existncia dos logaritmos.
Para mostrar quais so estas condies, vou dar um EXEMPLO ERRADO para cada restrio existente, para
que voc veja o absurdo que seria se elas no existissem.
Veja primeiro o exemplo abaixo:
Ex. 1: Quanto vale
Ou seja, queremos saber qual o expoente que devemos elevar o nmero 4 para obtermos -16. Voc viu no
captulo de potenciao que no h valor para este expoente. Chegamos ento a um absurdo.
Por causa deste tipo de absurdo, h uma restrio quanto ao sinal do logaritmando:
PRIMEIRA CONDIO DE EXISTNCIA (logaritmando): O logaritmando deve ser um nmero
positivo.
Veja que esta primeira restrio j inclui o fato de que o logaritmando deve ser diferente de ZERO.
Duvida? Experimente encontrar o logaritmo de ZERO na base 3 (log30).
Veja o prximo exemplo errado para ilustrar a prxima restrio:
Ex. 2: Quanto vale
Ou seja, queremos saber qual o expoente que devemos elevar o nmero -4 para obtermos 4. Novamente
chegamos em um absurdo, no h expoente que faa isso.
Ainda olhando para a base:
Ex. 3: Calcule
Queremos saber qual o expoente que devemos elevar a base 1 para obtermos 4. Como visto no captulo de
potenciao, a base 1 elevada a qualquer expoente resulta 1, ou seja, no existe expoente para a base 1 que
resulte 4. Absurdo!
30
Ex. 4: Calcule
Traduzindo, qual o expoente que devemos elevar a base 0 para obtermos 4. Absurdo!
Com estes trs exemplos sobre a base do logaritmo, chegamos na segunda condio de existncia.
SEGUNDA CONDIO DE EXISTNCIA (base): A base deve ser um nmero positivo diferente de 1.
Note que dito que a base deve ser um nmero positivo, ou seja, no pode ser ZERO tambm.
Portanto, resumindo as trs condies em um quadro s:
CONDIES DE EXISTNCIA
logbN = x
1 N > 0
2 b > 0
3
b1
Porcentagem uma frao cujo denominador 100, seu smbolo (%). Sua utilizao est to disseminada
que a encontramos nos meios de comunicao, nas estatsticas, em mquinas de calcular, etc.
A utilizao da porcentagem se faz por regra de 3 simples.
Por exemplo, a vendedora de uma loja ganha 3% de comisso sobre as vendas que faz. Se as vendas do ms
de outubro forem de R$ 3.500,00 qual ser sua comisso?
Equacionando e montando a regra de 3 temos:
Na regra de 3, quando as grandezas so diretamente proporcionais (no caso, quanto maior a venda, maior a
comisso) usamos setas paralelas e multiplicamos os termos em cruz, como se v abaixo:
31
x R$ 3.500,00 = R$ 105,00.
Juros simples
Pode parecer bvio, mas o produto de uma sapataria o sapato, da papelaria o papel e similares. No caso
de bancos e financeiras, o produto o dinheiro, ou os lucros e taxas que possam advir do mesmo.
Se voc utiliza o dinheiro do banco (cheque especial, emprstimos, carteira hipotecria, etc), sero cobrados
juros sobre esse dinheiro. Se, ao contrrio, o banco que utiliza o seu dinheiro (caderneta de poupana,
investimentos, etc.) voc que receber os tais juros.
De uma maneira geral o juro simples (J) produzido por um capital (C) a uma taxa de juro (i) por um prazo
(t) calculada assim:
32
Exemplo: Voc coloca seu suado dinheiro na poupana, digamos R$ 1.000,00. Aps um ms qual ser
o juro a receber se a taxa de 0,5% ao ms?
Logo, o banco lhe pagar R$ 5,00 para utilizar os seus R$ 1000,00 por 1 ms.
Veja que a taxa de juros 0,5% foi colocada em sua forma fracionria.
Exemplo: Voc vai utilizar o seu cheque especial de R$ 1000,00 por um ms, sendo que a taxa de
15% ao ms. Quanto pagar de juros?
33
B
Exemplo: A razo entre 12 e 3 4 porque:
12
=4
3
e a razo entre 3 e 6 0,5 pois:
3
= 0,5
6
A razo tambm pode ser expressa na forma de diviso entre duas grandezas de algum sistema de medidas.
Por exemplo, para preparar uma bebida na forma de suco, normalmente adicionamos A litros de suco
concentrado com B litros de gua. A relao entre a quantidade de litros de suco concentrado e de gua
um nmero real expresso como uma frao ou razo (que no tem unidade), a razo:
A
= A/B
B
Exemplo: Tomemos a situao apresentada na tabela abaixo.
Lquido
Suco puro
30
gua
16
32
80
Suco pronto
11
22
40
110
Na Situao1, para cada 3 litros de suco puro coloca-se 8 litros de gua, perfazendo o total de 11 litros de
suco pronto.
Na Situao2, para cada 6 litros de suco puro coloca-se 16 litros de gua, perfazendo o total de 24 litros de
suco pronto.
Exemplo: Em uma partida de basquete um jogador faz 20 arremessos e acerta 10.
Podemos avaliar o aproveitamento desse jogador, dividindo o nmero de arremessos que ele acertou pelo
total de arremessos, o que significa que o jogador acertou 1 para cada dois arremessos, o que tambm pode
ser pensado como o acerto de 0,5 para cada arremesso.
10 : 20 = 1 : 2 = 0,5
Propores
34
Proporo a igualdade entre duas razes. A proporo entre A/B e C/D a igualdade:
A
C
=
B
D
Notas histricas: A palavra proporo vem do latim proportione e significa uma relao entre as partes de
uma grandeza, ou seja, uma igualdade entre duas razes. No sculo XV, o matemtico rabe Al-Kassadi
empregou o smbolo "..." para indicar as propores e em 1.537, o italiano Niccola Fontana, conhecido por
Tartaglia, escreveu uma proporo na forma
6:3::8:4.
Regiomontanus foi um dos matemticos italianos que mais divulgou o emprego das propores durante o
perodo do Renascimento.
Propriedade fundamental das propores
Numa proporo:
A
C
=
B
D
os nmeros A e D so denominados extremos enquanto os nmeros B e C so os meios e vale a propriedade:
o produto dos meios igual ao produto dos extremos, isto :
AD=BC
Exemplo: A frao 3/4 est em proporo com 6/8, pois:
3
6
=
4 8
Exerccio: Determinar o valor de X para que a razo X/3 esteja em proporo com 4/6.
Soluo: Deve-se montar a proporo da seguinte forma:
x
4
=
Medidas de tempo
Introduo
comum em nosso dia-a-dia pergunta do tipo:
35
Segundo
O Sol foi o primeiro relgio do homem: o intervalo de tempo natural decorrido entre as sucessivas
passagens do Sol sobre um dado meridiano d origem ao dia solar.
O segundo (s) o tempo equivalente a
hora
dia
min
60 min = 3.600 s
60 s
So submltiplos do segundo:
dcimo de segundo
centsimo de segundo
milsimo de segundo
Cuidado: Nunca escreva 2,40h como forma de representar 2 h 40 min. Pois o sistema de medidas de tempo
no decimal.
Observe:
36
Para resolver um problema matemtico, quase sempre devemos transformar uma sentena apresentada com
palavras em uma sentena que esteja escrita em linguagem matemtica. Esta a parte mais importante e
talvez seja a mais difcil da Matemtica.
Sentena com palavras
Sentena matemtica
2 x + 2 = 14
Normalmente aparecem letras conhecidas como variveis ou incgnitas. A partir daqui, a Matemtica se
posiciona perante diferentes situaes e ser necessrio conhecer o valor de algo desconhecido, que o
objetivo do estudo de equaes.
A balana est equilibrada. No prato esquerdo h um "peso" de 2Kg e duas melancias com "pesos" iguais. No
prato direito h um "peso" de 14Kg. Quanto pesa cada melancia?
2 melancias + 2Kg = 14Kg
Usaremos uma letra qualquer, por exemplo x, para simbolizar o peso de cada melancia. Assim, a equao
poder ser escrita, do ponto de vista matemtico, como:
2x + 2 = 14
Este um exemplo simples de uma equao contendo uma varivel, mas que extremamente til e aparece
na maioria das situaes reais. Valorize este exemplo simples.
Podemos ver que toda equao tem:
Uma ou mais letras indicando valores desconhecidos, que so denominadas variveis ou incognitas;
Um sinal de igualdade, denotado por =.
Uma expresso esquerda da igualdade, denominada primeiro membro ou membro da esquerda;
Uma expresso direita da igualdade, denominada segundo membro ou membro da direita.
No link Expresses Algbricas, estudamos vrias situaes contendo variveis. A letra x a incgnita da
equao. A palavra incgnita significa desconhecida e equao tem o prefixo equa que provm do Latim e
significa igual.
2x+2
14
1o. membro
sinal de igualdade
2o. membro
Equao original
Observao: Quando adicionamos (ou subtramos) valores iguais em ambos os membros da equao, ela
permanece em equilbrio. Da mesma forma, se multiplicamos ou dividimos ambos os membros da equao
por um valor no nulo, a equao permanece em equilbrio. Este processo nos permite resolver uma
equao, ou seja, permite obter as razes da equao.
Exemplos:
1. A soma das idades de Andr e Carlos 22 anos. Descubra as idades de cada um deles, sabendo-se que
Andr 4 anos mais novo do que Carlos.
Soluo: Primeiro passamos o problema para a linguagem matemtica. Vamos tomar a letra c para a
idade de Carlos e a letra a para a idade de Andr, logo a=c-4. Assim:
c + a = 22
c + (c - 4) = 22
2c - 4 = 22
2c - 4 + 4 = 22 + 4
2c = 26
c = 13
Resposta: Carlos tem 13 anos e Andr tem 13-4=9 anos.
2. A populao de uma cidade A o triplo da populao da cidade B. Se as duas cidades juntas tm uma
populao de 100.000 habitantes, quantos habitantes tem a cidade B?
Soluo: Identificaremos a populao da cidade A com a letra a e a populao da cidade com a letra
b. Assumiremos que a=3b. Dessa forma, poderemos escrever:
a + b = 100.000
3b + b = 100.000
4b = 100.000
b = 25.000
Resposta: Como a=3b, ento a populao de A corresponde a: a=325.000=75.000 habitantes.
3. Uma casa com 260m2 de rea construda possui 3 quartos de mesmo tamanho. Qual a rea de cada
quarto, se as outras dependncias da casa ocupam 140m2?
Soluo: Tomaremos a rea de cada dormitrio com letra x.
3x + 140 = 260
3x = 260 -140
3x = 120
x = 40
Resposta: Cada quarto tem 40m2.
Exerccios: Resolver as equaes
1. 2x + 4 = 10
2. 5k - 12 = 20
3. 2y + 15 - y = 22
4. 9h - 2 = 16 + 2h
Desigualdades do primeiro grau em 1 varivel
Relacionadas com as equaes de primeiro grau, existem as desigualdades de primeiro grau, (tambm
denominadas inequaes) que so expresses matemticas em que os termos esto ligados por um dos
quatro sinais:
<
menor
>
maior
<
menor ou igual
>
maior ou igual
Nas desigualdades, o objetivo obter um conjunto de todas os possveis valores que pode(m) assumir uma
ou mais incgnitas na equao proposta.
Exemplo: Determinar todos os nmeros inteiros positivos para os quais vale a desigualdade:
2x + 2 < 14
Para resolver esta desigualdade, seguiremos os seguintes passos:
Passo 1
2x + 2 < 14
2x < 12
Passo 4
x<6
Conclumos que o conjunto soluo formado por todos os nmeros inteiros positivos menores do que 6:
S = {1, 2, 3, 4, 5}
Exemplo: Para obter todos os nmeros pares positivos que satisfazem desigualdade
2x + 2 < 14
obteremos o conjunto soluo:
S = {2, 4}
Observao: Se h mais do que um sinal de desigualdade na expresso, temos vrias desigualdades
"disfaradas" em uma.
Exemplo: Para determinar todos os nmeros inteiros positivos para os quais valem as (duas) desigualdades:
12 < 2x + 2 < 20
poderemos seguir o seguinte processo:
12
<
2x + 2
<
20
12 - 2 < 2x + 2 - 2 < 20 - 2
Equao original
Subtramos 2 de todos os
membros
10
<
2x
<
18
<
<
Soluo
O conjunto soluo :
S = {6, 7, 8, 9}
Exemplo: Para obter todos os nmeros inteiros negativos que satisfazem s (duas) desigualdades
12 < 2x + 2 < 20
obteremos apenas o conjunto vazio, como soluo, isto :
S=={}
Primeira equao
Segunda equao
114 - 9y - 4y = 36
114 - 13y = 36
114 - 36 = 13y
simplificamos a equao
78 = 13y
13 y = 78
y=6
Se o sistema formado por duas equaes que so retas no plano cartesiano, temos a ocorrncia de:
Retas concorrentes: quando o sistema admite uma nica soluo que um par ordenado localizado na
interseo das duas retas;
Retas paralelas: quando o no admite soluo, pois um ponto no pode estar localizado em duas retas
paralelas;
Retas coincidentes: quando o admite uma infinidade de solues pois as retas esto sobrepostas.
Exemplos das trs situaes
Tipos de retas
Sistema
Concorrentes
x+y=2
x-y=0
Paralelas
x+y=2
x+y=4
Coincidentes
x+y=2
2x + 2y = 4
equaes ser:
C + A = 22
C- A=4
Resposta: C = 13 e A = 9
2. A populao de uma cidade A o triplo da populao da cidade B. Se as duas cidades juntas tm uma
populao de 100.000 habitantes, quantos habitantes tem a cidade B?
Soluco: Identificando a populao da cidade A com a letra A e a populao da cidade B com B, o
sistema de equaes ser:
A + B = 100000
A = 3B
Resposta: A = 75000, B= 25000.
3. Uma casa com 260m2 de rea construda tem 3 dormitrios de mesmo tamanho. Qual a rea de
cada dormitrio se as outras dependncias da casa ocupam 140m2?
Soluo: Identificaremos a rea de cada dormitrio com a letra D e a rea das outras dependncias
com a letra O. Assim, o sistema ser:
3D + O = 260
O = 140
Resposta: D = 40
Desigualdades com 2 Equaes em 2 variveis
Outra situao bastante comum aquela em que existe uma desigualdade com 2 equaes em 2 ou mais
incgnitas. Estudaremos aqui apenas o caso em aparecem 2 equaes e 2 incgnitas x e y. Uma forma geral
pode ter a seguinte forma tpica:
ax+by<c
dx+ey>f
onde as constantes: a, b, c, d, e, f; so conhecidas.
Exemplo: Determinar todos os pares ordenados de nmeros reais para os quais:
2x + 3y > 6
5x + 2y < 20
H infinitos pares ordenados de nmeros reais satisfazendo a esta desigualdade, o que torna impossvel
exibir todas as solues. Para remediar isto, utilizaremos um processo geomtrico que permitir obter uma
soluo geomtrica satisfatria.
Processo geomtrico:
(1) Traar a reta 2x+3y=6 (em vermelho);
(2) Escolher um ponto fora da reta, como o par (2,2) e observar que ele satisfaz primeira desigualdade;
(3) Devemos colorir o semi-plano contendo o ponto (2,2) (em verde);
43
Equaes algbricas so equaes nas quais a incgnita x est sujeita a operaes algbricas como: adio,
subtrao, multiplicao, diviso e radiciao.
Exemplos:
1. a x + b = 0
2. a x + bx + c = 0
3. a x4 + b x + c = 0
Uma equao algbrica est em sua forma cannica, quando ela pode ser escrita como:
ao xn + a xn-1 + ... + a x1 + a = 0
1
n-1
n
onde n um nmero inteiro positivo (nmero natural). O maior expoente da incgnita em uma equao
algbrica denominado o grau da equao e o coeficiente do termo de mais alto grau denominado
coeficiente do termo dominante.
Exemplo: A equao 4x+3x+2=0 tem o grau 2 e o coeficiente do termo dominante 4. Neste caso, dizemos
que esta uma equao do segundo grau.
uma do primeiro grau, atravs da extrao de razes quadradas de ambos os membros da mesma.
Seja a equao:
a x + b x + c = 0
com a no nulo e dividindo todos os coeficientes por a, temos:
x + (b/a) x + c/a = 0
Passando o termo constante para o segundo membro, teremos:
x + (b/a) x = -c/a
Prosseguindo, faremos com que o lado esquerdo da equao seja um quadrado perfeito e para isto
somaremos o quadrado de b/2a a ambos os membros da equao para obter:
x + (b/a) x + (b/2a) = -c/a + (b/2a)
Simplificando ambos os lados da equao, obteremos:
[x+(b/2a)]2 = (b - 4ac) / 4a
Notao: Usaremos a notao R[x] para representar a raiz quadrada de x>0. R[5] representar a raiz
quadrada de 5. Esta notao est sendo introduzida aqui para fazer com que a pgina seja carregada mais
rapidamente, pois a linguagem HTML ainda no permite apresentar notaes matemticas na Internet de
uma forma fcil.
Extraindo a raiz quadrada de cada membro da equao e lembrando que a raiz quadrada de todo nmero
real no negativo tambm no negativa, obteremos duas respostas para a nossa equao:
x + (b/2a) = + R[(b-4ac) / 4a]
ou
x + (b/2a) = - R[(b-4ac) / 4a]
que alguns, por preguia ou descuido, escrevem:
contendo um sinal que lido como mais ou menos. Lembramos que este sinal no tem qualquer
significado em Matemtica.
Como estamos procurando duas razes para a equao do segundo grau, deveremos sempre escrever:
x' = -b/2a + R[b-4ac] /2a
ou
x" = -b/2a - R[b-4ac] /2a
A frmula de Bhaskara ainda pode ser escrita como:
onde D (s vezes usamos a letra maiscula "delta" do alfabeto grego) o discriminante da equao do
segundo grau, definido por:
D = b - 4ac
Exemplos gerais
1. 4x=0 tem duas razes nulas.
2. 4x-8=0 tem duas razes: x'=R[2], x"= -R[2]
3. 4x+5=0 no tem razes reais.
4. 4x-12x=0 tem duas razes reais: x'=3, x"=0
Exerccios: Resolver as equaes incompletas do segundo grau.
1. x + 6x = 0
2. 2 x = 0
3. 3 x + 7 = 0
4. 2 x + 5 = 0
5. 10 x = 0
6. 9 x - 18 = 0
Delta
Tipos de razes
x-6x+8=0
-6
reais e diferentes
x-10x+25=0
x+2x+7=0
x+2x+1=0
x+2x=0
O uso da frmula de Bhaskara
Voc pode realizar o Clculo das Razes da Equao do segundo grau com a entrada dos coeficientes a, b e
c em um formulrio, mesmo no caso em que D negativo, o que fora a existncia de razes complexas
conjugadas. Para estudar estas razes, visite o nosso link Nmeros Complexos.
Mostraremos agora como usar a frmula de Bhaskara para resolver a equao:
x - 5 x + 6 = 0
1. Identificar os coeficientes: a=1, b= -5, c=6
2. Escrever o discriminante D = b-4ac.
3. Calcular D=(-5)-416=25-24=1
4. Escrever a frmula de Bhaskara:
Exerccios
1. Calcular o discriminante de cada equao e analisar as razes em cada caso:
a. x + 9 x + 8 = 0
b. 9 x - 24 x + 16 = 0
c. x - 2 x + 4 = 0
d. 3 x - 15 x + 12 = 0
e. 10 x + 72 x - 64 = 0
2. Resolver as equaes:
a. x + 6 x + 9 = 0
b. 3 x - x + 3 = 0
c. 2 x - 2 x - 12 = 0
d. 3 x - 10 x + 3 = 0
Exemplos:
1. 3/(x - 4) + 1/(x - 3) = 0
2. 3/(x-4)+1/(x-2)=0
Para resolver este tipo de equao, primeiramente devemos eliminar os valores de x que anulam os
denominadores, uma vez que tais valores no serviro para as razes da equao, pois no existe frao com
denominador igual a 0. Na sequncia extramos o mnimo mltiplo comum de todos os termos dos
denominadores das fraes, se houver necessidade.
1. Consideremos o primeiro exemplo:
3/(x - 4) + 1/(x - 3) = 0
x deve ser diferente de 3, diferente de 2 e diferente de -2, assim podemos obter o mnimo mltiplo
comum entre os termos como:
MMC(x) = (x - 4)(x - 3)
Reduzindo as fraes ao mesmo denominador que dever ser MMC(x), teremos:
[3(x-3) + 1(x-4)] / (x-4)(x-3) = 0
o que significa que o numerador dever ser:
3(x - 3) + 1(x - 4) = 0
que desenvolvido nos d:
x2 + 3x - 13 = 0
que uma equao do segundo grau que pode ser resolvida pela frmula de Bhaskara. No existiro
nmeros reais satisfazendo esta equao.
2. Consideremos agora o segundo exemplo:
(x+3)/(2x-1)=2x/(x+4)
O mnimo mltiplo comum entre 2x-1 e x+4 MMC=(2x-1)(x-4) (o produto entre estes fatores) e
MMC somente se anular se x=1/2 ou x= -4. Multiplicando os termos da equao pelo MMC, teremos
uma sequncia de expresses como:
(x+3)(x+4)=2x(2x-1)
x + 7x + 12 = 4x - 2x
-3x + 9x + 12 = 0
3x - 9x - 12 = 0
x - 3x - 4 = 0
(x-4)(x+1) = 0
Soluo: x'=4 ou x"= -1
3. Estudemos outro exemplo:
3/(x-4)+1/(x-2)=0
O mnimo mltiplo comum MMC=x-4=(x-2)(x+2) e este MMC somente se anular se x=2 ou x= 2. Multiplicando os termos da equao pelo MMC, obteremos:
3 + (x+2)=0
cuja soluo x= -5
Exerccios: Resolver as equaes do segundo grau fracionrias:
1. x + 6/x = -7
2. (x+2)/(x+1) = 2x/(x-4)
3. (2-x)/x + 1/x = 3/x
4. (x+2)/(x-2) + (x-2)/(x+2) = 1
Equaes bi-quadradas
So equaes do 4o. grau na incgnita x, da forma geral:
a x4 + b x + c = 0
Na verdade, esta uma equao que pode ser escrita como uma equao do segundo grau atravs da
substituio:
y = x
para gerar
a y + b y + c = 0
Aplicamos a frmula quadrtica para resolver esta ltima equao e obter as solues y' e y" e o
procedimento final deve ser mais cuidadoso, uma vez que
x = y' ou x = y"
e se y' ou y" for negativo, as solues no existiro para x.
Exemplos:
1. Para resolver x4-13x+36=0, tomamos y=x, para obter y-13y+36=0, cujas razes so y'=4 ou y"=9,
assim:
x = 4 ou x = 9
o que garante que o conjunto soluo :
S = { 2, -2, 3, -3}
2. Para resolver x4-5x-36=0, tomamos y=x, para obter y-5y-36=0, cujas razes so y'= -4 ou y"=9 e
desse modo:
x = -4 ou x = 9
o que garante que o conjunto soluo :
S = {3, -3}
3. Se tomarmos y=x na equao x4+13x+36=0, obteremos y+13y+36=0, cujas razes so y'= -4 ou y"= 9 e dessa forma:
x = -4 ou x = -9
50
Sistemas de equaes
Noes:
A soma de dois nmeros 12 e a diferena entre eles 4. Quais so estes nmeros?
Para a resoluo de problemas como este que apresenta duas incgnitas desconhecidas, utilizamos um
sistema de equaes.
Chamamos de x o primeiro nmero (o maior) e de y o segundo nmero.
Pelo enunciado:
soma de dois nmeros 12, ou seja: x+y = 12 ...I
a diferena entre eles 4, isto : x-y = 4 .....II
A soluo de um sistema de equaes com duas variveis um par ordenado (x,y) de nmeros reais que
satisfaz as duas equaes ( I e II ).
Verificando o par ordenado (8,4), notamos que satisfaz as duas equaes:
8+4=12 e 8-4=4 , logo a soluo do sistema (8,4)
Vejamos agora os mtodos para a resoluo de sistema de equaes:
Mtodo da adio:
basta eliminar uma das variveis, atravs de termos opostos, recaindo numa equao do 1 grau com uma
varivel.
Ex:
x+y=12
x-y=4
Notamos que as duas equaes possuem termos opostos
(y e -y).
Com isso, basta somar as duas equaes:
51
... II
0x + 0y = 6 .... III
Observe que a equao III no possui soluo, logo a soluo do sistema seria vazio.
S= { }
Mtodo da substituio:
Consiste em eliminarmos uma das variveis isolando seu valor numa das equaes do sistema, para em
seguida substitui-la na outra.
Ex: x+y=12 ... I
x-y=4 .... II
Escolhemos uma das variveis na primeira equao, para determinarmos o seu valor:
x+y=12 x=12-y
Substitumos na outra equao:
(12-y) - y = 4
12-2y = 4
-2y = -8
y=4
Substituindo o valor encontrado em uma das equaes:
x+4=12 x=12-4 x=8
Logo a soluo do sistema seria:
S = {(8,4)}
Ex:
... I
... II
52
x=2-2y
x=3-y
Como j vimos anteriormente mas o edital cobra duas vezes, A unidade de tempo escolhida como padro no
Sistema Internacional (SI) o segundo.
Segundo
O Sol foi o primeiro relgio do homem: o intervalo de tempo natural decorrido entre as sucessivas
hora
dia
min
60 min = 3.600 s
60 s
So submltiplos do segundo:
dcimo de segundo
centsimo de segundo
milsimo de segundo
Observe:
semana = 7 dias
quinzena = 15 dias
bimestre
= 2 meses
trimestre = 3 meses
quadrimestre = 4 meses
semestre = 6 meses
binio = 2 anos
lustro ou qinqnio = 5 anos
dcada = 10 anos
sculo = 100 anos
milnio = 1.000 anos
Unidade
Mltiplos
hectmetro
decmetro
metro
Submltiplos
decmetro
centmetro
milmetro
km
hm
dam
dm
cm
mm
1.000m
100m
10m
1m
0,1m
0,01m
0,001m
Os mltiplos do metro so utilizados para medir grandes distncias, enquanto os submltiplos, para
pequenas distncias. Para medidas milimtricas, em que se exige preciso, utilizamos:
mcron () = 10-6 m
angstrn () = 10-10 m
Para distncias astronmicas utilizamos o Ano-luz (distncia percorrida pela luz em um ano):
Ano-luz = 9,5 1012 km
O p, a polegada, a milha e a jarda so unidades no pertencentes ao sistemas mtrico decimal, so
utilizadas em pases de lngua inglesa. Observe as igualdades abaixo:
P
30,48 cm
Polegada
2,54 cm
Jarda
91,44 cm
Milha terrestre
1.609 m
Milha martima
1.852 m
Observe que:
1 p = 12 polegadas
1 jarda = 3 ps
hm
dam
dm
cm
mm
2) Colocar o nmero no quadro de unidades, localizando o ltimo algarismo da parte inteira sob a sua
respectiva.
km
hm
dam
dm
cm
mm
1
5,
0
4
8
3) Ler a parte inteira acompanhada da unidade de medida do seu ltimo algarismo e a parte decimal
acompanhada da unidade de medida do ltimo algarismo da mesma.
15 metros e 48 milmetros
Outros exemplos:
6,07 km
82,107 dam
0,003 m
Transformao de Unidades
Transforme 16,584hm em m.
km
hm
dam
dm
cm
mm
Para transformar hm em m (duas posies direita) devemos multiplicar por 100 (10 x 10).
16,584 x 100 = 1.658,4
Ou seja:
16,584hm = 1.658,4m
hm
dam
dm
cm
mm
Para transformar dam em cm (trs posies direita) devemos multiplicar por 1.000 (10 x 10 x
10).
1,463 x 1.000 = 1,463
Ou seja:
1,463dam = 1.463cm.
hm
dam
dm
cm
mm
Para transformar m em dam (uma posio esquerda) devemos dividir por 10.
176,9 : 10 = 17,69
Ou seja:
176,9m = 17,69dam
km
hm
dam
dm
cm
mm
Permetro de um Polgono
Permetro de um polgono a soma das medidas dos seus lados.
Permetro do retngulo
b - base ou comprimento
h - altura ou largura
Permetro = 2b + 2h = 2(b +
h) Permetro dos polgonos regulares
Tringulo equiltero
P = l+ l + l
P=3l
Quadrado
P = l + l + l+ l
P=4l
Pentgono
Hexgono
P=l+l+l+l+l
l
P=l+l+l+l+l+
P=5
l - medida do lado do polgono regular
P - permetro do polgono regular
P=6l
Comprimento da Circunferncia
Um pneu tem 40cm de dimetro, conforme a figura. Pergunta-se:
Cada volta completa deste pneu corresponde na horizontal a quantos centmetros?
Envolva a roda com um barbante. Marque o incio e o fim desta volta no barbante.
Estique o bastante e mea o comprimento da circunferncia correspondente roda.
Medindo essa dimenso voc encontrar aproximadamente 125,6cm, que um valor um pouco superior a
3 vezes o seu dimetro. Vamos ver como determinar este comprimento por um processo no experimental.
Voc provavelmente j ouviu falar de uma antiga descoberta matemtica:
Dividindo o comprimento de uma circunferncia (C) pela medida do seu dimetro (D),
encontramos sempre um valor aproximadamente igual a 3,14.
Assim:
O nmero 3,141592... corresponde em matemtica letra grega
palavra grega permetro. Costuma-se considera = 3,14.
Logo:
Utilizando essa frmula, podemos determinar o comprimento de qualquer
circunferncia.
Podemos agora conferir com auxlio da frmula o comprimento da toda
obtido experimentalmente.
C=2 r
C = 2 3,14 20
3,141...
C = 125,6 cm
PERODO DE
VIGNCIA
SMBOLO CORRESPONDNCIA
Perodo colonial at
7/10/1833
Mil Ris
8/10/1833 a
31/10/1942
R$
Cruzeiro
1/11/1942 a
30/11/1964
Cr$
Cruzeiro (eliminados
os centavos)
Cruzeiro
Cruzeiro (eliminados
os centavos)
Cruzado Novo
Cruzeiro
16/03/1990 a
31/7/1993
Cr$
Cruzeiro Real
1/8/1993 a 30/6/1994
CR$
60
A partir de 1/7/1994
R$
Funes Trigonomtricas
Funo seno
Definio
Chamamos de funo seno a funo f: R R que a cada nmero real x, associa o seno desse nmero:
f: R R, f(x) = sen x
O domnio dessa funo R e a imagem Im [ -1,1] ; visto que, na circunferncia trigonomtrica
o raio unitrio e, pela definio do seno, 1 sen x 1, ou seja:
Domnio de f(x) = sen x; D(sen x) = R.
Funo cosseno
Definio
Chamamos de funo cosseno a funo f: R R que a cada nmero real x , associa o cosseno desse
nmero: f: R R, f(x) = cos x.
O domnio dessa funo R e a imagem Im [ -1,1] ; visto que, na circunferncia trigonomtrica
o raio unitrio e, pela definio do cosseno, 1 cos x 1, ou seja:
Domnio de f(x) = cos x; D(cos x) = R.
Imagem de f(x) = cos x; Im(cos x) = [ -1,1] .
Sinal da Funo:
Como cosseno x a abscissa do ponto-extremidade do arco:
f(x) = cos x positiva no 1 e 2 quadrantes (abscissa positiva)
f(x) = cos x negativa no 3 e 4 quadrantes (abscissa negativa)
Funo tangente
Definio
Chamamos de funo tangente a funo f: E R que a cada nmero x E, com E = x R/ x p +
kp , k Z associa a tangente desse nmero: f: E R, f(x) = tg x.
O domnio dessa funo E e a imagem R; visto que no 1 e 3 quadrantes, a funo tg x varia de
0(zero) at (infinito) e 2 e 4 quadrantes varia de - (menos infinito) at 0(zero)
Domnio de f(x) = tg x; D(tg x) = E = x R/ x p + kp , k Z .
Imagem de f(x) = tg x; Im(tg x) = R.
Sinal da Funo:
Como tangente x a ordenada do ponto T interseo da reta que passa pelo centro de uma
circunferncia trigonomtrica e o ponto-extremidade do arco, com o eixo das tangentes ento:
f(x) = tg x positiva no 1 e 3 quadrantes (produto da ordenada pela abscissa positiva)
f(x) = tg x negativa no 2 e 4 quadrantes (produto da ordenada pela abscissa negativa)
Funo secante
Definio
Denomina-se funo secante a funo f(x) = 1/cos x, definida para todo x R diferente de p + kp ,
onde k Z.
Sinal da funo
Como a funo secante a inversa da funo cosseno, ento os sinais da funo secante so os
mesmos da funo cosseno.
Funo cossecante
Definio
Denomina-se funo cossecante a funo f(x) = 1/sen x, definida para todo x R diferente de kp ,
onde k Z.
Sinal da funo
Como a funo cossecante a inversa da funo seno, ento os sinais da funo cossecante so os
mesmos da funo seno.
Funo cotangente
Definio
Denomina-se funo cossecante a funo f(x) = 1/sen x, definida para todo x R diferente de kp ,
onde k Z.
Sinal da funo
Como a funo cossecante a inversa da funo seno, ento os sinais da funo cossecante so os
Veja mais
A funo seno
Quando
Quando
Quando
Quando
A funo cosseno
Quando
Quando
Quando
Quando ,
A funo tangente
Observe que esse grfico razovel. De fato:
Em primeiro lugar
ou seja, quando
Em segundo lugar,
ou seja, quando
Em terceiro lugar,
ou seja, quando,
Finalmente,
ou seja, quando ,
Funo secante
Temos:
Definio:
Tambm, a partir da circunferncia trigonomtrica, j sabemos que, na figura abaixo, para cada
, sec x a medida algbrica do segmento OS ou do segmento OT.
, onde k um nmero
A fim de esboar o grfico de y=sec x, faamos a anlise de como a variao de y conforme x varia:
funo cossecante
Temos:
Definio:
A fim de esboar o grfico de y=cossec x, faamos a anlise de como a variao de y conforme x varia:
Polgono: uma figura plana formada por trs ou mais segmentos de reta que se intersectam dois a dois. Os
segmentos de reta so denominados lados do polgono.Os pontos de interseco so denominados vrtices
do polgono. A regio interior ao polgono muitas vezes tratada como se fosse o prprio polgono
Polgono convexo: um polgono construdo de modo que os prolongamentos dos lados nunca ficaro no
interior da figura original. Se dois pontos pertencem a um polgono convexo, ento todo o segmento tendo
estes dois pontos como extremidades, estar inteiramente contido no polgono.
Polgono No. de lados Polgono No. de lados
Tringulo
3
Quadriltero
4
Pentgono
5
Hexgono
6
Heptgono
7
Octgono
8
Enegono
9
Decgono
10
Undecgono
11
Dodecgono
12
Polgono no convexo: Um polgono dito no convexo se dados dois pontos do polgono, o segmento que
tem estes pontos como extremidades, contiver pontos que esto fora do polgono.
Paralelogramo: um quadriltero cujos lados opostos so paralelos. Pode-se mostrar que num paralelogramo:
Losango: Paralelogramo que tem todos os quatro lados congruentes. As diagonais de um losango formam um
ngulo de 90o.
Retngulo: um paralelogramo com quatro ngulos retos e dois pares de lados paralelos.
Quadrado: um paralelogramo que ao mesmo tempo um losango e um retngulo. O quadrado possui quatro
lados com a mesma medida e tambm quatro ngulos retos.
Trapzio: Quadriltero que s possui dois lados opostos paralelos com comprimentos distintos, denominados
base menor e base maior. Pode-se mostrar que o segmento que liga os pontos mdios dos lados no paralelos
de um trapzio paralelo s bases e o seu comprimento a mdia aritmtica das somas das medidas das bases
maior e menor do trapzio.
Trapzio issceles: Trapzio cujos lados no paralelos so congruentes. Neste caso, existem dois ngulos
congruentes e dois lados congruentes. Este quadriltero obtido pela retirada de um tringulo issceles
menor superior (amarelo) do tringulo issceles maior.
"Pipa" ou "papagaio": um quadriltero que tem dois pares de lados consecutivos congruentes, mas os seus
lados opostos no so congruentes.
Neste caso, pode-se mostrar que as diagonais so perpendiculares e que os ngulos opostos ligados pela
diagonal menor so congruentes.
70
Permetro
Permetro a distncia que circunda um objeto bidimensional.
Um polgono tem permetro igual soma do comprimento de suas arestas.
Uma circunferncia tem permetro igual ao dobro do pi vezes raio, mais simplificada ainda, pode ser
feita como pi vezes dimetro .
Para ser mais simplificado, fazemos a conta assim: c = 2.pi.r. Sendo,
c= comprimento, 2.= 2x3.14 = 6.28 e R= raio
Um exemplo dessa conta:
C=6,28.10mm=62,80.
rea do crculo o valor limite da sequncia das reas das regies poligonais regulares inscritas no crculo
quando o nmero n de lados das poligonais aumenta arbitrariamente.
Um tringulo equiltero
Problema: Construir um tringulo equiltero ABC no plano cartesiano sabendo-se que existe um ponto P
que est distante 7 unidades de A, 6 unidades de B e 8 unidades de C e ao final obter a sua rea.
Soluo: Embora a soluo esteja apresentada na sequncia, sugiro que o visitante interessado neste
problema, tente resolv-lo sem ver os procedimentos apresentados aqui pois, este um problema simples na
sua proposio mas envolve muita matemtica para a sua resoluo.
Vamos supor que exista um tringulo equiltero com lado de comprimento igual a u unidades. Podemos
construir este tringulo com os vrtices nos pontos A=(0,0), B=(u,0) e C=(u/2,u.R[3]/2) do plano cartesiano.
Aqui R[z] significa a raiz quadrada de z>0.
Pela informao do problema, existe um ponto P=(v,w) localizado a distncias 7, 6 e 8
unidades, respectivamente dos vrtices A, B e C do tringulo.
Em funo da frmula da distncia entre dois pontos no plano, podemos escrever:
(Eq1) v + w = 49
(Eq2) (v-u) + w = 36
(Eq3) (v-u/2) + (w-u.R[3]/2) = 64
w" = -R[170-169/u-u]/2
Substituindo agora v e w na Eq3, obteremos uma equao biquadrada na varivel u:
u4 -149 u + 589 = 0
Tomando u=x, obteremos uma equao do 2o. grau:
x -149 x + 589 = 0
Resolvendo esta equao e voltando s variveis originais u, obtemos quatro respostas:
u1=12.0389427, u2=-12.0389427,
u3 = 2.01590146, u4=-2.01590146
Em princpio, eu esperava obter apenas uma soluo com u positivo!
Para cada resposta obtida para u, obtemos valores correspondentes para v e para w, assim temos
quatro respostas:
[u1,v1,w1]=[ 12.03894270, 6.559385873,2.444270233]
[u2,v2,w2]=[-12.03894270,-6.559385873,2.444270230]
[u3,v3,w3]=[ 2.01590146, 4.232314683,5.575617670]
[u4,v4,w4]=[ -2.01590146,-4.232314683,5.575617670]
Com um pouco de cuidado e muito clculo, observamos que [u1,v1,w1] e [u4,v4,w4] satisfazem ao problema,
mas [u2,v2,w2] e [u3,v3,w3] no satisfazem ( estas so denominadas solues estranhas ao problema).
Podemos agora construir os dois primeiros tringulos para esta situao:
Tringulo 1: (primeiro quadrante)
A=(0,0), B=(12.0389427,0), C=(6.01947135,18.05841405),
P=(6.559385873,2.444270233)
Tringulo 2: (segundo quadrante)
A=(0,0), B=(-2.01590146,0), C=(-1.007950073,1.745821876)
P=(-4.232314683,5.57561767)
Usando um pouco a imaginao, possvel observar que existem tambm dois outros tringulos simtricos em
relao ao eixo horizontal com as mesmas propriedades. A nica diferena que as coordenadas de w devem
mudar de sinal.
72
O dobro da medida h corresponde mdia harmnica entre os nmeros 8 e 10, assim, voc tem uma
representao geomtrica para a mdia harmnica entre dois segmentos!
rea do Retngulo
A figura ao lado mostra o retngulo ABCD, que mede 3 unidades de comprimento e 2 unidades de altura.
O segmento horizontal que passa no meio do retngulo e os segmentos verticais, dividem o retngulo em
seis quadrados tendo cada um 1 unidade de rea.
A rea do retngulo ABCD a soma das reas destes seis quadrados. O nmero de unidades de rea do
retngulo coincide com o obtido pelo produto do nmero de unidades do comprimento da base AB pelo
nmero de unidades da altura BC.
O lado do retngulo pode ser visto como a base e o lado adjacente como a altura, assim, a rea A do retngulo
o produto da medida da base b pela medida da altura h.
A=bh
rea do quadrado
Um quadrado um caso particular de retngulo cuja medida da base igual medida da altura. A rea
do quadrado pode ser obtida pelo produto da medida da base por si mesma.
Esta a razo pela qual a segunda potncia do nmero x, indicada por x, tem o nome de quadrado de x e a rea
A do quadrado obtida pelo quadrado da medida do lado x.
A = x
73
Exemplo: Obter a rea do retngulo cujo comprimento da base 8 unidades e o comprimento da altura 5
unidades.
A = bh
A = (8u)x(5u) = 40u
No clculo de reas em situaes reais, usamos medidas de comprimento em funo de alguma certa
unidade como: metro, centmetro, quilmetro, etc...
Exemplo: Para calcular a rea de um retngulo com 2 m de altura e 120 cm de base, podemos expressar a rea
em metros quadrados ou qualquer outra unidade de rea.
1. Transformando as medidas em metros
Como h=2m e b=120cm=1,20m, a rea ser obtida atravs de:
A = bh
A = (1,20m)(2m) = 2,40m
rea do Paralelogramo
Combinando os processos para obteno de reas de tringulos congruentes com aqueles de reas de retngulos
podemos obter a rea do paralelogramo.
Qualquer lado do paralelogramo pode ser tomado como sua base e a altura correspondente o segmento
perpendicular reta que contm a base at o ponto onde esta reta intercepta o lado oposto do
paralelogramo.
No paralelogramo ABCD abaixo esquerda, os segmentos verticais tracejados so congruentes e qualquer
um deles pode representar a altura do paralelogramo em relao base AB.
Exemplo: Mostraremos que a rea do tringulo equiltero cujo lado mede s dada por A=sR[3]/2, onde R[z]
denota a raiz quadrada de z>0. Realmente, com o Teorema de Pitgoras, escrevemos h=s-(s/2) para obter
h=(3/4)s garantindo que h=R[3]s/2.
74
Propriedade: A razo entre as reas de dois tringulos semelhantes igual ao quadrado da razo entre
os comprimentos de quaisquer dois lados correspondentes.
rea de ABC
a
=
rea de RST
b
=
c
=
rea do losango
O losango um paralelogramo e a sua rea tambm igual ao produto do comprimento da medida da base pela
medida da altura.
A rea do losango o semi-produto das medidas das diagonais, isto , A=(d1d2)/2. Demonstrao da frmula
rea do trapzio
Em um trapzio existe uma base menor de medida b1, uma base maior de medida b2 e uma altura com
medida h.
A rea A do trapzio o produto da mdia aritmtica entre as medidas das bases pela medida da altura, isto
, A=(b1+b2).h/2.
Polgonos regulares
Um polgono regular aquele que possui todos os lados congruentes e todos os ngulos congruentes. Existem
duas circunferncias associadas a um polgono regular.
Circunferncia circunscrita: Em um polgono regular com n lados, podemos construir uma circunferncia
75
circunscrita (por fora), que uma circunferncia que passa em todos os vrtices do polgono e que contm o
polgono em seu interior.
Circunferncia inscrita: Em um polgono regular com n lados, podemos colocar uma circunferncia inscrita
(por dentro), isto , uma circunferncia que passa tangenciando todos os lados do polgono e que est contida
no polgono.
Elementos de um polgono regular
1. Centro do polgono o centro comum s circunferncias inscrita e circunscrita.
2. Raio da circunferncia circunscrita a distncia do centro do polgono at um dos vrtices.
3. Raio da circunferncia inscrita o aptema do polgono, isto , a distncia do centro do polgono ao
ponto mdio de um dos lados.
4. ngulo central o ngulo cujo vrtice o centro do polgono e cujos lados contm vrtices
consecutivos do polgono.
Aptema: OM,
Aptema: OX,
Raios: OA,OF
Raios: OR,OT
ngulo central: AOF ngulo central: ROT
5. Medida do ngulo central de um polgono com n lados dada por 360/n graus. Por exemplo, o ngulo
central de um hexgono regular mede 60 graus e o ngulo central de um pentgono regular mede
360/5=72 graus.
reas de polgonos regulares
Traando segmentos de reta ligando o centro do polgono regular a cada um dos vrtices desse polgono de nlados, iremos decompor este polgono em n tringulos congruentes.
Assim, a frmula para o clculo da rea da regio poligonal regular ser dada pela metade do produto
da medida do aptema a pelo permetro P, isto :
A = a Permetro / 2
Demonstrao da frmula
Comparando reas entre polgonos semelhantes
Apresentamos abaixo dois pentgonos irregulares semelhantes. Dos vrtices correspondentes A e L
traamos diagonais decompondo cada pentgono em trs tringulos.
76
Os pares de tringulos correspondentes ABC e LMN, parecem semelhantes, o que pode ser verificado
diretamente atravs da medio de seus ngulos com um transferidor. Assumiremos que tal propriedade
seja vlida para polgonos semelhantes com n lados.
Observao: Se dois polgonos so semelhantes, eles podem ser decompostos no mesmo nmero de tringulos
e cada tringulo semelhante ao tringulo que ocupa a posio correspondente no outro polgono.
Este fato e o teorema sobre razo entre reas de tringulos semelhantes so usados para demonstrar o
seguinte teorema sobre reas de polgonos semelhantes.
Teorema: A razo entre reas de dois polgonos semelhantes igual ao quadrado da razo entre
os comprimentos de quaisquer dois lados correspondentes.
rea de ABCDE...
s
=
rea de A'B'C'D'E'...
t
=
(s')
(t')
Grficos e Tabelas
77
Maio
Junho
Julho
Agosto
Setembro
Outubro
Novembro
Dezembro
Maio
Junho
Julho
Agosto
Setembro
Outubro
Novembro
Dezembro
Veja na tabela abaixo, a preferncia por sabores de sorvete entre algumas crianas,
entrevistadas num bairro na cidade de So Paulo:
ABACAXI
5
CHOCOLATE
9
BAUNILHA
3
MORANGO
6
Com base nos dados vamos produzir um grfico, pintando um quadrinho para cada voto. Deixe
seu grfico colorido usando cores diferentes para cada coluna:
ABACAXI
CHOCOLATE
BAUNILHA
MORANGO
80
Observe o grfico abaixo: ele mostra o nmero de aniversariantes de uma sala de aula em
cada ms do ano:
81
Energia (Wh)
400
x
Tempo (h)
3
x
84
Carrinhos
20
x
Dias
5
16
Observe que:
Aumentando o nmero de homens, a produo de carrinhos aumenta. Portanto a relao
diretamente proporcional (no precisamos inverter a razo).
Aumentando o nmero de dias, a produo de carrinhos aumenta. Portanto a relao
tambm diretamente proporcional (no precisamos inverter a razo). Devemos igualar a razo
que contm o termo x com o produto das outras razes.
Montando a proporo e resolvendo a equao temos:
85
Exerccios complementares
Agora chegou a sua vez de tentar. Pratique tentando fazer esses exerccios:
1) Trs torneiras enchem uma piscina em 10 horas. Quantas horas levaro 10 torneiras
para encher 2 piscinas? Resposta: 6 horas.
2) Uma equipe composta de 15 homens extrai, em 30 dias, 3,6 toneladas de carvo. Se for
aumentada para 20 homens, em quantos dias conseguiro extrair 5,6 toneladas de carvo? Resposta:
35 dias.
3) Vinte operrios, trabalhando 8 horas por dia, gastam 18 dias para construir um muro de
300m. Quanto tempo levar uma turma de 16 operrios, trabalhando 9 horas por dia, para
construir um muro de 225m? Resposta: 15 dias.
4) Um caminhoneiro entrega uma carga em um ms, viajando 8 horas por dia, a uma velocidade
mdia de 50 km/h. Quantas horas por dia ele deveria viajar para entregar essa carga em 20 dias,
a uma velocidade mdia de 60 km/h? Resposta: 10 horas por dia.
5) Com uma certa quantidade de fio, uma fbrica produz 5400m de tecido com 90cm de
largura em 50 minutos. Quantos metros de tecido, com 1 metro e 20 centmetros de largura,
seriam produzidos em 25 minutos? Resposta: 2025 metros.
CLCULO PROPOSICIONAL
Como primeira e indispensvel parte da Lgica Matemtica temos o CLCULO PROPOSICIONAL ou
CLCULO SENTENCIAL ou ainda CLCULO DAS SENTENAS.
CONCEITO DE PROPOSIO
PROPOSIO: sentenas declarativas afirmativas (expresso de uma linguagem) da qual tenha
sentido afirmar que seja verdadeira ou que seja falsa.
A lua quadrada.
A neve branca.
Matemtica uma cincia.
No sero objeto de estudo as sentenas interrogativas ou exclamativas.
OS SMBOLOS DA LINGUAGEM DO CLCULO PROPOSICIONAL
VARIVEIS PROPOSICIONAIS: letras latinas minsculas p,q,r,s,.... para indicar as proposies
(frmulas atmicas) .
Exemplos: A lua quadrada : p
86
A neve branca : q
CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e, para representar
tais combinaes usaremos os conectivos lgicos :
: e , : ou , : se...ento , : se e somente se , : no
Exemplos:
A lua quadrada e a neve branca. : p q (p e q so chamados conjunctos)
A lua quadrada ou a neve branca. : p q ( p e q so chamados disjunctos)
Se a lua quadrada ento a neve branca. : p q ( p o antecedente e q o conseqente)
A lua quadrada se e somente se a neve branca. : p q
A lua no quadrada. : p
SMBOLOS AUXILIARES : ( ) , parnteses que servem para denotar o "alcance" dos conectivos;
Exemplos:
Se a lua quadrada e a neve branca ento a lua no quadrada. :
((p q) p)
A lua no quadrada se e somente se a neve branca. :
(( p) q))
DEFINIO DE FRMULA :
1. Toda frmula atmica uma frmula.
2. Se A e B so frmulas ento
(A B) , (A B) , (A B) , (A B) e ( A) tambm so frmulas.
3. So frmulas apenas as obtidas por 1. e 2. .
Os parnteses sero usados segundo a seguinte ordem dos conectivos: , , , , .
Com o mesmo conectivo adotaremos a conveno pela direita.
Exemplo: a frmula p q r p q deve ser entendida como
(((p q) ( r)) ( p ( q)))
AS TABELAS VERDADE
A lgica clssica governada por trs princpios (entre outros) que podem ser formulados como segue:
Princpio da Identidade: Todo objeto idntico a si mesmo.
Princpio da Contradio: Dadas duas proposies contraditrias (uma negao da outra), uma delas
falsa.
Princpio do Terceiro Excludo: Dadas duas proposies contraditrias, uma delas verdadeira.
Com base nesses princpios as proposies simples so ou verdadeiras ou falsas - sendo mutuamente exclusivos
os dois casos; da dizer que a lgica clssica bivalente.
Para determinar o valor (verdade ou falsidade) das proposies compostas (moleculares), conhecidos os valores
das proposies simples (atmicas) que as compem usaremos tabelas-verdade :
1.Tabela verdade da "negao" : ~p verdadeira (falsa) se e somente se p falsa (verdadeira).
87
~p
pq
pq
4. Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente verdadeiro e
o conseqente falso.
p
pq
pq
((p q) ~p) (q p)
V V
F V
V V
F F
NMERO DE LINHAS DE UMA TABELA-VERDADE: Cada proposio simples (atmica) tem dois
valores V ou F, que se excluem. Para n atmicas distintas, h tantas possibilidades quantos so os arranjos
com repetio de 2 (V e F) elementos n a n. Segue-se que o nmero de linhas da tabela verdade 2n. Assim,
para duas proposies so 22 = 4 linhas; para 3 proposies so 23 = 8; etc.
Exemplo: a tabela - verdade da frmula ((p q) r) ter 8 linhas como segue :
((p q) r )
NOTA: "OU EXCLUSIVO" importante observar que "ou" pode ter dois sentidos na linguagem habitual:
inclusivo (disjuno) ("vel") e exclusivo ( "aut") onde p q significa ((p q) (p q)).
p q ((p q) (p q))
V
F F
V V
V V
FV
Desta forma podemos simbolizar as sentenas consideradas nos exemplos da seguinte forma:
- "Todo mundo igual a si mesmo " por x xx;
- "Existem nmeros naturais que so pares" por xPar(x);
- "Scrates homem" por Homem(soc);
- "Todo aluno do departamento de Cincia da Computao estuda lgica" porx(Aluno(x,cc) Estuda (x,lg)).
J vimos como representar objetos do domnio atravs de constantes.Uma outra maneira de represent-los
atravez do uso de smbolos de funo.
Por exemplo podemos representar os nmeros naturais "1", "2", "3", etc atravs do uso de smbolo de funo,
digamos, suc, que vai gerar nomes para os nmeros naturais "1", "2", "3", etc. a partir da constante 0, e. g., "1"
vai ser denotado por suc(0), "3" vai ser denotado por suc(suc(suc(0))), etc. Seqncias de smbolos tais como
suc(0) e suc(suc(suc(0))) so chamadas termos.
Assim, a frase "Todo nmero natural diferente de zero sucessor de um nmero natural" pode ser simbolizada
por x(x0 ysuc(y)x).
Definies
Os smbolos de funo e de predicado tem aridades que dependem de quantos so seus argumentos. Uma
maneira simples de indicar a aridade de um smbolo de funo f ou de um smbolo de predicado P usar um
smbolo de tipo s e indicar que f n-ria por f: sns e que P n-rio por P: sn. Note que um elemento
distinguido u de um universo pode ser considerado como uma funo de aridade zero, assim, os smbolos de
constante podem ser declarados, usando 2a notao
acima, como c: s0s. Desta forma temos suc: s1s ou mais
0
simplesmente, suc: ss, Par: s, Aluno: s e 0: s s.
Os smbolos de constantes, funes e predicados so chamados de smbolos no lgicos de uma linguagem de
primeira ordem.
O elenco dos smbolos no lgicos de uma linguagem de primeira ordem , junto com suas respectivas aridades
chamado de assinatura.
Daremos a seguir as definies dos conceitos discutidos acima.
Def Sin1
Uma assinatura de uma linguagem de primeira ordem (mono sortida)1 consiste de um conjunto de
seqencias cujos elementos so da forma
f: sns, com n0 e/ou da forma P: sn , com n>0.
Dada uma assinatura , a linguagem de primeira ordem com assinatura , L(), tem como alfabeto:
- conectivos proposicionais:
(~) negao, (&) conjuno, disjuno, dupla implicao e () implicao.
- quantificadores:
quantificador universal e quantificador existencial
- smbolo de igualdade (opcional):
- smbolos de variveis: um conjunto contvel infinito, VAR
- smbolos de predicados de :
o conjunto consistindo do primeiro elemento de cada um das seqncias da forma P: sn que ocorrem em .
Para cada n, se P: sn ocorre em , P chamado de smbolo de predicado n-rio.
- smbolos de funo de :
o conjunto consistindo do primeiro elemento de cada uma das seqncias da forma f: sns que ocorrem em .
Para cada n, se f: sns ocorre em , f chamado de smbolo de predicado n-rio. Os smbolos de funo 0-ria
so chamados de smbolos de constantes.
- smbolos de pontuao: "(", ")", "[", "]", "{", "}".
Por conveno usaremos letras maisculas ou palavras da lngua portuguesa inicializadas com letras maisculas
1
91
B(x, y)
(C(y))
(A(z, y) C(z, y))
93
A(z, y)
C(z, y)
Uma ocorrncia da varivel v combinada a um quantificador (da forma Q v) costuma ser chamada de ligada ou ento recebe
um nome especial, como ligante.
Quando se faz uma substituio como acima, espera-se que o resultado F(t) afirme sobre o termo t o que a
frmula original F(v) afirma sobre a varivel v. Isso ocorre quando a substituio no acarreta coliso de
variveis.
Como exemplo, considere como F(v) a frmula u[vd(u)], com d sendo 'dobro'.
- A frmula F(v) afirma (sobre v) que v o dobro de algum u.
- A frmula F(w)=u[wd(u)] afirma (sobre w) que w o dobro de algum u.
- J a frmula F(u)=u[ud(u)] no tem ocorrncia livre de u; ela no afirma nada sobre a varivel u, mas sim
que algum u o seu prprio dobro.
- A frmula F(u+w)=u[u+wd(u)] no afirma(sobre u+w) que u+w seja o dobro de algum nmero.
Nas duas substituies F(u)=u[ud(u)] e F(u+w)=u[u+wd(u)] encontramos colises de variveis. Na
frmula original F(v)=u[vd(u)] a ocorrncia de v no escopo do quantificador u era livre, no resultado em
cada caso, uma varivel introduzida no lugar do v foi "capturada" pelo quantificador u.
De maneira geral, dizemos que uma substituio F[v:=t] da varivel v na frmula F pelo termo t origina uma
coliso quando alguma varivel u do termo t est dentro do escopo de algum quantificador Qu (u ou u) na
frmula original F.
F(v): Qu( v
)
t(u)
F(t):
Qu( t(u) )
Figura CQ.DN.1.3: Coliso da varivel v com termo t na frmula F
Diremos que a substituio da varivel v na frmula F pelo termo t sensata quando no causa coliso de
3
variveis . Para isso, usaremos a notao < v, t > SS[F].
Casos especiais, porm utis, de substituio sensata da varivel v na frmula F so:
- quando nenhuma varivel do termo t ocorre na na frmula F;
- quando o termo t a prpria varivel v (nesse caso, a frmula F fica inalterada).
Exerccio ExSin6
Considere as substituies (de varivel por termo em frmula) feitas no exerccio ExSin5 acima. Indique
quais delas causam colises de variveis e quais so sensatas.
Agora daremos a definio formal de aplicao de substiuio de variveis por termos em frmulas, i.e., dada
uma substituio ={x1:=t1,x2:=t2xn:=tn} e uma frmula , vamos definir recursivamente.
Definio ExSin10 (substituio de variveis por termos em frmulas)
Seja ={x1:=t1,x2:=t2xn:=tn} uma substituio.
i) para para =t1t2
= t1t2
ii) para =P(t1, t2, ..., tn)
= P(t1, t2, ..., tn),
iii) para =()
= ()
iv)
para = *, onde *{, , , }
= *
v) para =(x) ou =(x)
=(x) ou = (x)
Substituies sensatas podem ser definidas formalmente.
3
As terminologias "v livre para t em F" e "v substitutvel por t em F" tambm so bastante comuns.
Exerccio ExSin7
D a definio formal de substituio sensata.
Formalizando estas idias, temos primeiramente que ter uma maneira de avaliar os termos dentro do domnio
da estrutura. A definio desta avaliao faz uso do teorema da recurso.
Def Sem2 (Atribuio de valores a termos)
Seja A uma estrutura com domnio A para uma linguagem de primeira ordem L().
Seja v : VAR A, uma atribuio de valores s variveis em A. A extenso :TERM() A de v uma
atribuio de valores aos termos em A, definida recursivamente da seguinte forma:
(x) =v(x), para xVAR;
(c) = cA para cada smbolo de constante c de L();
(f(t1, t2, ..., tn)) = fA((t1), (t2), ..., (tn)), para cada smbolo de funo n-rio f de L() e t1, t2, ..., tn TERM().
Note que pelo fato de TERM() ser livremente gerado a partir de VAR, o teorema da recurso garante
que existe e a nica extenso de v com as propriedaes descritas acima. Por simplicidade, notaremos por v
a extenso de v.
Exemplo Sem1
Para ilustrar o conceito de estrutura e atribuio de valores 0a termos, considere uma lingugem de primeira
ordem L() com smbolos f : ss, de funo unria e c: s s,
de constante. Seja A a estrutura para esta
linguagem tendo como universo N, o conjunto do naturais, fA:N N definida por fA(n) = 2n e cA=3. Tome
v:VAR N tal que v(x)= 2.
- o termo f(x) interpretado nesta estrutura com a atribuio v como o nmero 4;
- o termo f(f(x))) interpretado nesta estrutura com a atribuio v como o nmero 8;
- o termo f(c) interpretado nesta estrutura com a atribuio v como o nmero 6.
Exemplo Sem2
Observe que os termos f(x) e f(f(x)) podem ter outras interpretaes na mesma estrutura, dependendo da
atribuio de valores v, enquanto que f(c) sempre aponta para o nmero 6, qualquer que seja a atribuio
de valores v.
Exemplo Sem3
Considere os termos f(x) e f(c) e a mesma estrutura A= <N, fA,cA > do exemplo anterior. Note
que f(c)=f(x), onde ={x:=c}.
Tome uma atribuio de valores v:VARN, tal que v(x)= 2
Com esta atribuio, v(f(x))=46=v(f(c)).
Agora considere a atribuio u:VARA tal que u(x)=v(c)=3. Temos que v(f(x))=fA(cA)=6=u(f(x))= fA(3)
O que ilustramos no exemplo Sem3 pode ser generalizado para todos os termos, isto :
Prop Sem1
Dados uma estrutura A para uma linguagem L(), v uma atribuio de valores para as variveis, e dois termos
t e s em TERM(), considere a atribuio u:VARA tal que u(x)=v(r), ento v(t[x:=r])=u(t)
Prova : Por induo na estrutura do termo t.
As frmulas pretendem expressar relaes entre elementos do universo ou propriedades do universo.
A idia intuitiva que, por exemplo, a frmula P(x,c), numa estrutura com predicado binrio PA e constante
cA vai ter um significado se a x estiver associado um valor no universo, e neste caso, seu significado pode ou
no corresponder realidade. Por exemplo, considere a estrutura A tendo como universo N, o conjunto do
naturais,
PA={(n,m)/n>m} N2 e cA=0.
Nesta estrutura, com a atribuio v, tal que v(x)=0, P(x,c) significa 0>0, que falso; com a atribuio v tal que
v(x)=3, P(x,c) significa 3>0, que verdade. Por outro lado, a interpretao de (xP(x,c)) expressa que existe um
nmero natural menor que 0, que falso , qualquer que seja a atribuio dada a x. Esta diferena se d pelo fato
de na frmula P(x,c), o valor que se d a x relevante para o significado da frmula, enquanto que em
100
(xP(x,c)) a varivel x faz o papel de uma varivel dummy, isto , x aparece na formula s para constar.
Dada uma uma estrutura A com domnio A para uma linguagem de primeira ordem L() e uma frmula
, seja v uma atribuio de valores a VAR em A. Vamos definir a noo A satisfaz com a atribuio v, que
uma relao entre A, v e frmulas, notada por A |= [v]. A definio por recurso, assim daremos a definio
de forma direta para as frmulas atmicas e para as demais ser dada recursivamente.
Def Sem3 Estrutura satisfaz frmula com uma atribuio (A |= [v])
Para atmica:
se t1 t2, A |= t1 t2[v] se e s se v(t1) = v(t2);
se P(t1, t2,,tn), A |= P(t1, t2,, tn)[v] se e s se (v(t1), v(t2),,v(tn)) PA;
Para no atmica:
- se (), A |= () [v] se e s se A | [v] i.e. A no satisfaz com a atribuio v;
- se ( ), A |= ( )[v] se e s se A |= [v] e A |= [v];
- se ( ), A |= ( )[v] se e s se A |= [v] ou A |= [v];
- se ( ), A |= ( )[v] se e s se A | [v] ou A |= [v];
- se ( ), A |= ( )[v] se e s se A |= [v]se e smente se A |= [v];
- se x, A |= x[v] se e s se para cada b A, A|= [v(x:=b)], onde , v(x:=b) a atribuio definida por
v(x:=b)(z)=v(z), para zx e v(x:=b)(x) =b. i.e., para cada b A mantendo-se a mesma atribuio que v d s
variveis distintas de x e atribuindo-se a x o valor b, a frmula satisfeita na atribuio v(x:=b). Como isto
ocorre para todo b A, isto quer dizer que a frmula satisfeita deixando x tomar qualquer valor em A,
mantendo inalterado os valores que v d s outras variveis.
- se x, A |= x[v] se e s se para algum bA, A |= [v(x:=b)], i.e., a frmula satisfeita na
atribuio que d b a x, para algum b em A, mantendo-se inalterados os valores que v d s outras variveis.
Exemplos
Considere a estrutura A = <N, PA, QA>, onde N o conjunto dos naturais, PA = {n N / n primo} e QA =
{(n, m) N2 / n > m} e a frmula : P(x) y (P(y) Q(x, y)).
Considere uma atribuio v tal que v(x) = 5 e v(y) = 6, ento temos A |= P(x) [v], j que 5 primo (v(x)=5 PA)
e A |= y (P(y) Q(x, y))[v] (existe uma atribuio v', tal que v'(x)=5 e v'(y) = 7, digamos, tal que A |= P(y)
Q(x, y)[v']).
Considere a atribuio v tal que v(x) = 4 e v(y) =6. Como A | P(x)[v] temos que A | P(x) y (P(y) Q(x,
y))[v].
Considere A = <N, PA, QA , cA >, onde N o conjunto dos
naturais, PA = {n N / n primo}, QA = {(n, m) N2 / n > m} e
cA =3.
Tome a sentena y (P(c) Q(c, y)) e uma atribuio v tal que v(y)=2.
Ento, A |= y (P(c) Q(c, y))[v], pois 3 primo (A |= P(c)) e existe um nmero natural n, digamos 6, tal que
3 >n, i.e., a atribuio v' tal que v'(y)=6 e v'(z)=v(z), para z y tal que A |= Q(c, y))[v'].
fcil ver que A |= y (P(c) Q(c, y))[w] para qualquer outra atribuio w.
Exerccios
Para cada caso considere a estrutura A e a frmula dadas e d atribuies v1 e v2 tais que A |= [ v1] e A |
[v2].
1. : P(x) y(P(y) Q(x, y)) e A = <N, PA, QA>, onde
N o conjunto dos naturais, PA = {n N | n primo} e QA = { (n, m) N2 | n > m}.
2. : y (P(c) P(y) Q(y, c)) e A = <N, PA,QA, cA >, onde
N o conjunto dos naturais, PA e QA como acima e cA = 2.
Como foi observado no exemplo 2 se uma frmula uma sentena, isto , no tem variveis livres, ento,
dada uma estrutura A e uma atribuio v, se A |= [v] (A | [v]) ento A |= [w] (A | [w]), para qualquer
outra
101
atribuio w. Isto , uma sentena satisfeita numa estrutura em todas as atribuies ou no satisfeita
em nenhuma atribuio.
Outra observao que a noo de satisfatibilidade numa atribuio s depende dos valores que damos s
variveis livres que ocorrem na frmula . Estas observaes so formalizadas no seguinte teorema:
Teorema Sem1
Dada uma estrutura A e uma frmula com variveis livres x1, x2, ..., xn,
sejam v e w duas atribuies de valores de variveis a VAR no domnio de A tais que v(xi) =w(xi) para i=1n.
Tem-se que A |= [v] sse A |= [w].
Prova
Por induo na estrutura da frmula .
Assim, dada uma frmula com n variveis livres, x1, x2, ..., xn e uma estrutura para uma linguagem de
primeira ordem, A, com domnio A, seja v uma atribuio de valores a VAR em A tal que v(xi) = ai (i = 1,
2,
,n). Usaremos as notaes A |= [a1, a2,,an] ou A |= [x1:=a1, x2:= a2,, x:=an] para A |= [v]
quando quisermos explicitar os valores atribudos por v s variveis livres de .
Usando esta notao alternativa as definies de A |= x[v] e de A |= x[v] podem ser reescritas como:
- A |= x[a1, a2,,an] se e somente se para cada b A,
A|= [x1:=a1,x2:=a2,,x:=an,x:=b], i.e., mantendo-se a atribuio dada por v s variveis livres x1, x2, ..., xn que
ocorrem em x e deixando x tomar qualquer valor em A, a formula satisfeita nessas novas atribuies.
A |= x[ a1, a2, ..., an ] se e somente se para algum b A, A |= [x1:=a1, x2:=a2,,x:=an,x:=b], i.e., a frmula
satisfeita na atribuio que d, respectivamente, a1, a2, ..., an s variveis x1, x2, ..., xn que ocorrem livres em
x e atribui b a x, para algum b em A.
Note que nestes dois casos a frmula pode ter no mximo n+1 variveis livres, j que x pode ocorrer livre em
.
Note que A |= [v] se e s se A |= x onde x uma abreviao para a lista x1x ... xn e x1,x2,...,xn so
as variveis livres de .
Def Sem4 Estrutura satisfaz frmula: A |=
Dada uma frmula e uma estrutura A para uma linguagem de primeira ordem, A satisfaz (denotado por A |
= ) se e somente se, para cada atribuio de valores v de VAR em A, A satisfaz com v ( i.e. A |= [v], para
todo v).
Note que para verificarmos se A |= , para uma frmula com variveis livres, temos que verificar se A |=
[v], para toda atribuio v, enquanto que se for sentena, A |= se comporta como um teste (ou verdade
ou falso).
Note tambm que A |= significa que A |=x onde x uma abreviao para a lista x1x ...xn onde
x1,x2,...,xn so as variveis livres de
.
Exemplo
Considere a frmula : Q(c,y) e A = <N, QA, cA >, onde
N o conjunto dos naturais, QA = {(n, m) N2 | n < m} e cA = 0.
Ento A |= .
Def Sem5 Estrutura satisfaz conjunto de frmulas com uma atribuio :A |= [v]
Dada um estrutura A e uma atribuio v, dizemos que A satisfaz com a atribuio v, A |= [v], se e s se A |
= [v], para toda frmula de .
102
lgicamente vlida.
Como no caso proposicional, usaremos a notao | para indicar que no uma conseqncia de .
Exerccios
Mostre que
| xy(f(x)=f(y)x=y) xQ(f(x),x)
{xyz(R(x,y)R(y,z)R(x,z)), xy(R(x,y) R(y,x))} | x R(x,x)
Def Sem 8 A satisfaz : A |=
Dada uma estrutura A e um conjunto de frmulas dizemos que A satisfaz (A um modelo de ), A |= , se e
s se A |= [v], para toda atribuio de valores v.
Note que se for um conjunto de sentenas, A |= se e s se A satisfaz para toda sentena .
Exemplo
Considere o conjunto de sentenas
={xy(f(x)=f(y) x=y), xQ(f(x),x)} e a estrutura A = <N, fA, QA> onde N o conjunto dos naturais,
fA(n)= n+1e QA = {(n, m) N2 / n > m}. Temos A |= .
A definio da semntica para uma linguagem de primeira ordem (satisfao de frmulas por estruturas)
bastante tcnica, pois d o significado de um linguagem formal de maneira precisa. Daremos a seguir
uma aplicao menos formal da semntica, que o uso da linguagem de primeira ordem para
representao de conhecimento.
O que se pretende aqui , dada uma(s) sentena(s) em portugus (ou de outra linguagem natural) obter uma
frmula que a(s) represente(m) simblicamente, no sentido de que ao interpretamos os smbolos de volta pelas
palavras que eles simbolizam tenhamos uma interpretao que satisfaa a frmula. No h uma nica forma de
representao. Deve-se identificar uma assinatura, isto quais os smbolos de constantes, funes e predicados
que sero usados, de forma que nomes prprios sejam simbolizados por smbolos de constantes, enquanto que
relaes e propriedades sejam simbolizados por smbolos de predicados. Os fonemas algum, algum e seus
sinnimos so simbolizados por x, assim como nenhum, ningum(e seus sinnimos) so simbolizados
por x; para todo, cada e seus sinnimos so simbolizados por x.
Exemplos
Para simbolizar "Oscar vai a universidade" temos a sentena Universidade (oscar),escolhendo oscar
como smbolo de constante e Universidade como smbolo de predicado, com significado pretendido, x vai
a univesidade para Universidade (x).
Para simbolizar "Lgica difcil" temos a sentena Difcil(lgica), escolhendo lgica como smbolo
de constante e Dificil como smbolo de predicado, com significado pretendido x difcil para Dificil
(x). Para simbolizar " A menor bola da loja de Joo vermelha" temos
x(Loja(joo,x)Bola(x)y(Loja(joo,y)Bola(y)xyMenor(x,y))
Vermelha(x)),escolhendo Loja e Menor como smbolos de predicados binrios, Bola e Vermelha como
smbolos de predicado unrios e joo como smbolo de constante, com significados pretendidos:
Loja(u,v)- v vendido na loja de u
Menor (u,v) - u menor que v
Bola(v) - v bola
Vermelha(v) v vermelha
Para simbolizar "o av de uma pessoa o pai da me ou do pai desta pessoa" temos xy(Av(x,y)
x=pai(y) x=me(y)), escolhendo Av como smbolo de predicado binrio, pai e me como smbolos de
funo unrios, com significados pretendidos:
Av(v,u) - v av de u
pai(u) - o pai de u
104
me(u) - a me de u.
Se escolhessemos Me e Pai como predicados binrios com significados pretendidos Me(u,v) - u me de v e
Pai(u,v) - u pai de v, teramos
xyz(Av(x,y) Pai(x,z)(Pai(z,y) Me(z,y)) simbolizando a mesma frase acima.
Para simbolizar "X primo" temos Primo(x), escolhendo Primo como smbolo de predicado unrio com o
significado pretendido bvio
Para simbolizar " A derivada de f definida " temos a frmula atmica Definida(derivada(f)), escolhendo
Definida como smbolo de predicado unrio, derivada como smbolo de funo unria, e f como smbolo de
constante com os significados pretendidos bvios. Alternativamente, podemos ter y(y=derivada(f)
Definida(y)).
Para simbolizar "Algum mora na casa velha" temos x(Mora(x,velha)), escolhendo Mora como smbolo de
predicado binrio e velha como smbolo de constante, com significados pretendidos:
Mora(u,v) - u mora em v
velha a casa velha
Todo fantasma da regio mora na casa velha pode ser simbolizado por :
x(Fantasma(x) Mora(x,velha).
Existe um estudante que amigo de Jorge mas no amigo de Oscar pode ser simbolizado por:
x(Estudante(x) Amigo(x, jorge) Amigo(x, oscar)
Todo estudante que amigo de Jorge amigo de Oscar pode ser simbolizado por: x((Estudante(x) Amigo(x,
jorge)) Amigo(x, oscar))
Exerccios
Simbolize as sentenas abaixo por sentenas de lgica de primeira ordem.
S os bravos sabem perdoar.
Nenhum homem uma ilha.
Todo pas tem o governo que merece.
No h nenhuma certeza, exceto a Lgica.
Misria gosta de companhia.
Nem tudo que reluz ouro.
Se voc agrada a todo mundo, voc no agrada a ningum.
Existe algo de podre no reino da Dinamarca.
Todo mundo ama algum.
Algum ama todo mundo.
Todo projeto em andamento tem um gerente.
Jos o gerente de todos os projetos.
Existe um gerente de todos os projetos.
105
Daremos a seguir algoritmos que permitem transformar sintaticamente frmulas quaisquer de uma linguagem
de primeira ordem em frmulas de forma especfica que guardam com as primeiras certas relaes semnticas.
Daremos algoritmos para obteno de frmulas na forma Qx, onde Qx uma seqncia de quantificadores e
uma frmula sem quantificadores. Tais frmulas so chamadas de frmulas em forma normal prenex. Qx
chamado de prefixo de Qx e chamando de matriz de Qx.
Caso a matriz seja da forma: 12..n onde i da forma 12...k e j um literal para j=1...k, diz- se
que Qx est em forma normal prenex disjuntiva. Caso a matriz seja da forma 12...n onde i da
forma 12...k e j um literal para j=1...k, diz se que Qx est em forma normal prenex conjuntiva.
A sada dos agortmos para obteno de frmulas em forma normal prenex (geral, disjuntiva e conjuntiva)
uma frmula equivalente entrada.
O lema apresentado a seguir fornece equivalncias que podem ser usadas para manipulao sinttica de
frmulas, substiutindo subfrmulas por frmulas equivalentes, a fim de "empurrarmos" os quantificadores para
a esquerda nas frmulas, obtendo-se frmulas em forma prenex.
Lema PS1
As seguintes frmulas so lgicamente equivalentes
1.x e x;
2. x ex;
3. Qx( ) e Qx onde Q{,} e x no ocorre livre em ;
4. Qx( ) e Qx onde Q{,} e x no ocorre livre em ;
5. Qx( ) e Qx onde Q{,} e x no ocorre livre em ;
6. Qx( ) e Qx onde Q{,} e x no ocorre livre em
7. (x ) e x( ), se x no ocorre livre em ;
8. x ( ) e (x ), se x no ocorre livre em
9. (x ) e x( ) , se x no ocorre livre em
10. (x ) e x (), se x no ocorre livre em
11. (x ) e x (), se x no ocorre livre em
12. x e y[x:=y], se {x/y} uma substituio sensata em e y no ocorre livre em
11. x e y[x:=y], se x/y uma substituio sensata em e y no ocorre livre em .
Prova
As equivalncias so obtidas diretamente a partir da definio de frmulas equivalentes.
Exerccio ExPS1
Demonstre o lema acima.
O prximo lema anlogo ao resultado de substituies de subfrmulas em uma frmula de linguagem
proposicional por frmulas tautolgicamente equivalentes. Usaremos a notao () para indicarmos que
uma frmula que ocorre 0 ou mais vezes em e [:=] para a frmula obtida de pela a substituio de 0 ou
mais ocorrncias da frmula em por .
Lema PS2 (substituio de equivalentes)
Se lgicamente equivalente a (abreviado por eq ), ento () lgicamente equivalente a [:=].
Prova
Por induo no nmero de conectivos e quantificadores que ocorrem em .
Suponha eq .
Note que se 0 ocorrncia de for substituda ou se no ocorre em , ento [:=]=. Tambm, se =,
ento [:=]=.Nestes casos o resultado () eq [:=] segue trivialmente.
Logo, suponha que uma subfrmula de e , i.e. uma subfrmula prpria de .
Seja S= {n /se frmula com n ocorrncias de conectivos e quantificadores ento () eq [:=] }
106
107
disso pode haver mais de um objeto relacionado com o mesmo elemento. De qualquer modo, podemos definir
uma funo tal que, para cada elemento e do universo, escolhe um dos objetos dentre os que esto relacionados
com e. Observe que esta escolha no precisa ser feita de forma efetiva, ( por exemplo, um sorteio uma escolha
no efetiva) mas que pode sempre ser feita pelo fato de sempre haver pelo menos um objeto relacionado com
cada elemento do universo. Isto , a frmula yP(f(y),y) verdade neste contexto, quando f um smbolo novo
de funo que interpretado como a funo acima descrita.
Por outro lado, se yP(f(y),y) verdade em um contexto, temos que para cada elemento e do contexto, o objeto
nomeado por f(e) est relacionado com e (onde f a interpretao de f no contexto), i.e. a frmula yxP(x,y)
verdade neste contexto.
Neste exemplo mostramos que yxP(x,y) satisfatvel se e s se yP(f(y),y) satisfatvel, onde f um
smbolo novo d e funo.
Na discusso acima os smbolos novos, c de constante e f de funo, so introuzidos com significados
pretendidos especficos. Tais smbolos so chamados de funes de Skolem. Agora formalizaremos estas
idias.
Proposio PS3
Para cada frmula , existe um procedimento efetivo para se obter uma frmula na forma Qx onde s
aparecem quantificadores universais no prefixo Qx e uma frmula sem quantificadores na forma normal
conjuntiva tal satisfatvel se e s se Qx satisfatvel.
Prova
A frmula de sada poderia ser obtida a partir da frmula de sada do algoritmo de obteno de forma
norma conjuntiva, mas por questo de eficcia, daremos um algoritmo alternativo.
Dada uma frmula :
1) Tome o fecho existencial de , i.e., se contiver uma varivel livre x, substitua por x.
Repita este processo at que a frmula corrente no tenha mais variveis livres.
2) Elimine quantificadores redundantes, i.e. elimine todo quantificador x ou x que no contenha nenhuma
ocorrncia livre de x no seu escopo.
3) Renomeie as variveis ligadas de tal forma que as variveis governadas por quantificadores sejam todas
distintas.
4) Elimine as ocorrncias dos conectivos e .
5) Mova o conectivo para o interior da frmula at que preceda imediatamente frmulas atmicas.
6) Mova os quantificadores para o interior da frmula
7) Elimine os quantificadores existenciais (Skolemizao), i.e,
Seja a frmula corrente. Obtenha a nova frmula corrente, ', substituindo a subfrmula da forma y, que se
situa mais `a esquerda em por [y/f(x1, ..., xn], onde:
x1, ..., xn uma lista de todas as variveis livres de y e f um smbolo de funo n-rio (funo de Skolem)
que no ocorre em .
Caso no haja variveis livres em y substitua y por [y/c], onde c uma constante (de Skolem) que no
ocorre em .
Repita o processo (de Skolemizao) at que todos os quantificadores existenciais tenham sido eliminados.
8) Obtenha a forma normal prenex da frmula obtida no passo 6, i.e., mova os quantificadores para a esquerda.
9) Obtenha a forma normal conjuntiva da matriz da frmula obtida no passo 7, substituindo a matriz desta pela
forma normal conjuntiva obtida.
10) Simplifique a frmula do passo 9 eliminando repeties de literais no mesmo disjunto e disjunes que
so tautologias.
Observe que:
- o fecho existencial da frmula obtido no passo 1 satisfatvel se e s se a frmula original for satisfatvel. O
argumento anlogo ao usado no exemplo Sklm1.
- os passos 2 a 6 produzem frmulas equivalentes formula obtida no passo 1. Assim, a frmula obtida
no passo 6 (equivalente do passo 1) satisfatvel se e s se a frmula de entrada, , for satisfatvel.
109
a cada introduo de smbolo de funo ou constante de Skolem, ocorrida no passo 7, a frmula obtida
satisfatvel se e s se a frmula antes da substiuio for satisfatvel. O argumento anlogo ao usado nos
exemplos Sklm2 e Skm3.
os passos 8 a 10 obtm frmulas equivalentes frmula obtida no passo 7. Assim, a frmula obtida pelo
passo 10 (equivalente do passo 7) satisfatvel se e s se a frmula de entrada, , for satisfatvel.
os passos 6 e 10 so opcionais. O passo 6 se justifica por evitar que sejam introduzidas no passo 7 funes
com aridade maior do que o necessrio. (a aridade da funo de Skolem introduzida da esquerda para
direita vai depender do nmero de quantificadores universais que estejam esquerda do quantificador
existencial que est sendo eliminado).
Exemplo PS3
Tome =y(xP(x)Q(x,y,z)) x(P(x) yR(x,y)).
Aplicando o passo 1 obtemos o fecho existencial de :
1=zxy(xP(x)Q(x,y,z)) x(P(x)yR(x,y))
O passo 2 no se aplica.
Renomeando-se as variveis quantificadas temos:
2=suy(xP(x)Q(u,y,s))z(P(z)vR(z,v))
Eliminando os conectivos e em 2 temos:
3=suy((xP(x)Q(u,y,s))(Q(u,y,s)xP(x)))z(P(z)vR(z,v))
Movendo para o interior da frmula temos:
4=suy((xP(x)Q(u,y,s))(Q(u,y,s)xP(x)))z(P(z)vR(z,v)))
Passo 6 no se aplica.
Eliminando
os
quantificadores
existenciais
temos:
5=((P(d)Q(b,c,a))(Q(b,c,a) xP(x)))z(P(z)R(z,f(z)))
Obtendo
a
forma
normal
prenex
temos:
6=zx((P(b)Q(c,a,d))(Q(c,a,d)P(x)))(P(z)R(z,f(z)))
A matriz da forma j est na forma conjuntiva e o passo 10 no se aplica.
Exerccios
Aplique o algoritmo de Skolemizao s frmulas abaixo
ExPS1.
x[(yR(x,g(y,z)))
S(z,h(x,y,z))]
ExPS2.y[R(z,y) zS(z,y)]
ExPS3. y[xR(x,f(y)) S(z,g(x,c))]
ExPS4. xy[zT(x,y,z)(R(x,y)S(y,x))
ExPS5. xyz{[P(x, y)(P(y,z)P(z,z)]
[(P(x,y) Q(x,y)) (Q(x,z) Q(z,z))]}
ExPS6. xz[P(z, y) x (P(z,x)P(x,z)]
Raciocnio Lgico e resoluo
de problemas
Conectivos - so palavras que se usam para formar novas proposies a partir de outras.
Exemplo:
P : 6 par E 8 cubo perfeito;
Q : NO vai chover;
R : SE Mauro mdico, ENTO sabe biologia;
110
Tautologia - Chama-se tautologia toda a proposio composta cuja ltima coluna de sua tabela-verdade
encerra somente a letra V (verdadeira). Em outros termos, Tautologia toda proposio composta P(p, q,
r, ...) cujo valor lgico sempre (V) verdade, quaisquer que sejam os valores lgicos das proposies simples
componentes.
Exemplos:
a) A proposio "~ (p ~ p)" (Princpio da no contradio) tautolgica, conforme se v pela sua tabelaverdade:
p
~p
p~p
~ (p ~ q)
~p
p~p
Contradio - Chama-se contradio toda a proposio composta cuja ltima coluna da sua tabela-verdade
encerra somente a letra F (falsidade).
Em outros termos, contradio toda proposio composta P(p, q, r,...) cujo valor lgico sempre F
(falsidade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r,
Como uma tautologia sempre verdadeira (V), a negao de uma tautologia sempre falsa (F), ou seja,
uma contradio, e vice-versa.
p
~p
p~p
~p
p~p
111
Diz-se que uma proposio P (p, q, r, ...) logicamente equivalente ou apenas equivalente a uma proposio
Q (p, q, r, ...), se as tabelas-verdade destas duas proposies so idnticas.
Indica-se que a proposio P (p, q, r, ...) equivalente a proposio Q (p, q, r, ...) com a notao
P (p, q, r, ...) Q (p, q, r, ...)
Em particular, se as proposies P (p, q, r, ...) e Q (p, q, r, ...) so ambas tautolgicas ou so ambas
contradies, ento so equivalentes.
Equivalncias Notveis
Propriedades da Conjuno
Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos
respectivos so V (verdade) e F (falsidade).
(a) Idempotente : p p p
p
pp
ppp
(b) Comutativa : p q q p
p
pq
qp
pqqp
(c) Associativa : (p q) r p (q r)
p
pq
(p q) r q r p (q r) (p q) r p (q r)
As colunas 5 e 7 so equivalentes
112
(d) Identidade : p t p e p c c
p
pt
pc
ptp
pcc
V V
As colunas equivalentes so 1, 4 e 3, 5.
Um argumento P1,P2,...,Pn a Q diz-se vlido se e somente se a concluso Q verdadeira todas as vezes que
as premissas P1,P2,...,Pn so verdadeiras.
Portanto, todo argumento vlido goza da seguinte caracterstica: A verdade das premissas incompatvel
com a falsidade da concluso.
Um argumento no-vlido diz-se um sofisma.
Deste modo, todo argumento tem um valor lgico, digamos V se vlido(correto, legtimo) ou F se um
sofisma(incorreto, ilegtimo).
As premissas dos argumento so verdadeiras ou, pelo menos admitidas como tal. Alis, a Lgica s se
preocupa com a validade dos argumentos e no com a verdade ou falsidade das premissas e das concluses.
A validade de um argumento depende exclusivamente da relao existente entre as premissas e a concluso.
Portanto, afirmar que um dado argumento vlido significa afirmar que as premissas so verdadeiras.
Regras de inferncia usadas para demonstrar a validade dos argumentos
Regra de adio Regra de simplificao Regra da conjuno
(AD):
(SIMP):
(CONJ):
i)
ii)
i)
Regra do silogismo
disjuntivo(SD):
i)
Regra modus
ponens(MP):
Regra do dilema
construtivo(DC):
Regra do dilema
destrutivo(DD):
ii)
i)
Regra modus
tollens(MT):
Regra
da
absoro(ABS):
ii)
Regra do silogismo
hipottico(SH):
ii)
Com o auxlio destas dez regras de inferncia pode-se demonstrar a validade de um grande nmero de
argumento mais complexos.
A validade de qualquer argumento pode ser demonstrada, verificada e testada mediante Tabelas-verdade,
113
F F F
F V F
V F F
V V V
Para Aristteles, o raciocnio (dedutivo) reduz-se essencialmente ao tipo determinado que se denomina
silogismo.
114
1 tipo: Quando uma das premissas apresenta somente uma forma de ser verdadeira. Isso ocorre
em duas situaes:
1) o conjunto de premissas traz alguma proposio simples; ou
2) o conjunto de premissas traz alguma proposio composta em forma de conjuno
(com o conectivo e interligando os seus termos).
2 tipo: Quando todas as premissas do argumento possuem mais uma forma de ser verdadeira.
O 1 tipo, definido acima, resolvido utilizando-se o 3 mtodo de teste de validade de argumentos, j nosso
conhecido! Como j vimos, o 3 mtodo realizado por meio dos seguintes passos:
1 passo: consideram-se as premissas verdadeiras, e com o conhecimento das tabelas-verdade dos
conectivos, descobrimos os valores lgicos das proposies simples que compe o argumento.
115
2 passo: A partir dos valores lgicos das proposies simples, devemos encontrar qual a alternativa que
traz uma proposio que conseqncia obrigatria das premissas, ou seja, que possui valor lgico
necessariamente verdadeiro.
No h melhor maneira de se aprender a trabalhar questes de Estruturas Lgicas do que por meio da
resoluo de questes! Passemos a elas!
(AFC 2002 ESAF) Se Carina amiga de Carol, ento Carmem cunhada de Carol. Carmem no cunhada
de Carol. Se Carina no cunhada de Carol, ento Carina amiga de Carol. Logo,
a) Carina cunhada de Carmem e amiga de Carol.
b) Carina no amiga de Carol ou no cunhada de Carmem.
c) Carina amiga de Carol ou no cunhada de Carol.
d) Carina amiga de Carmem e amiga de Carol.
e) Carina amiga de Carol e no cunhada de Carmem.
Soluo:
O enunciado da questo traz trs afirmaes (premissas), que so apresentadas abaixo:
P1. Se Carina amiga de Carol, ento Carmem cunhada de Carol.
P2. Carmem no cunhada de Carol.
P3. Se Carina no cunhada de Carol, ento Carina amiga de Carol.
Da mesma forma que j fizemos em diversas solues de questes, vamos traduzir simbolicamente as frases
acima, a fim de tornar a soluo mais rpida. Para isso, vamos definir as seguintes proposies simples:
A = Carina amiga de Carol
B = Carina cunhada de Carol
C = Carmem cunhada de Carol
116
P3. ~B A
Resultado: O valor lgico de C F.
b) Substitua C pelo seu valor lgico F
P1. A F para que a condicional seja verdade necessrio que A tenha valor lgico F
P2. ~F
P3. ~B A
Resultado: O valor lgico de A F.
c) Substitua A pelo seu valor lgico F
P1. F F
P2. ~F
P3. ~B F para que a condicional seja verdade necessrio que ~B tenha valor lgico
F, e da B V.
Resultado: O valor lgico de B V.
- Em suma:
A F , significa que: Carina amiga de Carol falso.
Da: (Carina no amiga de Carol verdade)
B V , significa que: Carina cunhada de Carol verdade.
C F , significa que: Carmem cunhada de Carol falso.
Da: (Carmem no cunhada de Carol verdade)
2 PASSO: De posse das verdades obtidas no 1 passo, verificaremos qual a alternativa que traz
uma proposio necessariamente verdadeira.
No h necessidade de traduzirmos as frases das alternativas da questo para linguagem
simblica. Observemos como fcil descobrir a alternativa correta:
falso falso
a) Carina cunhada de Carmem e amiga de Carol. falso
verdade verdade
b) Carina no amiga de Carol ou no cunhada de Carmem.
falso falso
c) Carina amiga de Carol ou no cunhada de Carol.
falso falso
d) Carina amiga de Carmem e amiga de Carol.
falso verdade
verdade
falso
falso
falso
117
EXEMPLO 02:
(ANEEL 2004 ESAF) Surfo ou estudo. Fumo ou no surfo. Velejo ou no estudo. Ora, no velejo. Assim,
a) estudo e fumo.
b) no fumo e surfo.
c) no velejo e no fumo.
d) estudo e no fumo.
e) fumo e surfo.
Soluo:
O enunciado da questo apresenta quatro afirmaes (premissas), que so apresentadas abaixo:
P1. Surfo ou estudo.
P2. Fumo ou no surfo.
P3. Velejo ou no estudo.
P4. No velejo.
Ora, as premissas so frases pequenas, ento no h necessidade de definir letras para
representar as proposies simples. Vamos trabalhar do jeito que est!
Agora vamos soluo propriamente dita. Observemos os passos abaixo:
1 PASSO: Consideraremos as premissas como verdadeiras e, a partir do conhecimento das tabelas-verdade
dos conectivos, vamos obter o valor lgico das proposies simples. Vejamos a seqncia abaixo:
a) Iniciaremos pela 4 premissa, pois esta uma proposio simples, e, portanto, s tem uma forma de ser
verdadeira.
P1. Surfo ou estudo
P2. Fumo ou no surfo
P3. Velejo ou no estudo
P4. No velejo Como No velejo verdade, logo velejo F
Resultado: O valor lgico velejo F.
118
119
O sistema de deduo natural serve para verificar a derivabilidade de uma expresso. Porm, no serve para
gerar um contra-modelo nem para mostrar um conjunto de derivaes possveis, ou seja, a rvore de
derivao nos mostra, apenas, uma das, vrias, derivaes existentes para a expresso.
Existem dois mtodos de se escrever as demonstraes em deduo natural: atravs de um mtodo linear ou
atravs de rvores de derivao (rvores de deduo). A raiz da rvore a concluso, os filhos so as
derivaes que geram a concluso. O sistema de deduo natural apresenta regras que unem rvores
(finitas) que so geradas a partir de um conjunto finito de premissas e hipteses at derivar uma certa
concluso.
As folhas da rvore representam hipteses ou premissas. As folhas abertas representam premissas, enquanto
as fechadas representam hipteses (marcadas com []). Todas as folhas devem possuir marcas e deve-se evitar
o conflito de marcas, ou seja, ter duas frmulas diferentes com uma mesma marca. A marca, geralmente,
um nmero natural, identificando as folhas.
Cada passo, ou seja, cada derivao realizada, na rvore, deve ser baseada em uma das regras do sistema.
como um jogo, em que devemos seguir todas as regras para podermos conclu-lo de maneira correta e
vencer.
Os sistemas que trataremos aqui sero o Sistema intuitivo(Lgica Intuicionista), Sistema Np (Lgica Clssica
Proposicional) e o Sistema Nc(Lgica Clssica de Primeira Ordem).
Sistema intuitivo
No sistema intuitivo possumos regras que tratam de conectivos, assim como o sistema Np apresentado
abaixo. A grande diferena entre o sistema intuitivo e o sistema Np que o sistema intuitivo no possui a
regra do absurdo clssico e nenhuma derivao baseada nela. Sendo assim, no podemos fazer derivaes
como:
, facilmente derivadas no sistema Np ou Nc da lgica clssica. Com exceo do citado,
120
Eliminao da conjuno
Eliminao da conjuno direita.
Lgica da argumentao
# Argumento:
Chama-se argumento a afirmao de que um grupo de proposies iniciais redunda em uma outra
proposio final, que ser conseqncia das primeiras!
Dito de outra forma, argumento a relao que associa um conjunto de proposies p1, p2, ... pn ,
chamadas premissas do argumento, a uma proposio c, chamada de concluso do argumento.
No lugar dos termos premissa e concluso podem ser tambm usados os correspondentes hiptese e tese,
respectivamente.
Vejamos alguns exemplos de argumentos:
Exemplo 1) p1: Todos os cearenses so humoristas.
p2: Todos os humoristas gostam de msica.
121
# Argumento Vlido:
Dizemos que um argumento vlido (ou ainda legtimo ou bem construdo), quando a sua concluso uma
conseqncia obrigatria do seu conjunto de premissas.
Veremos em alguns exemplos adiante que as premissas e a prpria concluso podero ser visivelmente falsas
(e at absurdas!), e o argumento, ainda assim, ser considerado vlido. Isto pode ocorrer porque, na Lgica,
o estudo dos argumentos no leva em conta a verdade ou a falsidade das premissas que compem o
argumento, mas to somente a validade deste.
Exemplo: O silogismo...
p1: Todos os homens so pssaros.
p2: Nenhum pssaro animal.
c: Portanto, nenhum homem animal.
... est perfeitamente bem construdo, sendo, portanto, um argumento vlido, muito embora a veracidade
das premissas e da concluso sejam totalmente questionveis. Repetindo: o que vale a construo, e no o
seu contedo! Ficou claro? Se a construo est perfeita, ento o argumento vlido, independentemente
do contedo das premissas ou da concluso!
Num raciocnio dedutivo (lgico), no possvel estabelecer a verdade de sua concluso se as premissas no
forem consideradas todas verdadeiras. Determinar a verdade ou falsidade das premissas tarefa que
incumbe cincia, em geral, pois as premissas podem referir-se a qualquer tema, como Astronomia, Energia
Nuclear, Medicina, Qumica, Direito etc., assuntos que talvez desconheamos por completo! E ainda assim,
teremos total condio de averiguar a validade do argumento!
Agora a questo mais importante: como saber que um determinado argumento mesmo vlido? Uma forma
simples e eficaz de comprovar a validade de um argumento utilizando-se de diagramas de conjuntos.
Trata-se de um mtodo muito til e que ser usado com freqncia em questes que pedem a verificao da
validade de um argumento qualquer. Vejamos como funciona, usando esse exemplo acima.
Quando se afirma, na premissa p1, que todos os homens so pssaros, poderemos representar essa frase da
seguinte maneira:
122
Observem que todos os elementos do conjunto menor (homens) esto includos, ou seja, pertencem ao
conjunto maior (dos pssaros).
E ser sempre essa a representao grfica da frase Todo A B. Dois crculos, um dentro do outro, estando
o crculo menor a representar o grupo de quem se segue palavra todo.
Ficou claro? Pois bem! Faamos a representao grfica da segunda premissa.
Temos, agora, a seguinte frase: Nenhum pssaro animal. Observemos que a palavra chave
desta sentena nenhum. E a idia que ela exprime de uma total dissociao entre os dois conjuntos.
Ser sempre assim a representao grfica de uma sentena Nenhum A B: dois conjuntos separados, sem
nenhum ponto em comum.
Tomemos agora as representaes grficas das duas premissas vistas acima e as analisemos em conjunto.
Teremos:
conseqncia necessria das premissas? Claro que sim! Observemos que o conjunto dos homens
est totalmente separado (total dissociao!) do conjunto dos animais.
Resultado: este um argumento vlido!
# Argumento Invlido:
Dizemos que um argumento invlido tambm denominado ilegtimo, mal construdo, falacioso ou
sofisma quando a verdade das premissas no suficiente para garantir a verdade da concluso.
Exemplo:
p1: Todas as crianas gostam de
chocolate. p2: Patrcia no criana.
c: Portanto, Patrcia no gosta de chocolate.
Veremos a seguir que este um argumento invlido, falacioso, mal construdo, pois as premissas no
garantem (no obrigam) a verdade da concluso.
Patrcia pode gostar de chocolate mesmo que no seja criana, pois a primeira premissa no afirmou que
somente as crianas gostam de chocolate.
Da mesma forma que utilizamos diagramas de conjuntos para provar a validade do argumento anterior,
provaremos, utilizando-nos do mesmo artifcio, que o argumento em anlise invlido.
Diagramas lgicos
So ditas proposies categricas as seguintes:
Todo A B
Nenhum A B
Algum A B e
Algum A no B
Proposies do tipo Todo A B afirmam que o conjunto A um subconjunto do
conjunto B. Ou seja: A est contido em B. Ateno: dizer que Todo A B no significa o
mesmo que Todo B A.
Enunciados da forma Nenhum A B afirmam que os conjuntos A e B so disjuntos,
isto , no tem elementos em comum. Ateno: dizer que Nenhum A B logicamente
equivalente a dizer que Nenhum B A.
Por conveno universal em Lgica, proposies da forma Algum A B estabelecem
que o conjunto A tem pelo menos um elemento em comum com o conjunto B. Contudo,
quando dizemos que Algum A B, pressupomos que nem todo A B. Entretanto, no
sentido lgico de algum, est perfeitamente correto afirmar que alguns de meus colegas
esto me elogiando, mesmo que todos eles estejam.
Dizer que Algum A B logicamente equivalente a dizer que Algum B A. Tambm,
as seguintes expresses so equivalentes: Algum A B = Pelo menos um A B =
Existe um A que B.
Proposies da forma Algum A no B estabelecem que o conjunto A tem pelo menos
um elemento que no pertence ao conjunto B. Temos as seguintes equivalncias:
124
125
Algum vai perguntar: preciso decorar tudo isso? Na realidade, o melhor buscar entender tudo isso! A
rigor, conforme veremos pela resoluo das questes abaixo, conseguiremos solucionar os problemas
deste assunto praticamente mediante o desenho dos diagramas lgicos!
126
127