You are on page 1of 162

MATEMTICA E RACIOCNIO LGICO

MATEMTICA E RACIOCNIO LGICO


1. NUMERAO

Essa imagem mostra todos os conjuntos, sendo

Nmeros Naturais Os nmeros naturais so o modelo matemtico necessrio para efetuar uma contagem. Comeando por zero e acrescentando sempre uma unidade, obtemos os elementos dos nmeros naturais:

A construo dos Nmeros Naturais - Todo nmero natural dado tem um sucessor (nmero que vem depois do nmero dado), considerando tambm o zero. Exemplos: Seja m um nmero natural. a) O sucessor de m m+1. b) O sucessor de 0 1. c) O sucessor de 1 2. d) O sucessor de 19 20. - Se um nmero natural sucessor de outro, ento os dois nmeros juntos so chamados nmeros consecutivos. Exemplos: a) 1 e 2 so nmeros consecutivos. b) 5 e 6 so nmeros consecutivos. c) 50 e 51 so nmeros consecutivos. - Vrios nmeros formam uma coleo de nmeros naturais consecutivos se o segundo sucessor do primeiro, o terceiro sucessor do segundo, o quarto sucessor do terceiro e assim sucessivamente. Exemplos: a) 1, 2, 3, 4, 5, 6 e 7 so consecutivos. b) 5, 6 e 7 so consecutivos. c) 50, 51, 52 e 53 so consecutivos. - Todo nmero natural dado N, exceto o zero, tem um antecessor (nmero que vem antes do nmero dado). Exemplos: Se m um nmero natural finito diferente de zero. a) O antecessor do nmero m m-1. b) O antecessor de 2 1. c) O antecessor de 56 55. d) O antecessor de 10 9. Subconjuntos de Vale lembrar que um asterisco, colocado junto letra que simboliza um conjunto, significa que o zero foi excludo de tal conjunto.

= 0, 1, 2, 3, 4, 5, 6, .

= {1, 2, 3, 4, 5, . }
Didatismo e Conhecimento
1

MATEMTICA E RACIOCNIO LGICO


Nmeros Inteiros Podemos dizer que este conjunto composto pelos nmeros naturais, o conjunto dos opostos dos nmeros naturais e o zero. Este conjunto pode ser representado por:

Subconjuntos do conjunto :

= { , 3, 2, 1, 0, 1, 2, 3, . }
1) = , 3, 2, 1, 0, 1, 2, 3, . .

Nmeros Racionais

3) = , 3, 2, 1

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

Chama-se de nmero racional a todo nmero que pode ser expresso na forma
5 1

Assim, os nmeros 5 = 1 0,33333 . (= 3) so dois exemplos de nmeros racionais. Nmeros Irracionais Identificao de nmeros irracionais - Todas as dzimas peridicas so nmeros racionais. - Todos os nmeros inteiros so racionais. - Todas as fraes ordinrias so nmeros racionais. - Todas as dzimas no peridicas so nmeros irracionais. - Todas as razes inexatas so nmeros irracionais. - A soma de um nmero racional com um nmero irracional sempre um nmero irracional. - A diferena de dois nmeros irracionais, pode ser um nmero racional. -Os nmeros irracionais no podem ser expressos na forma , com a e b inteiros e b0. Exemplo: 5 - 5 = 0 e 0 um nmero racional. - O quociente de dois nmeros irracionais, pode ser um nmero racional. Exemplo: 8 : 2 = 4 = 2 e 2 um nmero racional. - O produto de dois nmeros irracionais, pode ser um nmero racional. Exemplo: 5 . 5 = 25 = 5 e 5 um nmero racional. Exemplo: radicais( 2,3) a raiz quadrada de um nmero natural, se no inteira, irracional.

, onde a e b so inteiros quaisquer, com b0

Nmeros Reais A reunio do conjunto dos nmeros irracionais com o dos racionais o conjunto dos nmeros reais.

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO

Exerccios 1) (FCC 2012) Um atleta, participando de uma prova de triatlo, percorreu 120 km da seguinte maneira: 1/10em corrida, 7/10de bicicleta e o restante a nado. Esse atleta, para completar a prova, teve de nadar (A) 18 km. (B) 20 km. (C) 24 km. (D) 26 km. 2)(Pref. Presidente Olegrio-Agente Administrativo 2011) O combustvel usado em automveis numa certa cidade composto de 3/5 de gasolina e 2/5 de lcool. Se o preo do litro de lcool 3/4 do preo do litro de gasolina e este custa R$3,00 cada litro, o preo do litro de combustvel ? a) R$ 3,20 b) R$ 2,58 c) R$ 2,70 d) R$ 3,28 3) (Pref. Itabaiana-PB 2010) Resolvendo a operao 3(1/2) + 5/3 1/8 se obtm como resultado um nmero real : A) menor que 3,041. B) maior que 3,0417 C) entre 3,041 e 3,04167. D) entre 3,41 e 3,4167. E) menor que 3,0406. 4) O valor de (1/2) + (1/3) + (1/6) : a) 1/11.b) 3/11.c) 5/11.d) 1. Respostas 1)C Total do percurso:120 1 Corrida: 120 = 12 Bicicleta:
10

Corrida+bicicleta=12+84=96 Nado=1200-96=24km 2)C 3 9 Para achar o preo do lcool: 3 = 4 4 Gasolina: 3 =


3 5 9 5

7 120 = 84 10

O preo do lcool no combustvel: 4 5 = 20 = 10 Portanto o preo do combustvel :


9 9 18 + 9 27 + = = = 2,7 5 10 10 10

9 2

18

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


3)C
3 5 1 + 2 3 8

Tirando o m.m.c:24
36 40 3 73 + = = 3,04166 24 24 24 24

4)D

1 1 1 3+2+1 6 + + = = =1 2 3 6 6 6

2. NMEROSNATURAIS: MLTIPLOS, DIVISORES, DIVISIBILIDADE E RESTOS

Mltiplos e Divisores Um nmero mltiplo de outro quando ao dividirmos o primeiro pelo segundo, o resto zero. Exemplo

O conjunto de mltiplos de um nmero natural no-nulo infinito e podemos consegui-lo multiplicando-se o nmero dado por todos os nmeros naturais. M(3)={0,3,6,9,12,...} Os nmeros 12 e 15 so mltiplos de 3, portanto 3 divisor de 12 e 15. D(12)={1,2,3,4,6,12} D(15)={1,3,5,15} Observaes: - Todo nmero natural mltiplo de si mesmo. - Todo nmero natural mltiplo de 1. - Todo nmero natural, diferente de zero, tem infinitos mltiplos. - O zero mltiplo de qualquer nmero natural. Divisibilidade Em algumas situaes precisamos apenas saber se um nmero natural divisvel por outro nmero natural, sem a necessidade de obter o resultado da diviso. Neste caso utilizamos as regras conhecidas como critrios de divisibilidade. Apresentamos as regras de divisibilidade por 2, 3, 4, 5, 6, 7, 8, 9, 10. Critrios de divisibilidade Divisibilidade por 2
Didatismo e Conhecimento
4

10 2 = 5 12 3 = 4

MATEMTICA E RACIOCNIO LGICO


Um nmero divisvel por 2 se ele par, ou seja, termina em 0, 2, 4, 6 ou 8. Exemplos: O nmero 5634 divisvel por 2, pois o seu ltimo algarismo 4, mas 135 no divisvel por 2, pois um nmero terminado com o algarismo 5 que no par. Divisibilidade por 3 Um nmero divisvel por 3 se a soma de seus algarismos divisvel por 3. Exemplos: 18 divisvel por 3 pois 1+8=9 que divisvel por 3, 576 divisvel por 3 pois: 5+7+6=18 que divisvel por 3, mas 134 no divisvel por 3, pois 1+3+4=8 que no divisvel por 3. Divisibilidade por 4 Um nmero divisvel por 4 se o nmero formado pelos seus dois ltimos algarismos divisvel por 4. Exemplos: 4312 divisvel por 4, pois 12 divisvel por 4, mas 1635 no divisvel por 4 pois 35 no divisvel por 4. Divisibilidade por 5 Um nmero divisvel por 5 se o seu ltimo algarismo 0 (zero) ou 5. Exemplos: 75 divisvel por 5 pois termina com o algarismo 5, mas 107 no divisvel por 5 pois o seu ltimo algarismo no 0 (zero) nem 5. Divisibilidade por 6 Um nmero divisvel por 6 se par e a soma de seus algarismos divisvel por 3. Exemplos: 756 divisvel por 6, pois 756 par e a soma de seus algarismos: 7+5+6=18 divisvel por 3, 527 no divisvel por 6, pois no par e 872 par mas no divisvel por 6 pois a soma de seus algarismos: 8+7+2=17 no divisvel por 3. Divisibilidade por 7 Um nmero divisvel por 7 se o dobro do ltimo algarismo, subtrado do nmero sem o ltimo algarismo, resultar um nmero divisvel por 7. Se o nmero obtido ainda for grande, repete-se o processo at que se possa verificar a diviso por 7. Exemplo: 165928 divisvel por 7 pois: 8x2=16 16592-16=16576 Repete-se o processo com este ltimo nmero. 6x2=12 1657-12=1645 Repete-se o processo com este ltimo nmero. 5x2=10 164-10=154 Repete-se o processo com este ltimo nmero. 4x2=8 15-8=7 A diferena divisvel por 7, logo o nmero dado inicialmente tambm divisvel por 7. Divisibilidade por 8 Um nmero divisvel por 8 se o nmero formado pelos seus trs ltimos algarismos divisvel por 8. Exemplos: 45128 divisvel por 8 pois 128 dividido por 8 fornece 16, mas 45321 no divisvel por 8 pois 321 no divisvel por 8.

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Divisibilidade por 9 Um nmero divisvel por 9 se a soma dos seus algarismos um nmero divisvel por 9. Exemplos: 1935 divisvel por 9 pois: 1+9+3+5=18 que divisvel por 9, mas 5381 no divisvel por 9 pois: 5+3+8+1=17 que no divisvel por 9. Divisibilidade por 10 Um nmero divisvel por 10 se termina com o algarismo 0 (zero). Exemplos: 5420 divisvel por 10 pois termina em 0 (zero), mas 6342 no termina em 0 (zero). Divisibilidade por 11 Um nmero divisvel por 11 se a soma dos algarismos de ordem par Sp menos a soma dos algarismos de ordem mpar Si um nmero divisvel por 11. Como um caso particular, se Sp-Si=0 ou se Si-Sp=0, ento o nmero divisvel por 11. Exemplos: a) 1 3 5 Algarismos de posio mpar (Soma dos algarismos de posio mpar: 4 + 8 + 3 = 15.) 4 3 8 1 3 2 4 Algarismos de posio par (Soma dos algarismos de posio par:3 + 1 = 4) 15 4 = 11 diferena divisvel por 11. Logo 43813 divisvel por 11. Divisibilidade por 13 Um nmero divisvel por 13 se o qudruplo (4 vezes) do ltimo algarismo, somado ao nmero sem o ltimo algarismo, resultar um nmero divisvel por 13. Se o nmero obtido ainda for grande, repete-se o processo at que se possa verificar a diviso por 13. Este critrio semelhante quele dado antes para a divisibilidade por 7, apenas que no presente caso utilizamos a soma ao invs de subtrao. Exemplo: 16562 divisvel por 13? Vamos verificar. 2x4=8 1656+8=1664 Repete-se o processo com este ltimo nmero. 4x4=16 166+16=182 Repete-se o processo com este ltimo nmero. 2x4=8 18+8=26 Como a ltima soma divisvel por 13, ento o nmero dado inicialmente tambm divisvel por 13. Restos das divises Na aplicao do carter de divisibilidade, o resto da diviso de um nmero qualquer por outro, cujo carter de divisibilidade conhecemos, ser o mesmo resto encontrado na aplicao do carter pelo divisor considerado. Exemplo: Qual o resto da diviso de 1938 por 11? Soluo: Soma dos algarismos de ordem mpar = 9 + 8 =17 Soma dos algarismos de ordem par = 1 + 3 =4 174=13e13dividido por 11 deixa resto2.
Didatismo e Conhecimento
6

MATEMTICA E RACIOCNIO LGICO


Teoria dos restos Proposio 1.O resto da diviso de uma soma por um nmero o mesmo que o da diviso da soma dos restos das parcelas por esse mesmo nmero. Exemplo: Qual o resto da diviso da soma 18 + 27 + 14 por 4? Soluo: Soma dos restos das parcelas: 2 + 3 + 2 = 7 e 7 deixa resto 3 na diviso por 4. Portanto, o resto da soma de 18 + 27 + 14 por 4 ser 3. Proposio2. O resto da diviso de um produto por um nmero o mesmo que o da diviso do produto dos restos dos fatores por esse nmero. Exemplo: Qual o resto da diviso do produto 4735 x 28624 x 74652 por 9? Soluo: Produto dos restos dos fatores: 1 x 4 x 6 = 24 e 24 deixa resto 6 na diviso por 9. Logo, o resto do produto 4735 x 28624 x 74652 por 9 ser 6. Exerccios 1) Qual o menor nmero com dois dgitos que somando a 12345 o tornar um nmero divisvel por 9? 2) Um nmero divisvel por 9 e por 5. Se somarmos 315 a este nmero ele ainda continuar divisvel por 9 e por 5? 3) a) b) c) d) e) Numa diviso, o divisor 15, o quociente 11 e o resto o maior possvel. Ento o dividendo : 151 165 175 179 181

4) Qual o menor nmero que devemos subtrair de 61577 para que a diferena seja divisvel ao mesmo tempo por 5 e por 9? 5)Qual o menor nmero que devemos adicionar a 25013 para que a soma seja divisvel ao mesmo tempo por 3 e por 7? Respostas 1) Somando os algarismos:1+2+3+4+5=15 dividido por 9 d resto 6 Devemos encontrar o menor mltiplo de 9 com dois dgitos, que ao ser subtrado de 6, continue com 2 algarismos. Esse nmero o 18-6=12 Ento o menor nmero para ser somado o 12. Tirando a prova:12345+12=12357 1+2+3+5+7=18:9=2 2) Sabemos que se a um nmerodivisvel porn, somarmosnou qualquer um dos seus mltiplos, o nmero resultante continuar sendo divisvel porn. Como315tambm divisvel por 5 e por 9, tal soma no afetar em nada a divisibilidade por tais nmeros. 3) Alternativa D

O divisor equivale a 15 e o quociente a 11 e o resto o maior possvel, ou seja, 14. Portanto, 11.15+14=179 4) Um nmero que ao mesmo tempo divisvel por 5 e por 9, divisvel tambm por 45. O nmero 61577 seria divisvel por 45 se o resto da diviso fosse igual a zero, como no , o que precisamos fazer ento subtrair de 61577 este resto, para que ele se torne um nmero divisvel por 45. 61577 dividido por 45 igual a 1368, com um resto de 17. Logo: Devemos subtrair 17 de 61577 para que a diferena seja divisvel ao mesmo tempo por 5 e por 9.
Didatismo e Conhecimento
7

MATEMTICA E RACIOCNIO LGICO


5) 25013 dividido por 21, o produto de 3 por 7, igual a 1191, com um resto de 2. Se subtrairmos 2 de 25013, o resultado ser um nmero divisvel por 21, mas o enunciado diz que devemos adicionar e no subtrair, ento devemos acrescentar 19, que o resultado de 21 2, para obtermos o prximo nmero aps 25013, que assim como ele tambm ser divisvel por 21. Assim sendo: Devemos adicionar 19 a 25013 para que a soma seja divisvel ao mesmo tempo por 3 e por 7.

3. M.D.C. EM.M.C

Mximo Divisor Comum O mximo divisor comum de dois ou mais nmeros naturais no-nulos o maior dos divisores comuns desses nmeros. Para calcular o m.d.c de dois ou mais nmeros, devemos seguir as etapas: Decompor o nmero em fatores primos Tomar o fatores comuns com o menor expoente Multiplicar os fatores entre si. Exemplo:

O fator comum o 3 e o 1 o menor expoente. m.d.c (15,24) = 3 Mnimo Mltiplo Comum

15 = 3 5 24 = 2 3

O mnimo mltiplo comum (m.m.c) de dois ou mais nmeros o menor nmero, diferente de zero. Para calcular devemos seguir as etapas: Decompor os nmeros em fatores primos Tomar os fatores comuns e no-comuns com o maior expoente Multiplicar os fatores entre si Exemplo: Assim, o mmc

Exerccios

1) Uma empresa de logstica composta de trs reas: administrativa, operacional e vendedores. A rea administrativa composta de 30 funcionrios, a operacional de 48 e a de vendedores com 36 pessoas. Ao final do ano, a empresa realiza uma integrao entre as trs reas, de modo que todos os funcionrios participem ativamente. As equipes devem conter o mesmo nmero de funcionrios com o maior nmero possvel. Determine quantos funcionrios devem participar de cada equipe e o nmero possvel de equipes. 2) (PM AC 2012 - Funcab) Sendo D o Maior Divisor Comum entre os nmeros 525 e 1120, e M o Mnimo Mltiplo Comum entre eles, determine o valor de M - 250.D. A) 8050 B) 8750 C) 16000 D) 16835 E) 16765
Didatismo e Conhecimento
8

MATEMTICA E RACIOCNIO LGICO


3) (Funcab -2012). Determine o MDC (Maior Divisor Comum) e o MMC (Mnimo Mltiplo Comum), nesta ordem, dos nmeros 60, 70 e 240. A) 10 e 210 B) 30 e 210 C) 10 e 1680 D) 15 e 1680 E) 30 e 5040 4) (PUCSP) Numa linha de produo, certo tipo de manuteno feita na mquina A a cada 3 dias, na mquina B, a cada 4 dias, e na mquina C, a cada 6 dias. Se no dia 2 de dezembro foi feita a manuteno nas trs mquinas, aps quantos dias as mquinas recebero manuteno no mesmo dia. 5) Alguns cometas passam pela terra periodicamente. O cometa A visita a terra de 12 em 12 anos e o B,de 32 em 32 anos. Em 2006, os dois cometas passaram por aqui. Em que ano os dois cometas passarojuntos pelo planeta novamente? Respostas 1) Encontrar o MDC entre os nmeros 48, 36 e 30.

Decomposio em fatores primos: Equipes O nmero de equipes ser igual a 19, com 6 participantes cada uma.

Determinando o nmero total de equipes:

48 = 2 2 2 2 3 36 = 2 2 3 3 30 = 2 3 5 (30, 36, 48) = 2 3 = 6

48 + 36 + 30 = 114 114: 6 = 19 Equipes O nmero de equipes ser igual a 19, com 6 participantes cada uma. 2) Alternativa A

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Da, 16800 250.35 = 16800 8750 = 8050 3) alternativa C

4) Temos que determinar o MMC entre os nmeros 3, 4 e 6.

MMC (3, 4, 6) = 2 * 2 * 3 = 12 Conclumos que aps 12 dias, a manuteno ser feita nas trs mquinas. Portanto, dia 14 de dezembro. 5)

2006+96=2102
Didatismo e Conhecimento
10

MATEMTICA E RACIOCNIO LGICO


4. NMEROS FRACIONRIOS E OPERAES COM FRAES

As fraes pertencem ao conjunto dos nmeros racionais e o uso delas est presente em diversas situaes matemticas. Fraes Equivalentes Para encontrar fraes equivalentes, multiplicamos o numerador e o denominador da frao por um mesmo nmero natural diferente de zero. Assim: , 2/4, 4/8, 3/6, 5/10 so algumas fraes equivalentes a 1/2 Simplificando Fraes Cludio dividiu a pizza em 8 partes iguais e comeu 4 partes. Que frao da pizza ele comeu? Cludio comeu 4/8 da pizza. Mas 4/8 equivalente a 2/4. Assim podemos dizer que Cludio comeu 2/4 da pizza. A frao 2/4 foi obtida dividindo-se ambos os termos da frao 4/8 por 2 veja: 4/8 : 2/2 = 2/4 Dizemos que a frao 2/4 uma frao simplificada de 4/8. A frao 2/4 ainda pode ser simplificada, ou seja, podemos obter uma frao equivalente dividindo os dois termos da frao por 2 e vamos obter Tipos de Fraes a) Frao prpria : aquela cujo o numerador menor que o denominador. Exemplos : 2/3, 4/7, 1/8 b) Frao imprpria: a frao cujo numerador maior ou igual ao denominador Exemplo: 3/2, 5/5 c) Frao aparente: a frao imprpria cujo o numerador mltiplo do denominador Exemplo: 6/2, 19/19, 24/12, 7/7 Representao Fracionria dos Nmeros Decimais Trata-se do problema inverso: estando o nmero racional escrito na forma decimal, procuremos escrev-lo na forma de frao. Temos dois casos: 1) Transformamos o nmero em uma frao cujo numerador o nmero decimal sem a vrgula e o denominador composto pelo numeral 1, seguido de tantos zeros quantas forem as casas decimais do nmero decimal dado: 0,9 = 9 5,7 =
10

57 10

0,76 = 76

100

3,48 = 348
100

Didatismo e Conhecimento

11

MATEMTICA E RACIOCNIO LGICO


Operaes com fraes Adio e Subtrao A adio ou subtrao de fraes requer que todas as fraes envolvidas possuam o mesmo denominador. Se inicialmente todas as fraes j possurem um denominador comum, basta que realizemos a soma ou a diferena de todos os numeradores e mantenhamos este denominador comum.

Vejamos agora este outro exemplo:

1 2 5 4 + = 3 3 3 3

Nesse caso, devemos achar o MMC. O MMC(2,3,6)=6, ento:

2 1 1 + 3 2 6

Multiplicao

4+31 6 = =1 6 6

basta que multipliquemos os seus numerados entre si, fazendo-se o mesmo em relao aos seus denominadores.

Diviso

1 3 3 = 2 4 8

A diviso de fraes resume-se a inverso das fraes divisoras, trocando-se o seu numerador pelo seu denominador e realizando-se ento a multiplicao das novas fraes.

Para realizar essa diviso, basta inverter:

2 4 : 3 5

2 5 10 5 = = 3 4 12 6
Didatismo e Conhecimento
12

MATEMTICA E RACIOCNIO LGICO


Exerccios 1) Um grande depsito foi esvaziado a um tero da sua capacidade e mais tarde, do que sobrou foram retirados trs quartos. Sabe-se que o reservatrio ainda ficou com vinte mil litros de gua. Qual a capacidade total deste reservatrio? 2) Das figurinhas que eu possua,3/7eu perdi e2/5foram dadas ao meu irmo, ficando72delas comigo. Quantas figurinhas foram dadas ao meu irmo? 3) Um assentador de pisos consegue assentar todos os pisos de um salo em 24 horas. Um outro assentador consegue fazer o mesmo trabalho em 21 horas. Trabalhando juntos, conseguem realizar tal trabalho em quantas horas? 4) Para comprar um certo brinquedo, da quantia necessria Joo possui um tero e Maria possui um quarto. Dona Lurdes, a me deles, prometeu completar com os R$125,00 que faltam para eles completarem o valor. Quanto custa tal brinquedo? 5) Cinco oitavos de trs stimos do valor de uma multa de trnsito que Zeca p de chumbo recebeu, igual a R$75,00. Qual o valor da multa de trnsito referente infrao que Zeca p de chumbo cometeu? Respostas 1)

Temos que dividir por 1/12 porque se multiplicarmos, obtemos o que restava. 2)

20000 = 240000 1 12

1 3 1 1 . = 3 4 3 12

1 72

3 2 29 + = 7 5 35

Foram dadas 168 figurinhas ao meu irmo. 3)

420

35 = 420 6 2 = 168 5

29 6 = 35 35

Em uma hora eles conseguem assentar 5/56

1 1 5 + = 21 24 56
56 = 11,2 5

Didatismo e Conhecimento

13

MATEMTICA E RACIOCNIO LGICO


1 hora-------60 minutos 0,2----------x X=12 minutos Eles assentam juntos em 11 horas e 12 minutos 4)

O brinquedo custa R$300,00

125

1 1 5 = 3 4 12
12 = 300 5

5 3 5) 75: : 8 7 8 7 75 = 280 5 3

O valor da multa R$280,00

5. NMEROSDECIMAIS E DZIMAS PERIDICAS


Representao Decimal das Fraes Tomemos um nmero racional q , tal que p no seja mltiplo de q. Para escrev-lo na forma decimal, basta efetuar a diviso do numerador pelo denominador. Nessa diviso podem ocorrer dois casos: 1) O numeral decimal obtido possui, aps a vrgula, um nmero finito de algarismos. Decimais Exatos:
p

2 = 0,4 5 1 = 0,25 4

35 = 8,75 4 153 = 3,06 50


2) O numeral decimal obtido possui, aps a vrgula, infinitos algarismos (nem todos nulos), repetindo-se periodicamente. Decimais Peridicos ou Dzimas Peridicas:

1 = 0,333... 3 1 = 0,04545... 22 167 = 2,53030... 66


Didatismo e Conhecimento
14

MATEMTICA E RACIOCNIO LGICO


Exemplo 1 Seja a dzima 0, 333... . Faamos x = 0,333... e multipliquemos ambos os membros por 10: 10x = 0,333 Subtraindo, membro a membro, a primeira igualdade da segunda: 10x x = 3,333... 0,333... 9x = 3 a x = 3/9 Assim, a geratriz de 0,333... a frao Exemplo 2 Seja a dzima 5, 1717... . Faamos x = 5,1717... e 100x = 517,1717... . Subtraindo membro a membro, temos: 99x = 512 x = 512/99 512 Assim, a geratriz de 5,1717... a frao

3 9

99

Classificando as Dzimas Peridicas em Simples e Compostas A dzima peridica0,1535353... composta, pois ela possui um ante perodo que no se repete, no caso o nmero 1, e um perodo formado pelo nmero53, que se repete indefinidamente. Se fosse apenas0,535353...teramos umadzima peridica simples, pois ela possui apenas um perodo,53, mas no um ante perodo. Veja abaixo alguns exemplos: Exemplos de Dzimas Peridicas Simples 0,111...perodo igual a1 0,252525...perodo igual a25 0,010101...perodo igual a01 0,123123123...perodo igual a123 Exemplos de Dzimas Peridicas Compostas 0,2333...ante perodo igual a2e perodo igual a3 0,45222...ante perodo igual a45e perodo igual a2 0,171353535...ante perodo igual a171e perodo igual a35 0,32101230123...ante perodo igual a32e perodo igual a0123 Exerccios 1) A dzimaperidica simples0,024024 pode ser escrita como: a) 24/99 b) 24/999 c) 240/299 d) 24/1000 e) 240/1000

Didatismo e Conhecimento

15

MATEMTICA E RACIOCNIO LGICO


2) Resolvendo a expresso

3) Resolva a expresso abaixo, apresentando a resposta na forma mais simples.

4) Tem-se que

Didatismo e Conhecimento

16

MATEMTICA E RACIOCNIO LGICO

5) Dada a dzima x=0,222..., ento o valor da expresso

a)67/103 b)65/103 c)67/105 d)65/104 e)67/104 Respostas 1) Alternativa B X=0,024024... 1000x=24,024024... Subtraindo: 999x=24 X=24/999 2) Alternativa A A dizima 0,333... igual a: X=0,333... 10x=3,333... 9x=3 X=1/3 0,3=3/10 Portanto

3)

Didatismo e Conhecimento

17

MATEMTICA E RACIOCNIO LGICO


4) Alternativa A Y=0,242424... 100x=24,242424... 99x=24 X=24/99

5) Alternativa A X=0,222... 10x=2,222... 9x=2 X=2/9

SISTEMAS DE UNIDADE, NOTAOCIENTFICA E BASES NO DECIMAIS

Sistemas de unidade Para a Fsica como cincia da Natureza, fundamental a medio das grandezas utilizadas para descrever os aspectos do Universo que os fsicos aceitam como verdadeiros. O processo de medida de uma grandeza fsica qualquer est associado ideia de comparao. Neste sentido, medir uma grandeza estabelecer o seu valor como mltiplo de certa unidade. Por exemplo, quando dizemos que o comprimento de uma das dimenses de uma mesa 2 m, estamos dizendo que esse comprimento equivale a duas vezes o comprimento correspondente unidade chamada metro. O nome da unidade sempre escrito em letras minsculas. Os smbolos das unidades so entes matemticos e no abreviaturas. Por isso, eles no devem ser seguidos de ponto (exceto quando aparecem nos finais de frases) nem da letra s para formar o plural. A tabela a seguir mostra as unidades de comprimento.

Didatismo e Conhecimento

18

MATEMTICA E RACIOCNIO LGICO


Unidades de Comprimento km Quilmetro 1000m hm Hectmetro 100m dam Decmetro 10m m Metro 1m dm Decmetro 0,1m cm Centmetro 0,01m mm Milmetro 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-6m angstrn() = 10-10m

Para distncias astronmicas utilizamos o Ano-luz (distncia percorrida pela luz em um ano): Ano-luz= 9,5 1012km Massa A subunidade grama do gnero masculino. Por isso, ao falar e escrever o quilograma ou seus mltiplos ou submltiplos, devemos fazer a concordncia correta. Por exemplo, escrevemos duzentos e um gramas ou trezentos e vinte e dois miligramas. Alm disso, no smbolo do quilograma (kg), a letra k minscula.
Unidades de Massa kg quilograma 1000m hg hectograma 100m dag decagrama 10m g grama 1m dg decigrama 0,1m cg centigrama 0,01m mg miligrama 0,001m

Superfcie A medida de superfcie sua rea e a unidade fundamental o metro quadrado(m). Para transformar de uma unidade para outra inferior, devemos observar que cada unidade cem vezes maior que a unidade imediatamente inferior. Assim, multiplicamos por cem para cada deslocamento de uma unidade at a desejada.
Unidades de rea km
2

hm

dam

m2 Metro Quadrado 1m2

dm2 Decmetro Quadrado 0,01m2

cm2 Centmetro Quadrado 0,0001m2

mm2 Milmetro Quadrado 0,000001m2

Quilmetro Quadrado 1000000m2

Hectmetro Quadrado 10000m2

Decmetro Quadrado 100m2

Volume Os slidos geomtricos so objetos tridimensionais que ocupam lugar no espao. Por isso, eles possuem volume. Podemos encontrar slidos de inmeras formas, retangulares, circulares, quadrangulares, entre outras, mas todos iro possuir volume e capacidade.
Unidades de Volume km3 Quilmetro Cbico 1000000000m3 hm3 Hectmetro Cbico 1000000m3 dam3 Decmetro Cbico 1000m3 m3 Metro Cbico 1m3 dm3 Decmetro Cbico 0,001m3 cm3 Centmetro Cbico 0,000001m3 mm3 Milmetro Cbico 0,000000001m3

Didatismo e Conhecimento

19

MATEMTICA E RACIOCNIO LGICO


Capacidade Para medirmos a quantidade de leite, sucos, gua, leo, gasolina, lcool entre outros utilizamos o litro e seus mltiplos e submltiplos, unidade de medidas de produtos lquidos. Se um recipiente tem 1L de capacidade, ento seu volume interno de 1dm 1L=1dm
Unidades de Capacidade kl Quilolitro 1000l hl Hectolitro 100l dal Decalitro 10l 1l l Litro dl Decilitro 0,1l cl Centilitro 0,01l ml Mililitro 0,001l

Notao Cientfica Anotao cientfica uma outra forma de escrevermos nmeros reais recorrendo a potncias de10. Mantissa e Ordem de Grandeza Ao escrevermos um nmero emnotao cientficautilizamos o seguinte formato: Onde ocoeficientea um nmero real denominadomantissa, cujomdulo igual ou maior que1e menor que10e oexpoenteb, aordem de grandeza, um nmero inteiro. Exemplos de Nmeros Escritos em Notao Cientfica Para escrevemos o nmero realnem notao cientfica precisamos transform-lo no produto de um nmero real igual ou maior que1e menor que10, por uma potncia de10com expoente inteiro. Amantissa obtida se posicionando a vrgula direita do primeiro algarismo significativo deste nmero. Se o deslocamento da vrgula foi para aesquerda, aordem de grandezaser o nmero de posies deslocadas. Se o deslocamento da vrgula foi para adireita, aordem de grandezaser o simtrico do nmero de posies deslocadas, ser portanto negativa. Veja como fica2048escrito na forma de notao cientfica:

2048foi escrito como2,048, pois12,048<10. Como deslocamos a vrgula3posies para a esquerda, devemos multiplicar2,048por103como compensao. Veja agora o caso do nmero0,0049escrito na forma de notao cientfica:

Neste caso deslocamos a vrgula3posies direita, ento devemos multiplicar4,9por10-3. Veja que neste caso aordem de grandeza negativa. Bases no-decimais Para expressarmos quantidades ou para enumerarmos objetos, por exemplo, utilizamos um sistema de numerao. Existem vrios sistemas de numerao, mas o mais comum e que frequentemente utilizado por ns, o sistema de numerao decimal. Neste sistema os nmeros so representados por um agrupamento de smbolos que chamamos de algarismos ou dgitos. No sistema decimal contamos com dez smbolos distintos:0,1,2,3,4,5,6,7,8e9

Didatismo e Conhecimento

20

MATEMTICA E RACIOCNIO LGICO


Exemplo: Podemos representar os nmeros da seguinte maneira 1300=1 milhar + 3 centenas=1.10+3.10 45=4 dezenas+5 unidades=4.10+5.10 No entanto, ele no a nica base vlida ou usada. Os computadores utilizam a base 2 ( sistema binrio ). Qualquer sistema de numerao pode ser representado pela seguinte expresso geral: Na expresso acima, d o nmero do sistema (0,1,2,3...) e b a base do sistema. Tempo A unidade fundamental do tempo o segundo(s). usual a medio do tempo em vrias unidades. Exemplo: 4 dias 13 horas 28 minutos 17 segundos Mudanas de unidades Deve-se saber: 1 dia=24horas 1hora=60minutos 1 minuto=60segundos No exemplo dado, vamos transformar para segundos. A maneira mais simples de resolver fazendo regra de trs: 1 dia------24horas 4 dias-----x X=24x4=96horas 96+13=109horas 1hora---60min 109------x X=109x60=6540min 6540+28=6568 minutos 1min-----60s 6568----x X=6568x60=394080s Portanto, 394080+17=394097s Converso sistemas no-decimais para decimais
21

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Como vimos anteriormente, podemos expressar um mesmo nmero em diferentes bases. O nmero 9 na base 10 expressa-se como 1001 na base 2. Isto :

Exemplo Da mesma forma, o numeral 2345 na base dez, na base sete ou base seis representa nmeros distintos, mas as regras para realizar as operaes no mudam com a mudana de base.

Exerccios 1) Em uma estrada havia 9km de congestionamento. Quantos carros estavam em uma nica fila se cada carro ocupa um espao de 4,5m em mdia? 2) Quantos litros cabem em uma caixa dgua de 0,5m? 3) Uma tonelada de carne moda ser distribuda em bandejas de isopor que comportam 320g cada uma. Quantas bandejas sero necessrias? 4) Um caminho pipa carrega 3,5 kl de gua. Quantos gales de 5 litros so necessrios para engarrafar toda a gua? 5) No tanque de um automvel cabe 0,57hl de combustvel. Se o litro custa R$2,00, quanto se gastar para encher do tanque? Respostas 1) 9km-9000 m

2) 1L-1dm 0,5m=500dm Portanto, temos 500 l. 3) 1t-1000kg-1000000g Portanto, 4) 3,5kl-3500L

Didatismo e Conhecimento

22

MATEMTICA E RACIOCNIO LGICO


5) 0,57 hl-57 l

Gastar R$ 76,00

RAZES E PROPORES
Razo Chama-se de razo entre dois nmeros racionais a e b, com b0, ao quociente entre eles. Indica-se a razo de a para b por a/b ou a : b. Exemplo: Na sala do 1 ano de um colgio h 20 rapazes e 25 moas. Encontre a razo entre o nmero de rapazes e o nmero de moas. (lembrando que razo diviso)

Proporo Proporo a igualdade entre duas razes. A proporo entre A/B e C/D a igualdade:

Propriedade fundamental das propores Numa proporo:

Os nmeros A e D so denominadosextremosenquanto os nmeros B e C so osmeiose vale a propriedade: o produto dos meios igual ao produto dos extremos, isto : AxD=BxC Exemplo:A frao 3/4 est em proporo com 6/8, pois:

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:

Didatismo e Conhecimento

23

MATEMTICA E RACIOCNIO LGICO


Exerccios 1) Durante um torneio uma equipe de futebol obteve o seguinte resultado: 40 vitrias, 24 empates e 16 derrotas. Qual a razo do nmero de vitrias para o nmero de partidas disputadas? 2) Uma equipe de futebol obteve, durante o ano de 2013, 26 vitrias, 15 empates e 11 derrotas. Qual a razo do nmero de vitrias para o nmero total de partidas disputadas? 3) Um reservatrio com capacidade para 8m de gua, est com 2000L de gua. Qual a razo da quantidade de gua que est no reservatrio para a capacidade total do reservatrio? (Lembre-se que 1dm = 1L). 4) Um nmeroasomado a um outro nmerobtotaliza 216.aest para 12, assim comobest para 15. Qual o valor deae deb? 5) A idade de Pedro est para a idade de Paulo, assim como 5 est para 6. Quantos anos tem Pedro e Paulo sabendo-se que as duas idades somadas totalizam 55 anos? Respostas 1) nmero de partidas:40+24+16=80

2) nmero de partidas:26+15+11=52 Razo:26/52=1/2 3)8m=8000dm 2000/8000=1/4 4)

5)a=Pedro b=Paulo

a+b=55

b=30 a=25 Pedro tem 25 anos e Paulo tem 30 anos


Didatismo e Conhecimento
24

MATEMTICA E RACIOCNIO LGICO


ESCALAS

Escalas As Escalas representam, de forma grfica, um mapa e a realidade do espao geogrfico real, com isso os mapas podem utilizar duas escalas, numrica ou grfica. Usamos escala quando queremos representar um esboo grfico de objetos, da planta de uma casa ou de uma cidade, mapas, maquetes, etc. -Escala numrica: representada em forma de frao 1/10.000 ou razo 1:10.000, isso significa que o valor do numerador o do mapa e o denominador o valor referente ao espao real. Ex: 1:10.000, cada 1 cm no papel (mapa) corresponde a 10.000 cm no espao real. -Escala Grfica: Representa de forma grfica a escala numrica.

Cada unidade da escala, ou seja, 1 cm representa 50 km no espao real. Exerccios 1) Um mapa est na escala 1:6000000. Se duas localidades esto representadas no mapa distncia de 14,2 cm, qual ento a distncia real entre as mesmas em quilmetros? a)8,52 b)85,2 c)852 d)8250 e)85200 2) Um terreno tem 100 metros de comprimento e est representado numa planta por 10 centmetros. Ento sua escala de: a)1:1000 b)1:2000 c)1:100 d)1:1500 e)1:10000 3) Em um mapa desenhado na escala 1: 50.000, a distncia entre duas cidades de 4 cm. Se o mesmo mapa for desenhado na escala 1: 1.250.000, a distncia entre essas cidades ser de: a)0,8cm b)0,16cm c)2cm d)12cm e)15cm 4) Num mapa, cuja escala 1:3.000.000, a estrada Belm-Braslia tem 67 cm. Calcular, em km, a distncia real: a)2100 b)2010 c)2280 d)1910 e)2233 5) Um prottipo foi desenhado na escala 1:100. Qual ser o comprimento desse prottipo se o modelo em tamanho real tem um comprimento igual a 4m?
25

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Respostas 1) Alternativa C 1--------6000000 14,2----x X=85200000cm=852km 2) Alternativa A 100m=10000cm 10:10000 1:1000 3) Alternativa B 1-----50000 4-----x X=200000cm 1----1250000 x----200000 x=0,16 4) Alternativa B 1----3000000 67---x X=201000000cm=2010km 5) 1----100 x----400 x=4cm

DIVISO PROPORCIONAL

Algumas situaes financeiras, ou somente casos envolvendo divises, so satisfatoriamente resolvidas utilizando a diviso proporcional. Essa diviso aplicada em situaes de partilha de heranas, formulao de inventrios, clculo de salrio proporcional aos dias trabalhados, entre outras inmeras situaes. Diretamente Proporcionais Para decompor um nmero M em partes X1, X2, ..., Xndiretamente proporcionais a p1, p2, ..., pn, deve-se montar um sistema com n equaes e n incgnitas, sendo as somas X1+X2+...+Xn=M e p1+p2+...+pn= P.

A soluo segue das propriedades das propores:

Didatismo e Conhecimento

26

MATEMTICA E RACIOCNIO LGICO


Exemplo Carlos e Joo resolveram realizar um bolo da loteria. Carlos entrou com R$ 10,00 e Joo com R$ 15,00. Caso ganhem o prmio de R$ 525.000,00, qual ser a parte de cada um, se o combinado entre os dois foi de dividirem o prmio de forma diretamente proporcional?

Carlos ganhar R$210000,00 e Carlos R$315000,00. Inversamente Proporcionais Para decompor um nmero M em n partes X1, X2, ..., Xninversamente proporcionais a p1, p2, ..., pn, basta decompor este nmero M em n partes X1, X2, ..., Xndiretamente proporcionais a 1/p1, 1/p2, ..., 1/pn. A montagem do sistema com n equaes e n incgnitas, assume que X1+X2+...+ Xn=M e alm disso

cuja soluo segue das propriedades das propores:

Exemplo Para decompor o nmero 220 em trs partes A, B e C inversamente proporcionais a 2, 4 e 6, deve-se montar um sistema com 3 equaes e 3 incgnitas, de modo que A+B+C=220. Desse modo:

Didatismo e Conhecimento

27

MATEMTICA E RACIOCNIO LGICO


Exerccios 1) Trs trabalhadores devem dividir R$1.200,00 referentes ao pagamento por um servio realizado. Eles trabalharam 2, 3 e 5 dias respectivamente e devem receber uma quantia diretamente proporcional ao nmero de dias trabalhados. Quanto dever receber cada um? 2) Dois ambulantes obtiveram R$1.560,00 pela venda de certas mercadorias. Esta quantia deve ser dividida entre eles em partes diretamente proporcionais a 5 e 7, respectivamente. Quanto ir receber cada um? 3) Os trs jogadores mais disciplinados de um campeonato de futebol amador iro receber um prmio de R$3.340,00 rateados em partes inversamente proporcionais ao nmero de faltas cometidas em todo o campeonato. Os jogadores cometeram 5, 7 e 11 faltas. Qual a premiao referente a cada um deles respectivamente? 4) Um pai distribuiu 546 bolas de gude aos seus 2 filhos em partes diretamente proporcionais mdia final na disciplina de matemtica e em partes inversamente proporcionais ao nmero de faltas em todo o ano letivo. O primeiro filho teve mdia final 9 e faltou 8 vezes, enquanto que o segundo filho teve mdia final 8 e faltou 3 vezes. Quantas bolas de gude eles ganharam respectivamente? 5) Divida o nmero 124 em parcelas diretamente proporcionais a 11, 7 e 13. Respostas 1) P1=2k P2=3k P3=5k P1+p2+p3=1200 2k+3k+5k=1200 k=120 p1=120.2=240 p2=120.3=360 p3=120.5=600 Quem trabalhou 2 dias receber R$240,00 3 dias-R$360,00 5 dias- R$600,00 2) P1=5k P2=7k P1+p2=1560 5k+7k=1560 k=130 p1=130.5=650 p2=130.7=910 Os ambulantes iro receber R$650,00 e R$910,00, respectivamente. 3) P1=1/5k P2=1/7k P3=1/11k P1+p2+p3=3340

Didatismo e Conhecimento

28

MATEMTICA E RACIOCNIO LGICO


k=7700 p1=7700.1/5=1540 p2=7700.1/7=1100 p3=7700.1/11=700 A premiao ser respectivamente R$1.540,00, R$1.100,00 e R$700,00. 4) P1=9/8k P2=8/3k P1+p2=546

k=144 p1=9/8.144=162 p2=8/3.144=384 O primeiro filho ganhou 162 bolas de gude e o segundo ganhou 384. 5) P1=11k P2=7k P3=13k P1+p2+p3=124 11k+7k+13k=124 K=4 P1=11.4=44 P2=7.4=28 P3=13.4=52 As parcelas procuradas so respectivamente 44, 28 e 52.

REGRA DE TRS SIMPLES OU COMPOSTA

Regra de trs simples Regra de trs simples um processo prtico para resolver problemas que envolvam quatro valores dos quais conhecemos trs deles. Devemos, portanto, determinar um valor a partir dos trs j conhecidos. Passos utilizados numa regra de trs simples: 1) Construir uma tabela, agrupando as grandezas da mesma espcie em colunas e mantendo na mesma linha as grandezas de espcies diferentes em correspondncia. 2) Identificar se as grandezas so diretamente ou inversamente proporcionais. 3) Montar a proporo e resolver a equao. Um trem, deslocando-se a uma velocidade mdia de 400Km/h, faz um determinado percurso em 3 horas. Em quanto tempo faria esse mesmo percurso, se a velocidade utilizada fosse de 480km/h?
29

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Soluo: montando a tabela: 1) Velocidade (Km/h) Tempo (h) 400-----------------3 480---------------- x 2) Identificao do tipo de relao: Velocidade----------tempo 400-----------------3 480---------------- x Obs.: como as setas esto invertidas temos que inverter os nmeros mantendo a primeira coluna e invertendo a segunda coluna ou seja o que est em cima vai para baixo e o que est em baixo na segunda coluna vai para cima Velocidade----------tempo 400-----------------X 480---------------- 3 Regra de trs composta Regra de trs composta utilizada em problemas com mais de duas grandezas, direta ou inversamente proporcionais. Exemplos: 1) Em 8 horas, 20 caminhes descarregam 160m3 de areia. Em 5 horas, quantos caminhes sero necessrios para descarregar 125m3? Soluo: montando a tabela, colocando em cada coluna as grandezas de mesma espcie e, em cada linha, as grandezas de espcies diferentes que se correspondem: Horas --------caminhes-----------volume 8----------------20----------------------160 5------------------x----------------------125 A seguir, devemos comparar cada grandeza com aquela onde est o x. Observe que: Aumentando o nmero de horas de trabalho, podemos diminuir o nmero de caminhes. Portanto a relao inversamente proporcional (seta para cima na 1 coluna). Aumentando o volume de areia, devemos aumentar o nmero de caminhes. Portanto a relao diretamente proporcional (seta para baixo na 3 coluna). Devemos igualar a razo que contm o termo x com o produto das outras razes de acordo com o sentido das setas. Montando a proporo e resolvendo a equao temos: Horas --------caminhes-----------volume 8----------------20----------------------160 5------------------x----------------------125 Obs.: Assim devemos inverter a primeira coluna ficando: Horas --------caminhes-----------volume 5----------------20----------------------160 8------------------x----------------------125 , onde os temos da ltima frao foram invertidos

Didatismo e Conhecimento

30

MATEMTICA E RACIOCNIO LGICO


Simplificando fica:

Logo, sero necessrios 25 caminhes Exerccios 1)Em uma hora, 4 mquinas produzem 1200 parafusos. Nesse mesmo tempo, 3 mquinas produziro quantos parafusos? a) 800 b) 900 c) 1000 d) 1100 e) 1600 2) Uma torneira despeja 18 litros de gua em 9 minutos. Em 2 horas e 15 minutos despejar: a) 300 b) 270 c) 240 d) 220 e) 200 3) Um certo volume de medicao demora 6 horas para ser ministrado em um gotejamento de 12 gotas por minuto. Se o nmero de gotas por minuto fosse de 18 gotas, quanto tempo teria demorado a aplicao desta mesma medicao? 4) Uma famlia com 2 duas pessoas consome 12m3de gua a cada 30 dias. Se mais uma pessoa com os mesmos hbitos de consumo se juntar a ela, quantos metros cbicos de gua eles consumiro em uma semana? 5) Um grupo de 10 trabalhadores descarregam 210 caixas de mercadoria em 3 horas. Quantas horas 25 trabalhadores precisaro para descarregar 350 caixas? Respostas 1)b Mquinas----------parafusos 4-----------------1200 3---------------- x X=900 2)b litros----------minutos 18-----------------9 x---------------- 135 X=270l 3)12gotas-----6horas 18gotas-----x Quanto mais gotas menos horas 12 -----x 18-------6 X=4horas
31

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


4)P=pessoas V=volume D=dias V P D 12-----2-----30 x-----3-------7 Ao aumentar o nmero de pessoas, aumenta o volume Diminuindo o nmero de dias, diminui o volume. Portanto, so grandezas diretamente proporcionais

X=4,2 Com 3 integrantes, a famlia ir consumir 4,2m. 5) T=trabalhadores C=caixas D=descarga T C D 10---210----3 25----350---x T C D 25----210----3 10----350---x

X=2 As caixas podem ser descarregadas em 2 horas.

PORCENTAGEM

Porcentagem Porcentagem umafraocujo 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 porregra 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:

Didatismo e Conhecimento

32

MATEMTICA E RACIOCNIO LGICO


Logo, a comisso ser de R$ 105,00. Existe outra maneira de encarar a porcentagem, que seria usar diretamente a definio: Logo 3% de R$ 3.500,00 seriam

Uma dica importante: oFATOR DE MULTIPLICAO. Acrscimo Se, por exemplo, h umacrscimode 10% a um determinado valor, podemos calcular o novo valor apenas multiplicando esse valor por1,10, que o fator de multiplicao. Se o acrscimo for de 20%, multiplicamos por1,20, e assim por diante. Veja a tabela abaixo:
Acrscimo ou Lucro 10% 15% 20% 47% 67% Fator de Multiplicao 1,10 1,15 1,20 1,47 1,67

Exemplo:Aumentando 10% no valor de R$10,00 temos:

Desconto No caso de haver umdecrscimo, o fator de multiplicao ser: Fator de Multiplicao = 1 - taxa de desconto (na forma decimal) Veja a tabela abaixo:
Desconto 10% 25% 34% 60% 90% Fator de Multiplicao 0,90 0,75 0,66 0,40 0,10

Exemplo:Descontando 10% no valor de R$10,00 temos:

Chamamos de lucro em uma transao comercial de compra e venda a diferena entre o preo de venda e o preo de custo.

Caso essa diferena seja negativa, ela ser chamada de prejuzo. Assim, podemos escrever:

Didatismo e Conhecimento

33

MATEMTICA E RACIOCNIO LGICO


Podemos expressar o lucro na forma de porcentagem de duas formas:

Exemplo: O preo de venda de um bem de consumo R$ 100,00. O comerciante tem um ganho de 25% sobre o preo de custo deste bem. O valor do preo de custo : a) R$ 25,00 b) R$ 70,50 c) R$ 75,00 d) R$ 80,00 e) R$ 125,00 Resoluo Ganho = lucro

Resposta: D Exerccios

1) Ao comprar um produto que custava R$1500,00 obtive um desconto de 12%. Por quanto acabei pagando o produto? Qual o valor do desconto obtido? 2) Um guarda-roupa foi comprado a prazo, pagando-se R$2.204,00 pelo mesmo. Sabe-se que foi obtido um desconto de 5% sobre o preo de etiqueta. Se a compra tivesse sido vista, o guarda-roupa teria sado por R$1.972,00. Neste caso, qual teria sido o desconto obtido? 3) Ana passou a ganhar R$550,00 porque teve um aumento de 10%. Qual era seu salrio antigo? 4) (PCSP1205/001-AgentePolicia 2013) Um produto foi vendido com desconto de 10% sobre o preo normal de venda. Se ele foi vendido por R$ 54,00, o preonormal de venda desse produto (A) R$ 59,40. (B) R$ 58,00. (C) R$ 60,00. (D) R$ 59,00. (E) R$ 58,40. 5) (VNSP1201/003-AssistAdmin-I 2012) Um arquiteto projetou uma Escola Infantil, utilizando 45% da rea total do terreno para o prdio que continha as salas de aula e 15% para as salas de projeo, biblioteca e laboratrios. Mesmo assim, sobrou uma rea de 900 m para ambientes de lazer. Podemos concluir que o terreno tinha um total, em m, de (A) 3 250. (B) 3 000. (C) 2 750. (D) 2 450. (E) 2 250.
Didatismo e Conhecimento
34

MATEMTICA E RACIOCNIO LGICO


Respostas 1)

R$1500,00-R$180,00=R$1320,00 O valor do desconto de R$180,00 e o valor do produto R$1320,00 2) Como um desconto: 1-0,05=0,95

O preo do guarda roupa sem desconto R$2320,00 O desconto obtido : R$2320,00-R$1972,00=R$348,00 2320------100% 348--------x X=15% O desconto vista seria de 15% 3) Como um acrscimo de 10 %: O fator de multiplicao 1,1. Ento dividindo o salrio reajustado:

4) Alternativa C 1-0,1=0,9

O preo de venda do produto R$60,00 5) Alternativa E 45%+15%=60% 900m=40% X----100% 90040 X=2250

Didatismo e Conhecimento

35

MATEMTICA E RACIOCNIO LGICO


TEORIA DOS CONJUNTOS: CONJUNTOS NUMRICOS; RELAES,

Conjunto est presente em muitos aspectos da vida, sejam eles cotidianos, culturais ou cientficos. Por exemplo, formamos conjuntos ao organizar a lista de amigos para uma festa agrupar os dias da semana ou simplesmente fazer grupos. Os componentes de um conjunto so chamados de elementos. Para enumerar um conjunto usamos geralmente uma letra maiscula. Pode ser definido de duas maneiras: Enumerando todos os elementos do conjunto: S={1, 3, 5, 7, 9} Simbolicamente: B={x N|x<8}, enumerando esses elementos temos: B={0,1,2,3,4,5,6,7} H tambm um conjunto que no contm elemento e representado da seguinte forma: S= ou S={ }. Quando todos os elementos de um conjunto A pertencem tambm a outro conjunto B, dizemos que: A subconjunto de B Ou A parte de B A est contido em B escrevemos: AB Se existir pelo menos um elemento de A que no pertence a B: AB Igualdade Propriedades bsicas da igualdade Para todos os conjuntos A, B e C,para todos os objetos x U, temos que: (1) A = A. (2) Se A = B, ento B = A. (3) Se A = B e B = C, ento A = C. (4) Se A = B e x A, ento x B. Se A = B e A C, ento B C. Dois conjuntos so iguais se, e somente se, possuem exatamente os mesmos elementos. Em smbolo:

Para saber se dois conjuntos A e B so iguais, precisamos saber apenas quais so os elementos. No importa ordem: A={1,2,3} e B={2,1,3} No importa se h repetio: A={1,2,2,3} e B={1,2,3} Classificao Definio Chama-se cardinal de um conjunto, e representa-se por #, ao nmero de elementos que ele possui. Exemplo Por exemplo, se A ={45,65,85,95} ento #A = 4. Definies Dois conjuntos dizem-se equipotentes se tm o mesmo cardinal. Um conjunto diz-se a) infinito quando no possvel enumerar todos os seus elementos b) finito quando possvel enumerar todos os seus elementos c) singular quando formado por um nico elemento d) vazio quando no tem elementos

Didatismo e Conhecimento

36

MATEMTICA E RACIOCNIO LGICO


Exemplos N um conjunto infinito (O cardinal do conjunto N (#N) infinito ()); A = {, 1} um conjunto finito (#A = 2); B = {Lua} um conjunto singular (#B = 1) { } ou o conjunto vazio (# = 0) Pertinncia O conceito bsico da teoria dos conjuntos a relao de pertinncia representada pelo smbolo . As letras minsculas designam os elementos de um conjunto e as maisculas, os conjuntos. Assim, o conjunto das vogais (V) : V={a,e,i,o,u} A relao de pertinncia expressa por: aV A relao de no-pertinncia expressa por:bV, pois o elemento b no pertence ao conjunto V. Incluso A Relao de incluso possui 3 propriedades: 1. Propriedade reflexiva: AA, isto , um conjunto sempre subconjunto dele mesmo. 2. Propriedade antissimtrica: se AB e BA, ento A=B 3. Propriedade transitiva: se AB e BC, ento, AC. Operaes Unio Dados dois conjuntos A e B, existe sempre um terceiro formado pelos elementos que pertencem pelo menos um dos conjuntos a que chamamos conjunto unio e representamos por: AB. Formalmente temos: AB={x|xA ou xB} Exemplo: A={1,2,3,4} e B={5,6} AB={1,2,3,4,5,6} Interseo A interseo dos conjuntos A e B o conjunto formado pelos elementos que so ao mesmo tempo de A e de B, e representada por : AB. Simbolicamente: AB={x|xA e xB}

Exemplo: A={a,b,c,d,e} e B={d,e,f,g} AB={d,e} Diferena Uma outra operao entre conjuntos a diferena, que a cada par A, B de conjuntos faz corresponder o conjunto definido por: A B ou A\B que se diz a diferena entre A e B ou o complementar de B em relao a A. A este conjunto pertencem os elementos de A que no pertencem a B. A\B = {x : xA e xB}.
Didatismo e Conhecimento
37

MATEMTICA E RACIOCNIO LGICO

Exemplo: A = {0, 1, 2, 3, 4,5} e B = {5, 6, 7} Ento os elementos de A B sero os elementos do conjunto A menos os elementos que pertencerem ao conjunto B. Portanto A B = {0, 1, 2, 3, 4}. Exerccios 1) Dados os conjuntos: A={1,2,3,4,5}; B={4,5,6} Calcular: a) A B b) AB c) A-B 2) Numa escola h n alunos. Sabe-se que 56 alunos leem o jornal A, 21 leem os jornais A e B, 106 leem apenas um dos jornais e 66 no leem o jornal B. O valor de n : a) 249 b) 137 c) 158 d) 127 e) 183 3) Em um grupo de 30 crianas, 16 tm olhos azuis e 20 estudam canto. O nmero de crianas desse grupo que tm olhos azuis e estudam canto : a) exatamente 16. b) no mnimo 6. c) exatamente 10. d) no mximo 6. e) exatamente 6. 4) Numa escola de 630 alunos, 350 deles estudam Portugus, 210 estudam Espanhol e 90 estudam as duas matrias. Pergunta-se: a) Quantos alunos estudam apenas Portugus? b) Quantos alunos estudam apenas espanhol? c) Quantos alunos estudam Portugus ou Espanhol? d) Quantos alunos no estudam nenhuma das duas matrias? 5) Num grupo de estudantes, verificou-se que 310 leram apenas um dos romances A ou B; 270, o romance B; 80, os dois romances, A e B, e 340 no leram o romance A. O nmero de estudantes desse grupo igual a: a) 380 b) 430 c) 480 d) 540 e) 610
Didatismo e Conhecimento
38

MATEMTICA E RACIOCNIO LGICO


Respostas 1) a) A B={1, 2, 3, 4, 5, 6} b) AB={4, 5} c) A-B ={1, 2, 3} 2)

Leem jornal A=56-21=35 Leem jornal B=106-35=71 No leem o jornal B=66-35=31 O valor de n :35+21+71+31=158 3)

(16-x)+x+(20-x)=30 -x=-6 x=6 4)

Didatismo e Conhecimento

39

MATEMTICA E RACIOCNIO LGICO


P=350-90=260 E=210-90=120 Nenhuma das duas: 630-470=160 a)350-90=260 b)210-90=120 c)260+90+120=470 d)630-470=160 5)

B=270-80=190 No A=340-190=150 A e B=80 A ou B=310-190=12 O nmero de estudantes :190+80+120+150=540

FUNES DE PRIMEIRO E SEGUNDO GRAU

Funo 1 grau A funo do 1 grau relacionar os valores numricos obtidos de expresses algbricas do tipo (ax + b), constituindo, assim, a funof(x) = ax + b. Note que para definir a funo do 1 grau, basta haver uma expresso algbrica do 1 grau. Como dito anteriormente, o objetivo da funo relacionar para cada valor de x um valor para o f(x). Vejamos um exemplo para a funo f(x)= x 2. x =1, temos que f(1) = 1 2 = 1 x =4, temos que f(4) = 4 2 = 2 Note que os valores numricos mudam conforme o valor de x alterado, sendo assim obtemos diversos pares ordenados, constitudos da seguinte maneira: (x, f(x)). Veja que para cada coordenada x, iremos obter uma coordenada f(x). Isso auxilia na construo de grficos das funes. Portanto, para que o estudo das funes do 1 grau seja realizado com sucesso, compreenda bem a construo de um grfico e a manipulao algbrica das incgnitas e dos coeficientes.
40

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Estudo dos Sinais Definimos funo como relao entre duas grandezas representadas por x e y. No caso de uma funo do 1 grau, sua lei de formao possui a seguinte caracterstica:y = ax + bouf(x) = ax + b, onde os coeficientes a e b pertencem aos reais e diferem de zero. Esse modelo de funo possui como representao grfica a figura de uma reta, portanto, as relaes entre os valores do domnio e da imagem crescem ou decrescem de acordo com o valor do coeficiente a. Se o coeficiente possui sinal positivo, a funo crescente, e caso ele tenha sinal negativo, a funo decrescente. Funo Crescente a > 0

Funo Decrescente a < 0

Raiz da funo Calcular o valor da raiz da funo determinar o valor em que a reta cruza o eixo x, para isso consideremos o valor de y igual a zero, pois no momento em que a reta intersecta o eixo x, y = 0. Observe a representao grfica a seguir:

Podemos estabelecer uma formao geral para o clculo da raiz de uma funo do 1 grau, basta criar uma generalizao com base na prpria lei de formao da funo, considerando y = 0 e isolando o valor de x (raiz da funo). Veja: y = ax + b y=0 ax + b = 0 ax = b x = b/a Portanto, para calcularmos a raiz de uma funo do 1 grau, basta utilizar a expresso x = b/a.
Didatismo e Conhecimento
41

MATEMTICA E RACIOCNIO LGICO


Funo Quadrtica Em geral, uma funo quadrtica ou polinomial do segundo grau tem a seguinte forma: f(x)=ax+bx+c, onde a0 essencial que aparea ax para ser uma funo quadrtica e deve ser o maior termo. Consideraes Concavidade A concavidade da parbola para cima se a>0 e para baixo se a<0

Relao do

na funo

Quando , a parbola y=ax+bx+c intercepta o eixo x em dois pontos distintos, (x1,0) e (x2,0), onde x1 e x2 so razes da equao ax+bx+c=0 Quando , a parbola y=ax+bx+c tangente ao eixo x, no ponto

Repare que, quando tivermos o discriminante , as duas razes da equao ax+bx+c=0 so iguais a . Se, a parbola y=ax+bx+c no intercepta o eixo.

Quandoa > 0, a parbola tem concavidade voltada para cima e umponto de mnimoV; quandoa < 0, a parbola tem concavidade voltada para baixo e umponto de mximoV. Em qualquer caso, as coordenadas de V so . Veja os grficos:

Didatismo e Conhecimento

42

MATEMTICA E RACIOCNIO LGICO


Imagem O conjunto-imagemImda funoy = ax2+ bx + c,a 1 - quandoa > 0, 0, o conjunto dos valores que y pode assumir. H duas possibilidades:

a>0

2 quandoa < 0,

a<0

Didatismo e Conhecimento

43

MATEMTICA E RACIOCNIO LGICO


Exemplo Vamos construir o grfico da funo y = x2+ x: Primeiro atribumos a x alguns valores, depois calculamos o valor correspondente de y e, em seguida, ligamos os pontos assim obtidos.

Exerccios 1) Um vendedor recebe mensalmente um salrio composto de duas partes: 1.000 a parte fixa, e uma parte varivel que corresponde a uma com comisso de 18% do total de vendas que ele fez durante o ms. a)expressar a funo que representa seu salrio mensal. b) calcular o salrio do vendedor durante um ms, sabendo-se que vendeu 10.000 em produtos. 2) Um motorista de txi cobra R$ 3,50 de bandeirada (valor fixo) mais R$ 0,70 por quilmetro rodado (valor varivel). Determine o valor a ser pago por uma corrida relativa a um percurso de 18 quilmetros. 3) O salrio de um vendedor composto de uma parte fixa no valor de R$ 800,00, mais uma parte varivel de 12% sobre o valor de suas vendas no ms. Caso ele consiga vender R$ 450 000,00, calcule o valor de seu salrio. 4) Qual a funo que representa o grfico seguinte?

Didatismo e Conhecimento

44

MATEMTICA E RACIOCNIO LGICO

(A) (B) (C) (D) (E) 5) (UFRGS) Para que a parbola da equao y=ax+bx-1contenha os pontos(-2; 1)e(3; 1), os valores de a e b so, respectivamente, (A) e (B) e (C) e (D) e (E) e Respostas 1) a)S=1000+0,18V b) S=1000+0,18*10000 = 2800.00 2) Funo que define o valor a ser cobrado por uma corrida de x quilmetros: f(x) = 0,70x + 3,50. Valor a ser pago por uma corrida de percurso igual a 18 quilmetros. f(x) = 0,70x + 3,50 f(18) = 0,70 * 18 + 3,50 f(18) = 12,60 + 3,50 f(18) = 16,10
Didatismo e Conhecimento
45

MATEMTICA E RACIOCNIO LGICO


3) f(x) = 12% de x (valor das vendas mensais) + 800 (valor fixo) f(x) = 12/100 * x + 800 f(x) = 0,12x + 800 f(450 000) = 0,12 * 450 000 + 800 f(450 000) = 54 000 + 800 f(450 000) = 54 800 O salrio do vendedor ser de R$ 54 800,00. 4) Alternativa C a>0 pois a concavidade est para cima. c=-9 - onde corta o eixo y o eixo x cortado em -3/2 e 3 portanto:0=a(-3/2)+b(-3/2)-9 0=9a+3b-9

Multiplicando a primeira equao por- 4:

Somando as duas equaes 9b+27=0 b=-3 a=2 y=2x-3x-9 5)Alternativa B

Multiplicando a primeira equao por 3 e a segunda por 2:

Somando:

Didatismo e Conhecimento

46

MATEMTICA E RACIOCNIO LGICO


NOES DE PROBABILIDADE EESTATSTICA DESCRITIVA

Probabilidade Considere os seguintes experimentos: -Lanamento de um dado -Lanamento de uma moeda Mesmo se esses experimentos forem repetidos vrias vezes, nas mesmas condies, no poderemos prever o resultado. Um experimento cujo resultado, embora nico, imprevisvel, denominado experimento aleatrio. A Teoria da Probabilidade surgiu para tentar medir a chance de ocorrer um determinado resultado num experimento aleatrio. Espao Amostral O conjunto de todos os resultados possveis de um experimento aleatrio denominado espao amostral, que vamos indicar por E. -lanamento de um dado: E={1, 2, 3, 4, 5, 6} -lanamento de uma moeda:E={cara, coroa} Qualquer subconjunto do espao amostral chamado evento. Probabilidade em Espaos Amostrais Finitos Probabilidade de um evento A representa a chance de ocorrer um evento A. O valor p(A) igual ao nmero de elementos de A, dividido pelo nmero de elementos do espao amostral E.

Adio de probabilidades Sejam A e B dois eventos de um espao amostral E, finito e no vazio. Tem-se:

Exemplo No lanamento de um dado, qual a probabilidade de se obter um nmero par ou menor que 5, na face superior? Soluo E={1,2,3,4,5,6} n(E)=6 Sejam os eventos A={2,4,6} n(A)=3 B={1,2,3,4} n(B)=4
Didatismo e Conhecimento
47

MATEMTICA E RACIOCNIO LGICO

Probabilidade Condicional a probabilidade de ocorrer o evento A dado que ocorreu o evento B, definido por:

Do exemplo anterior: E={1,2,3,4,5,6}, n(E)=6 B={2,4,6} n(B)=3 A={2}

Exemplo Calcule a probabilidade de, jogando um dado ideal, obter um nmero maior que 4. Soluo E={1, 2, 3, 4, 5, 6} Evento:A={5, 6}

Estatstica Descritiva A estatstica descritiva a etapa inicial da anlise utilizada para descrever e resumir os dados. A disponibilidade de uma grande quantidade de dados e de mtodos computacionais muito eficientes revigorou est rea da estatstica. Frequncias A primeira fase de um estudo estatstico consiste em recolher, contar e classificar os dados pesquisados sobre uma populao estatstica ou sobre uma amostra dessa populao. Frequncia Absoluta o nmero de vezes que a varivel estatstica assume um valor. Frequncia Relativa o quociente entre a frequncia absoluta e o nmero de elementos da amostra. Na tabela a seguir, temos exemplo dos dois tipos:

Didatismo e Conhecimento

48

MATEMTICA E RACIOCNIO LGICO

Medidas de Tendncia Central Mdia aritmtica Mdia aritmtica de um conjunto de nmeros o valor que se obtm dividindo a soma dos elementos pelo nmero de elementos do conjunto. Representemos a mdia aritmtica por . A mdia pode ser calculada apenas se a varivel envolvida na pesquisa for quantitativa. No faz sentido calcular a mdia aritmtica para variveis quantitativas. Na realizao de uma mesma pesquisa estatstica entre diferentes grupos, se for possvel calcular a mdia, ficar mais fcil estabelecer uma comparao entre esses grupos e perceber tendncias. Considerando uma equipe de basquete, a soma das alturas dos jogadores :

Se dividirmos esse valor pelo nmero total de jogadores, obteremos a mdia aritmtica das alturas:

A mdia aritmtica das alturas dos jogadores 2,02m. Mdia Ponderada A mdia dos elementos do conjunto numrico A relativa adio e na qual cada elemento tem um determinado peso chamada mdia aritmtica ponderada.

Exemplo O peso mdio (mdia aritmtica dos pesos) dos 100 alunos de uma academia de ginstica igual a 75 kg. O peso mdio dos homens 90 kg e o das mulheres 65 kg. a) Quantos homens frequentam a academia? b) Se no so considerados os 10 alunos mais pesados, o peso mdio cai de 75 kg para 72 kg. Qual o peso mdio desses 10 alunos?
49

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Soluo a) x=nmero de homens 100-x=nmero de mulheres

Portanto, 40 homens frequentam a academia b) A=soma dos pesos dos 10 alunos mais pesados

A=1020 O peso mdio :

Mediana (Md) Sejam os valores escritos em rol:

1. Sendo n mpar, chama-se mediana o termo tal que o nmero de termos da sequncia que precedem igual ao nmero de termos que o sucedem, isto , termo mdio da sequncia ( ) em rol. 2. Sendo n par, chama-se mediana o valor obtido pela mdia aritmtica entre os termos e , tais que o nmero de termos que precedem igual ao nmero de termos que sucedem , isto , a mediana a mdia aritmtica entre os termos centrais da sequncia ( ) em rol. Exemplo 1: Determinar a mediana do conjunto de dados: {12, 3, 7, 10, 21, 18, 23} Soluo: Escrevendo os elementos do conjunto em rol, tem-se: (3, 7, 10, 12, 18, 21, 23). A mediana o termo mdio desse rol. Logo: Md=12
Didatismo e Conhecimento
50

MATEMTICA E RACIOCNIO LGICO


Resposta: Md=12. Exemplo 2: Determinar a mediana do conjunto de dados: {10, 12, 3, 7, 18, 23, 21, 25}. Soluo: Escrevendo-se os elementos do conjunto em rol, tem-se: (3, 7, 10, 12, 18, 21, 23, 25). A mediana a mdia aritmtica entre os dois termos centrais do rol. Logo: Resposta:

Moda (Mo) Num conjunto de nmeros: , chama-se moda aquele valor que ocorre com maior frequncia.

Observao: A moda pode no existir e, se existir, pode no ser nica. Exemplo 1: O conjunto de dados 3, 3, 8, 8, 8, 6, 9, 31 tem moda igual a 8, isto , Mo=8. Exemplo 2: O conjunto de dados 1, 2, 9, 6, 3, 5 no tem moda. Exemplo 3: O conjunto de dados 1, 5, 5, 5, 6, 7, 8, 8, 8 possui duas modas, 5 e 8, e chamada bimodal. Medidas de disperso Duas distribuies de frequncia com medidas de tendncia central semelhantes podem apresentar caractersticas diversas. Necessita-se de outros ndices numricas que informem sobre o grau de disperso ou variao dos dados em torno da mdia ou de qualquer outro valor de concentrao. Esses ndices so chamados medidas de disperso. Varincia H um ndice que mede a disperso dos elementos de um conjunto de nmeros em relao sua mdia aritmtica, e que chamado de varincia. Esse ndice assim definido: Seja o conjunto de nmeros , tal que sua mdia aritmtica. Chama-se varincia desse conjunto, e indica-se por , o nmero:

Isto :

Didatismo e Conhecimento

51

MATEMTICA E RACIOCNIO LGICO


Exemplo 1: Em oito jogos, o jogador A, de bola ao cesto, apresentou o seguinte desempenho, descrito na tabela abaixo:
Jogo 1 2 3 4 5 6 7 8 Nmero de pontos 22 18 13 24 26 20 19 18

a) Qual a mdia de pontos por jogo? b) Qual a varincia do conjunto de pontos? Soluo: a) A mdia de pontos por jogo :

b) A varincia :

Desvio padro Definio Seja o conjunto de nmeros , tal que sua mdia aritmtica. Chama-se desvio padro desse conjunto, e indica-se por , o nmero:

Isto :

Exemplo: As estaturas dos jogadores de uma equipe de basquetebol so: 2,00 m; 1,95 m; 2,10 m; 1,90 m e 2,05 m. Calcular: a) A estatura mdia desses jogadores. b) O desvio padro desse conjunto de estaturas.

Didatismo e Conhecimento

52

MATEMTICA E RACIOCNIO LGICO


Soluo: a) Sendo a estatura mdia, temos:

b) Sendo o desvio padro, tem-se:

Exerccios 1) No lanamento de um dado, determinar a probabiliade de se obter: a)o nmero 2 b)um nmero par c) um nmero mltiplo de 3 2) Calcule a probabilidade de retirar 1 bola vermelha de uma urna contendo 3 bolas brancas, 2 vermelhas e 5 verdes. 3) Observe as notas de trs competidores em uma prova de manobras radicais com skates. Competidor A: 7,0 5,0 3,0 Competidor B: 5,0 4,0 6,0 Competidor C: 4,0 4,0 7,0 Sabendo que a mdia 5 para todos, calcule a varincia e o desvio padro. 4) O quadro seguinte mostra o desempenho de um time de futebol no ltimo campeonato. A coluna da esquerda mostra o nmero de gols marcados e a coluna da direita informa em quantos jogos o time marcou aquelenmero de gols.

Se X, Y e Z so, respectivamente, a mdia, a mediana e a moda desta distribuio, ento A) X = Y < Z. B) Z < X = Y. C) Y < Z < X. D) Z < X < Y. E) Z < Y < X.
Didatismo e Conhecimento
53

MATEMTICA E RACIOCNIO LGICO


5) Um casal pretende ter filhos. Sabe-se que a cada ms a probabilidade da mulher engravidar de 20%. Qual a probabilidade dela vir a engravidar somente no quarto ms de tentativas? Respostas 1) a) E={1, 2, 3, 4, 5, 6} A={2}, n(A)=1

b) B={2, 4, 6} n(B)=3

c) C={3,6} n(C)=2

2) n(E)=10 n(A)=2

3) Competidor A

Competidor B

Competidor C

Didatismo e Conhecimento

54

MATEMTICA E RACIOCNIO LGICO


Desvio Padro calculado extraindo a raiz quadrada da varincia. Competidor A

Competidor B

Competidor C

4) Alternativa E 0,0,0,0,0,1,1,1,2,2,2,2,3,3,3,4,4,5,5,7 A moda dada por zero, pois o termo que mais aparece. J amedianadevemos observar a quantidade de termos, que neste caso 20 e quando a quantidade par devemos pegar os termos que esto no meio e tirar a sua mdia aritmtica, o dcimo e o dcimo primeiro termo. Temos 10 termo => 2 e 11 termo => 2, logo a mdia entre eles dada por (2+2)/2 = 2. E por ltimo a questo nos pediu amdia, que neste caso a mdia ponderada. Ento: Mdia = (0.5 + 1.3 + 2.4 + 3.3 + 4.2 + 5.2 + 7.1) / 5 + 3 + 4 + 3 + 2 + 2 + 1 Mdia = 45 / 20 Mdia = 2,25 No enunciado ele nomeou cada um dos elementos sendo a moda dada por Z, a mediana dada por Y e a mdia dada por X e assim: X = 2,25 Y=2 Z=0 Logo, Z < Y < X. 5) Sabemos que a probabilidade da mulher engravidar em um ms de20%, que na forma decimal igual a0,2. A probabilidade dela no conseguir engravidar igual a1 - 0,2, ou seja, igual a0,8. Este exerccio trata de eventos consecutivos e independentes (pelo menos enquanto ela no engravida), ento a probabilidade de que todos eles ocorram, dado pelo produto de todas as probabilidades individuais. Como a mulher s deve engravidar no quarto ms, ento a probabilidade dos trs meses anteriores deve ser igual probabilidade dela no engravidar no ms, logo:

0,1024multiplicado por100% igual a10,24%. Ento: A probabilidade de a mulher vir a engravidar somente no quarto ms de 10,24%.

Didatismo e Conhecimento

55

MATEMTICA E RACIOCNIO LGICO


NOES DE LGICA

Lgica A lgica est de tal modo incrustada na matemtica que s vezes ambas se fundem numa s estrutura. Proposio toda expresso que encerra um pensamento de sentido completo e pode ser classificada como V(verdadeira) ou F(Falsa). As proposies so indicadas por letras minsculas: p, q, r,.. Os smbolos V e F so chamados de valores lgicos. A negao de uma proposio dada por : ~p(l-se no p).

Conectivo uma expresso que une duas proposies dando origem a uma outra proposio. a) e()

A proposio pq s ser verdadeira se ambas forem. b) ou ()

Precisa apenas que uma das duas seja verdadeira. c) se..,, ento ()

d) se, e somente se()

Didatismo e Conhecimento

56

MATEMTICA E RACIOCNIO LGICO


Exerccios 1) Qual a negao da proposio nenhum homem imortal? a) existem homens imortais. b) existem homens mortais. c) nenhuma mulher imortal. d) todo homem mortal. e) todo homem imortal. 2) Na tabela abaixo, p e q so proposies
p V V F F q V F V F ? F V F F

A proposio composta que substitui corretamente o ponto de interrogao a) pq b) pq c) ~(pq) d) pq e) ~(pq) 3) Considere as seguintes premissas: Se todos os homens so sbios, ento no h justia para todos. Se no h justia para todos, ento todos os homens so sbios. Para que se tenha um argumento vlido, correto concluir que: (A) Todos os homens so sbios se, e somente se, h justia para todos. (B) Todos os homens so sbios se, e somente se, no h justia para todos. (C) Todos os homens so sbios e h justia para todos. (D) Todos os homens so sbios e no h justia para todos. (E) Todos os homens so sbios se h justia para todos. 4)Se todos os nossos atos tm causa, ento no h atos livres. Se no h atos livres, ento todos os nossos atos tm causa. Logo: a) alguns atos no tm causa se no h atos livres. b) Todos os nossos atos tm causa se e somente se h atos livres. c) Todos os nossos atos tm causa se e somente se no h atos livres. d) Todos os nossos atos no tm causa se e somente se no h atos livres. e) Alguns atos so livres se e somente se todos os nossos atos tm causa 5) A negao de Todos os filhos de Maria gostam de quiabo (A) nenhum dos filhos de Maria gosta de quiabo. (B) nenhum dos filhos de Maria desgosta de quiabo. (C) pelo menos um dos filhos de Maria gosta de quiabo. (D) pelo menos um dos filhos de Maria desgosta de quiabo. (E) alguns filhos de Maria no gostam de quiabo. Respostas 1) Alternativa A 2) Alternativa C 3) Alternativa B 4) Alternativa C 5) Alternativa D
Didatismo e Conhecimento
57

MATEMTICA E RACIOCNIO LGICO


MATEMTICA FINANCEIRA

Matemtica Financeira AMatemtica Financeirapossui diversas aplicaes no atual sistema econmico. Algumas situaes esto presentes no cotidiano das pessoas, como financiamentos de casa e carros, realizaes de emprstimos, compras a credirio ou com carto de crdito, aplicaes financeiras, investimentos em bolsas de valores, entre outras situaes. Todas as movimentaes financeiras so baseadas na estipulao prvia de taxas de juros. Ao realizarmos um emprstimo a forma de pagamento feita atravs de prestaes mensais acrescidas de juros, isto , o valor de quitao do emprstimo superior ao valor inicial do emprstimo. A essa diferena damos o nome de juros. Juros Simples Chama-se juros simples a compensao em dinheiro pelo emprstimo de um capital financeiro, a uma taxa combinada, por um prazo determinado, produzida exclusivamente pelo capital inicial. Em Juros Simples a remunerao pelo capital inicial aplicado diretamente proporcional ao seu valor e ao tempo de aplicao. A expresso matemtica utilizada para o clculo das situaes envolvendo juros simples a seguinte: J = C i n, onde: J = juros C = capital inicial i = taxa de juros n = tempo de aplicao (ms, bimestre, trimestre, semestre, ano...) Observao importante: a taxa de juros e o tempo de aplicao devem ser referentes a um mesmo perodo. Ou seja, os dois devem estar em meses, bimestres, trimestres, semestres, anos... O que no pode ocorrer um estar em meses e outro em anos, ou qualquer outra combinao de perodos. Dica: Essa frmula J = C i n, lembra as letras das palavras JUROS SIMPLES e facilita a sua memorizao. Outro ponto importante saber que essa frmula pode ser trabalhada de vrias maneiras para se obter cada um de seus valores, ou seja, se voc souber trs valores, poder conseguir o quarto, ou seja, como exemplo se voc souber o Juros (J), o Capital Inicial (C) e a Taxa (i), poder obter o Tempo de aplicao (n). E isso vale para qualquer combinao. Montante O Montante a soma do Juros mais o Capital Inicial. Essa frmula tambm ser amplamente utilizada para resolver questes. M=C+J M = montante C = capital inicial J = juros M=C+C.i.n M=C(1+i.n) Exemplo Maria quer comprar uma bolsa que custa R$ 85,00 vista. Como no tinha essa quantia no momento e no queria perder a oportunidade, aceitou a oferta da loja de pagar duas prestaes de R$ 45,00, uma no ato da compra e outra um ms depois. A taxa de juros mensal que a loja estava cobrando nessa operao era de: (A) 5,0% (B) 5,9% (C) 7,5% (D) 10,0% (E) 12,5% Resposta Letra e. O juros incidiu somente sobre a segunda parcela, pois a primeira foi vista. Sendo assim, o valor devido seria R$40 (85-45) e a parcela a ser paga de R$45. Aplicando a frmula M = C + J: 45 = 40 + J J=5 Aplicando a outra frmula J = C i n: 5 = 40 X i X 1 i = 0,125 = 12,5%

Didatismo e Conhecimento

58

MATEMTICA E RACIOCNIO LGICO


Exerccios

1) (FUNDATEC-Ag.administrativo-2013) Uma empresa foi multada por jogar resduos txicos em um rio, cujo valor da multa foi de R$45.000,00 mais R$1.500,00 por dia at que a empresa se ajustasse s normas que regulamentam os ndices de poluio. Sabendo que a empresa pagou R$79.500,00 de multa, o nmero de dias que levou para se ajustar s normas exigidas foi de A) 10. B) 15. C) 23. D) 30. E) 35. 2) (FUNDATEC-Ag.administrativo-2013) Um emprstimo de R$ 50.000,00 ser pago no prazo de 5 meses, com juros simples de 2,5% a.m. (ao ms). Nesse sentido, o valor da dvida na data do seu vencimento ser: A) R$6.250,00. B) R$16.250,00. C) R$42.650,00. D) R$56.250,00. E) R$62.250,00. 3) (FAPEC-2013)Para que um capital dobre no sistema de juros simples, taxa
de 4% ao ms, ser necessrio quantos meses? a) 25 meses b) 50 meses c) 15 meses d) 20 meses

4) Qual o montante de um capital de R$1000,00 aplicado taxa de 10% ao ano pelo prazo de 2 anos? 5) Luana aplicou R$12000,00 a juro composto de 6% ao bimestre. Que quantia ter aps 12 meses de aplicao?
Respostas 1) Alternativa C M=C+J 79500=45000+J J=34500

2) Alternativa D J=Cin J=50000.0,025.5=6250 M=C+J M=50000+6250=R$56250,00 3) Alternativa A M=C+J 2C=C+J J=C C=C.0,04.n
Didatismo e Conhecimento
59

MATEMTICA E RACIOCNIO LGICO

4) M=C(1+in) M=1000(1+0,10.2) M=1200 O montante de R$1200,00 5)

M=17022,23 t=6 por ter 6 bimestres em 12 meses

APLICAES E OPERAES COM INEQUAES

Inequao Uma inequao uma sentena matemtica expressa por uma ou mais incgnitas, que ao contrrio da equao que utiliza um sinal de igualdade, apresenta sinais de desigualdade. Veja os sinais de desigualdade: >: maior <: menor : maior ou igual : menor ou igual O princpio resolutivo de uma inequao o mesmo da equao, onde temos que organizar os termos semelhantes em cada membro, realizando as operaes indicadas. No caso das inequaes, ao realizarmos uma multiplicao de seus elementos por1com o intuito de deixar a parte da incgnita positiva, invertemos o sinal representativo da desigualdade. Exemplo 1 4x + 12 > 2x 2 4x 2x > 2 12 2x > 14 x > 14/2 x>7 Inequao-Produto Quando se trata de inequaes-produto, teremos uma desigualdade que envolve o produto de duas ou mais funes. Portanto, surge a necessidade de realizar o estudo da desigualdade em cada funo e obter a resposta final realizando a interseco do conjunto resposta das funes.
60

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Exemplo a)(-x+2)(2x-3)<0

Inequao-Quociente Na inequao-quociente, tem-se uma desigualdade de funes fracionrias, ou ainda, de duas funes na qual uma est dividindo a outra. Diante disso, deveremos nos atentar ao domnio da funo que se encontra no denominador, pois no existe diviso por zero. Com isso, a funo que estiver no denominador da inequao dever ser diferente de zero. O mtodo de resoluo se assemelha muito resoluo de uma inequao-produto, de modo que devemos analisar o sinal das funes e realizar a interseco do sinal dessas funes. Exemplo Resolva a inequao a seguir:

x-20 x2

Didatismo e Conhecimento

61

MATEMTICA E RACIOCNIO LGICO


Exerccios 1) De acordo com o conjunto dos nmeros Reais, determine o valor de x na seguinte inequao produto: (2x + 1) (x + 2) 0. 2) Resolva, de acordo com os nmeros Reais, a inequao quociente dada por 3) Dada a inequao 2(x+3)4(x-1), qual o menor nmero inteiro de trs algarismos que seja soluo? 4) Resolva: 3 (x+1) 3 x+4 5) Qual a soluo da inequao: Respostas 1)

2)

3)2x+64x-4 -2x-10 x5 Ento o menor nmero de trs algarismos o 100. 4)3x+3-3x+4 2x4 x2 S{xR|x2}
62

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO

x-3=0 x=3 x-5=0 x=5 Para valores x<3, a inequao positiva Para valores 3<x<5, negativo x>5, positivo S{xR|x<3 ou x>5}

SEQUNCIAS E PROGRESSESARITMTICAS E GEOMTRICAS

Sequncias Sempre que estabelecemos uma ordem para os elementos de um conjunto, de tal forma que cada elemento seja associado a uma posio, temos uma sequncia. O primeiro termo da sequncia indicado por a1,o segundo por a2, e o n-simo por an. Termo Geral de uma Sequncia Algumas sequncias podem ser expressas mediante uma lei de formao. Isso significa que podemos obter um termo qualquer da sequncia a partir de uma expresso, que relaciona o valor do termo com sua posio. Para a posio n(nN*), podemos escrever an=f(n) Progresso Aritmtica Denomina-se progresso aritmtica(PA) a sequncia em que cada termo, a partir do segundo, obtido adicionando-se uma constante r ao termo anterior. Essa constante r chama-se razo da PA.

Exemplo A sequncia (2,7,12) uma PA finita de razo 5:

Didatismo e Conhecimento

63

MATEMTICA E RACIOCNIO LGICO


Classificao As progresses aritmticas podem ser classificadas de acordo com o valor da razo r. r<0, PA decrescente r>0, PA crescente r=0 PA constante Propriedades das Progresses Aritmticas -Qualquer termo de uma PA, a partir do segundo, a mdia aritmtica entre o anterior e o posterior.

-A soma de dois termos equidistantes dos extremos igual soma dos extremos.

Termo Geral da PA Podemos escrever os elementos da PA(a1, a2, a3, ..., an,...) da seguinte forma:

Observe que cada termo obtido adicionando-se ao primeiro nmero de razes r igual posio do termo menos uma unidade.

Soma dos Termos de uma Progresso Aritmtica Considerando a PA finita (6,10, 14, 18, 22, 26, 30, 34). 6 e 34 so extremos, cuja soma 40

Numa PA finita, a soma de dois termos equidistantes dos extremos igual soma dos extremos. Usando essa propriedade, obtemos a frmula que permite calcular a soma dos n primeiros termos de uma progresso aritmtica.

Didatismo e Conhecimento

64

MATEMTICA E RACIOCNIO LGICO


Exemplo Uma progresso aritmtica finita possui 39 termos. O ltimo igual a 176 e o central e igual a 81. Qual o primeiro termo? Soluo Como esta sucesso possui 39 termos, sabemos que o termo central oa20, que possui 19 termos sua esquerda e mais 19 sua direita. Ento temos os seguintes dados para solucionar a questo:

Sabemos tambm que a soma de dois termos equidistantes dos extremos de uma P.A. finita igual soma dos seus extremos. Como esta P.A. tem um nmero mpar de termos, ento o termo central tem exatamente o valor de metade da soma dos extremos. Em notao matemtica temos:

Assim sendo: O primeiro termo desta sucesso igual a -14. Progresso Geomtrica Denomina-se progresso geomtrica(PG) a sequncia em que se obtm cada termo, a partir do segundo, multiplicando o anterior por uma constante q, chamada razo da PG. Exemplo Dada a sequncia: (4, 8, 16)

q=2 Classificao As classificaes geomtricas so classificadas assim: - Crescente: Quando cada termo maior que o anterior. Isto ocorre quando a1 > 0 e q > 1 ou quando a1 < 0 e 0 < q < 1. - Decrescente: Quando cada termo menor que o anterior. Isto ocorre quando a1 > 0 e 0 < q < 1 ou quando a1 < 0 e q > 1. - Alternante: Quando cada termo apresenta sinal contrrio ao do anterior. Isto ocorre quando q < 0. - Constante: Quando todos os termos so iguais. Isto ocorre quando q = 1. Uma PG constante tambm uma PA de razo r = 0. A PG constante tambm chamada de PG estacionaria. - Singular: Quando zero um dos seus termos. Isto ocorre quando a1 = 0 ou q = 0.
Didatismo e Conhecimento
65

MATEMTICA E RACIOCNIO LGICO


Termo Geral da PG Pelo exemplo anterior, podemos perceber que cada termo obtido multiplicando-se o primeiro por uma potncia cuja base a razo. Note que o expoente da razo igual posio do termo menos uma unidade.

Portanto, o termo geral :

Soma dos Termos de uma Progresso Geomtrica Finita Seja a PG finita de razo q e de soma dos termos Sn: 1 Caso: q=1

2 Caso: q1

Exemplo Dada a progresso geomtrica (1, 3, 9, 27,..) calcular: a) A soma dos 6 primeiros termos b) O valor de n para que a soma dos n primeiros termos seja 29524 Soluo a)

b)

Didatismo e Conhecimento

66

MATEMTICA E RACIOCNIO LGICO


Soma dos Termos de uma Progresso Geomtrica Infinita 1 Caso:-1<q<1

Quando a PG infinita possui soma finita, dizemos que a srie convergente. 2 Caso: A PG infinita no possui soma finita, dizemos que a srie divergente 3 Caso: Tambm no possui soma finita, portanto divergente Produto dos termos de uma PG finita

Exerccios 1) Considere a PA(100, 93, 86,...). Determine a posio do termo de valor 37. 2) O dono de uma fbrica pretende iniciar a produo com 2000 unidades mensais e, a cada ms, produzir 175 unidades a mais. Mantidas essas condies, em um ano quantas unidades a fbrica ter que produzir no total? 3) Ao financiar uma casa no total de 20 anos, Carlos fechou o seguinte contrato com a financeira: para cada ano, o valor das 12 prestaes deve ser igual e o valor da prestao mensal em um determinado ano R$ 50,00 a mais que o valor pago, mensalmente, no ano anterior. Considerando que o valor da prestao no primeiro ano de R$ 150,00, determine o valor da prestao no ltimo ano. 4) A medida do lado, o permetro e a rea de um quadrado esto, nessa ordem, em progresso geomtrica. Qual a rea do quadrado? 5) Comprei um automvel e vou pag-lo em 7 prestaes crescentes, de modo que a primeira prestao seja de 100 reais e cada uma das seguintes seja o dobro da anterior. Qual o preo do automvel? Respostas 1) r=93-100=86-93=-7

37 o dcimo termo. 2)r=175 (2000,2175, 2350,...) 1 ano =12 meses


Didatismo e Conhecimento
67

MATEMTICA E RACIOCNIO LGICO

3) an = a1 + (n 1)r a20 = 150 + (20 1)50 a20 = 150 + 19 50 a20 = 150 + 950 a20 = 1100 O valor da prestao no ltimo ano ser de R$ 1 100,00. 4)(L, 4L, L)

Portanto, a rea 1616=256 5)a1=100; r=2

O preo do automvel R$12700,00

Didatismo e Conhecimento

68

MATEMTICA E RACIOCNIO LGICO


OPERAES COM MATRIZES, LOGARITMOS,RAZES E RADICAIS, FATORAO ALGBRICA

Matriz Chama-se matriz do tipo m x n, m N* e nN*, a toda tabela de m.n elementos dispostos em m linhas e n colunas. Indica-se a matriz por uma letra maiscula e colocar seus elementos entre parnteses ou entre colchetes como, por exemplo, a matriz A de ordem 2x3.

Representao da matriz Forma explicita (ou forma de tabela) A matriz A representada indicando-se cada um de seus elementos por uma letra minscula acompanhada de dois ndices: o primeiro indica a linha a que pertence o elemento: o segundo indica a coluna a que pertence o elemento, isto , o elemento da linha i e da coluna j indicado por ij. Assim, a matriz A2 x 3 representada por:

Adio de Matrizes Sejam A= (aij), B=(bij) e C=(cij) matrizes do mesmo tipo m x n. Diz-se que C a soma de A com B, e indica-se por A+B. Dada as matrizes:

,portanto Propriedades da adio Comutativa: A + B = B + A Associativa: (A + B) + C = A + (B + C) Elemento neutro: A + O = O + A = A Elemento Oposto: A + (-A) = (-A) + A = O Transposta da soma: (A + B)t = At + Bt Subtrao de matrizes Sejam A=(aij), B=(bij) e C=(cij), matrizes do mesmo tipo m x n. Diz-se que C a diferena A-B, se, e somente se, C=A+(-B).

Didatismo e Conhecimento

69

MATEMTICA E RACIOCNIO LGICO


Multiplicao de um nmero por uma matriz Considere:

Multiplicao de matrizes O produto (linha por coluna) de uma matriz A = (aij)m x p por uma matriz B = (bij)p x n uma matriz C = (cij)m x n, de modo que cada elemento cij obtido multiplicando-se ordenadamente os elementos da linha i de A pelos elementos da coluna j de B, e somando-se os produtos assim obtidos. Dada as matrizes:

Matriz Inversa Seja A uma matriz quadrada de ordem n. Uma matriz B chamada inversa de A se, e somente se,

Exemplo: Determine a matriz inversa de A.

Soluo Seja

Temos que x=3; y=2; z=1; t=1 Logo,

Didatismo e Conhecimento

70

MATEMTICA E RACIOCNIO LGICO


Logaritmo

Considerando-se dois nmeros N e a reais e positivos, com a 1, existe um nmero c tal que:

A esse expoente c damos o nome de logaritmo de N na base a

Ainda com base na definio podemos estabelecer condies de existncia:

Exemplo

Consequncias da Definio

Propriedades

Didatismo e Conhecimento

71

MATEMTICA E RACIOCNIO LGICO


Mudana de Base

Exemplo Dados log 2=0,3010 e log 3=0,4771, calcule: a)log 6 b) log1,5 c) log 16 Soluo a) Log 6=log 23=log2+log3=0,3010+0,4771=0,7781 b) c) Equaes Logartmicas Utilizando as propriedades operatrias, podemos resolver equaes que envolvem logaritmos. A resoluo de equaes logartmicas se d em trs etapas bsicas: 1. Estabelece-se a condio de existncia 2. Resolve-se a equao utilizando as propriedades operatrias 3. Faz-se a interseo entre a soluo encontrada e as condies de existncia Exemplo Resolva a equao: Condio de Existncia

Da definio, temos:

Como x satisfaz a condio de existncia:

Didatismo e Conhecimento

72

MATEMTICA E RACIOCNIO LGICO


Radicais Radiciao a operao inversa a potenciao

Casos 1. Se m par, todo nmero real positivo tem duas razes:

2. Se m mpar, cada nmero tem apenas uma raiz:

3. n = 1 Se n = 1, ento
1

a=a

= 10, porque 101 = 10 4. n par e a < 0


10

Considere como exemplo a raiz quadrada de -36, onde a = -36 (negativo) e n = 2 (par). No existe raiz quadrada real de -36, porque no existe nmero real que, elevado ao quadrado, d -36. No existe a raiz real de ndice par de um nmero real negativo. Propriedade dos Radicais 1 Propriedade: Considere o radical De modo geral, se
n
3

5 = 5 = 51 = 5
3

3 3

a R+ , n N * , ento:

an = a

O radical de ndice n de uma potncia com expoente tambm igual a n d como resultado a base daquela potncia.

Didatismo e Conhecimento

73

MATEMTICA E RACIOCNIO LGICO


2 Propriedade: Observe:

3.5 = (3.5) 2 = 3 2 .5 2 = 3. 5

De modo geral, se

a R+ , b R+ , n N * , ento:
n

a.b = n a .n b

Radical de um produto Produto dos radicais O radical de ndice inteiro e positivo de um produto indicado igual ao produto dos radicais de mesmo ndice dos fatores do radicando. 3 Propriedade:

Observe:

2 2 2 22 = = 1 = 3 3 32
*

2 3
*

De modo geral, se a R+ , b R + , n N , ento:


n

a na = b nb

Radical de um quociente Quociente dos radicais O radical de ndice inteiro e positivo de um quociente indicado igual ao quociente dos radicais de mesmo ndice dos termos do radicando. 4 Propriedade: Observe: Ento: De modo geral, para
n
12

38 = 312 = 3 3 = 3 3 2

12

38 = 3 3 2 e3 3 2 = 12 38

a R+ , m N , n N * , se p N * , temos:

am =

n. p

a m. p

Se p divisor de m e n, temos:
n

am =

n: p

a m: p

Multiplicando-se ou dividindo-se o ndice e o expoente do radicando por um mesmo nmero natural maior que zero, o valor do radical no se altera.

Didatismo e Conhecimento

74

MATEMTICA E RACIOCNIO LGICO


Simplificao de Radicais 1 Caso O ndice do radical e o expoente do radicando tm fator comum. De acordo com a 4 propriedade dos radicais podemos dividir o ndice e o expoente pelo fator comum. Exemplo Dividindo o ndice 9 e o expoente 3 e 6 por 3, temos:
9

2 3.a 6 = 9:3 2 3:3.a 6:3 = 3 2a 2


*

2 Caso Os expoentes dos fatores do radicando so mltiplos do ndice. Considere o radical n a n. p , com a R+ , n N e p Z . Temos:
n

n. p

=a

n. p n

= ap

Assim, podemos dizer que, num radical, os fatores do radicando cujos expoentes so mltiplos do ndice podem ser colocados fora do radical, tendo como novo expoente o quociente entre o expoente e o ndice. Exemplo

81a 2 b 8 = 3 4.a 2 .b 8 = 3 4 . a 2 . b 8 = 3 2.a.b 4 = 9ab 4


3 Caso Os expoentes dos fatores do radicando so maiores que o ndice, mas no mltiplos deste. Transforma-se o radicando num produto de potncias de mesma base, sendo um dos expoentes mltiplos do ndice; Exemplo

a 5 .b 3 = a 4 .a.b 2 .b = a 4 .b 2 . a.b = a 2b ab
Fatorao Algbrica Fatorar uma expresso algbrica significa escrev-la na forma de um produto de expresses mais simples. Casos de fatorao Fator Comum: Ex.: ax + bx + cx = x (a + b + c) O fator comum x. Ex.: 12x - 6x+ 3x = 3x (4x - 2x + 1) O fator comum 3x Agrupamento: Ex.: ax + ay + bx + by Agrupar os termos de modo que em cada grupo haja um fator comum. (ax + ay) + (bx + by) Colocar em evidncia o fator comum de cada grupo a(x + y) + b(x + y) Colocar o fator comum (x + y) em evidncia (x + y) (a + b) Este produto a forma fatorada da expresso dada Diferena de Dois Quadrados: a b = (a + b) (a b) Trinmio Quadrado Perfeito: a 2ab + b = (a b) Trinmio do 2o Grau: Supondo x1 e x2 razes reais do trinmio, temos: ax + bx + c = a (x - x1) (x - x2), a0

Didatismo e Conhecimento

75

MATEMTICA E RACIOCNIO LGICO


Exerccios 1) Calcule A + B sabendo que A = eB=

2) Calcule o Log35 sabendo que o Log345=3,464974? 3) Considerando-se Log710=1,1833. Qual o Log770? 4) Simplifique o radical .

5) Verifique se 16b 24b + 25 quadrado perfeito. Respostas 1)A + B = + = 2) =

3)

4)

Ento:

5) Existem dois termos quadrados: 16b e 25. e 2 . 4b . 5 = 40b No corresponde ao termo restante do trinmio. Logo, 16b 24b + 25 no um trinmio de quadrado perfeito.
Didatismo e Conhecimento
76

MATEMTICA E RACIOCNIO LGICO


19. RACIOCNIO LGICO: ESTRUTURAS LGICAS, LGICA DE ARGUMENTAO: ANALOGIAS, INFERNCIAS, DEDUES E CONCLUSES, LGICA SENTENCIAL (OU PROPOSICIONAL), PROPOSIES SIMPLES E COMPOSTAS, TABELAS-VERDADE, EQUIVALNCIAS, DIAGRAMAS LGICOS, LGICA DE PRIMEIRA ORDEM, PRINCPIOS DE CONTAGEM E PROBABILIDADE, OPERAES COM CONJUNTOS, RACIOCNIO LGICO ENVOLVENDO PROBLEMAS ARITMTICOS, GEOMTRICOS E MATRICIAIS.

Estruturas Lgicas Verdade ou Mentira Na lgica, uma estrutura (ou estrutura de interpretao) um objeto que d significado semntico ou interpretao aos smbolos definidos pela assinatura de uma linguagem. Uma estrutura possui diferentes configuraes, seja em lgicas de primeira ordem, seja em linguagens lgicas poli-sortidas ou de ordem superior. As questes de Raciocnio Lgico sempre vo ser compostas por proposies que provam, do suporte, do razo a algo, ou seja, so afirmaes que expressam um pensamento de sentindo completo. Essas proposies podem ter um sentindo positivo ou negativo. Exemplo 1: Joo anda de bicicleta. Exemplo 2: Maria no gosta de banana. Tanto o exemplo 1 quanto o 2 caracterizam uma afirmao/proposio. A base das Estruturas Lgicas saber o que Verdade ou Mentira (verdadeiro/falso). Os resultados das proposies sempre tem que dar verdadeiro. H alguns princpios bsicos: Contradio: Nenhuma proposio pode ser verdadeira e falsa ao mesmo tempo. Terceiro Excludo: Dadas duas proposies lgicas contraditrias somente uma delas verdadeira. Uma proposio ou verdadeira ou falsa, no h um terceiro valor lgico (mais ou menos, meio verdade ou meio mentira). Ex. Estudar fcil. (o contrrio seria: Estudar difcil. No existe meio termo, ou estudar fcil ou estudar difcil). Para facilitar a resoluo das questes de lgica usam-se os conectivos lgicos, que so smbolos que comprovam a veracidade das informaes e unem as proposies uma a outra ou as transformam numa terceira proposio. Veja: (~) no: negao () e: conjuno (V) ou: disjuno () se...ento: condicional () se e somente se: bicondicional Temos as seguintes proposies: O Po barato. O Queijo no bom. A letra p representa a primeira proposio e a letra q, a segunda. Assim, temos: p: O Po barato. q: O Queijo no bom.

Didatismo e Conhecimento

77

MATEMTICA E RACIOCNIO LGICO


Negao (smbolo ~): Quando usamos a negao de uma proposio invertemos a afirmao que est sendo dada. Veja os exemplos: ~p (no p): O Po no barato. ( a negao lgica de p) ~q (no q): O Queijo bom. ( a negao lgica de q) Se uma proposio verdadeira, quando usamos a negao vira falsa. Se uma proposio falsa, quando usamos a negao vira verdadeira. Regrinha para o conectivo de negao (~):
P V F ~P F V

Conjuno (smbolo ): Este conectivo utilizado para unir duas proposies formando uma terceira. O resultado dessa unio somente ser verdadeiro se as duas proposies (p e q) forem verdadeiras, ou seja, sendo pelo menos uma falsa, o resultado ser falso. Ex.: p q. (O Po barato e o Queijo no bom). = e. Regrinha para o conectivo de conjuno ():
P V V F F Q V F V F PQ V F F F

Disjuno (smbolo V): Este conectivo tambm serve para unir duas proposies. O resultado ser verdadeiro se pelo menos uma das proposies for verdadeira. Ex: p v q. (Ou o Po barato ou o Queijo no bom.) V = ou. Regrinha para o conectivo de disjuno (V):
P V V F F Q V F V F PVQ V V V F

Condicional (smbolo ): Este conectivo d a ideia de condio para que a outra proposio exista. P ser condio suficiente para Q e Q condio necessria para P. Ex: P Q. (Se o Po barato ento o Queijo no bom.) = se...ento. Regrinha para o conectivo condicional ():
P V V F F Q V F V F PQ V F V V

Bicondicional (smbolo ): O resultado dessas proposies ser verdadeiro se e somente se as duas forem iguais (as duas verdadeiras ou as duas falsas). P ser condio suficiente e necessria para Q. Exemplo: P Q. (O Po barato se e somente se o Queijo no bom.) = se e somente se. Regrinha para o conectivo bicondicional ():
P V V F F Q V F V F PQ V F F V

Didatismo e Conhecimento

78

MATEMTICA E RACIOCNIO LGICO


QUESTES 01. (ESAF - Receita Federal - Auditor Fiscal) A afirmao A menina tem olhos azuis ou o menino loiro tem como sentena logicamente equivalente: (A) se o menino loiro, ento a menina tem olhos azuis. (B) se a menina tem olhos azuis, ento o menino loiro. (C) se a menina no tem olhos azuis, ento o menino loiro. (D) no verdade que se a menina tem olhos azuis, ento o menino loiro. (E) no verdade que se o menino loiro, ento a menina tem olhos azuis. 02. (ESAF - Receita Federal - Auditor Fiscal) Se Anamara mdica, ento Anglica mdica. Se Anamara arquiteta, ento Anglica ou Andrea so mdicas. Se Andrea arquiteta, ento Anglica arquiteta. Se Andrea mdica, ento Anamara mdica. Considerando que as afirmaes so verdadeiras, segue- se, portanto, que: (A) Anamara, Anglica e Andrea so arquitetas. (B) Anamara mdica, mas Anglica e Andrea so arquitetas. (C) Anamara, Anglica e Andrea so mdicas. (D) Anamara e Anglica so arquitetas, mas Andrea mdica. (E) Anamara e Andrea so mdicas, mas Anglica arquiteta. 03. (ESAF - Receita Federal - Auditor Fiscal) Se Ana pianista, ento Beatriz violinista. Se Ana violinista, ento Beatriz pianista. Se Ana pianista, Denise violinista. Se Ana violinista, ento Denise pianista. Se Beatriz violinista, ento Denise pianista. Sabendo-se que nenhuma delas toca mais de um instrumento, ento Ana, Beatriz e Denise tocam, respectivamente: (A) piano, piano, piano. (B) violino, piano, piano. (C) violino, piano, violino. (D) violino, violino, piano. (E) piano, piano, violino. (CESPE TRE-RJ Tcnico Judicirio) Texto para as questes de 04 a 07. O cenrio poltico de uma pequena cidade tem sido movimentado por denncias a respeito da existncia de um esquema de compra de votos dos vereadores. A dvida quanto a esse esquema persiste em trs pontos, correspondentes s proposies P, Q e R: P: O vereador Vitor no participou do esquema; Q: O Prefeito Prsio sabia do esquema; R: O chefe de gabinete do Prefeito foi o mentor do esquema. Os trabalhos de investigao de uma CPI da Cmara Municipal conduziram s premissas P1, P2 e P3 seguintes: P1: Se o vereador Vitor no participou do esquema, ento o Prefeito Prsio no sabia do esquema. P2: Ou o chefe de gabinete foi o mentor do esquema, ou o Prefeito Prsio sabia do esquema, mas no ambos. P3: Se o vereador Vitor no participou do esquema, ento o chefe de gabinete no foi o mentor do esquema. Considerando essa situao hipottica, julgue os itens seguintes, acerca de proposies lgicas. 04. Das premissas P1, P2 e P3, correto afirmar que O chefe de gabinete foi o mentor do esquema ou o vereador Vitor participou do esquema. ( ) Certo ( ) Errado

05. Parte superior do formulrio Considerando essa situao hipottica, julgue os itens seguintes, acerca de proposies lgicas. A premissa P2 pode ser corretamente representada por R Q. ( ) Certo ( ) Errado
79

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


06. Considerando essa situao hipottica, julgue os itens seguintes, acerca de proposies lgicas. A premissa P3 logicamente equivalente proposio O vereador Vitor participou do esquema ou o chefe de gabinete no foi o mentor do esquema. ( ) Certo ( ) Errado

07. Considerando essa situao hipottica, julgue os itens seguintes, acerca de proposies lgicas. A partir das premissas P1, P2 e P3, correto inferir que o prefeito Prsio no sabia do esquema. ( ) Certo ( ) Errado

08. (CESPE - TRE-ES - Tcnico) Entende-se por proposio todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo, isto , que afirmam fatos ou exprimam juzos a respeito de determinados entes. Na lgica bivalente, esse juzo, que conhecido como valor lgico da proposio, pode ser verdadeiro (V) ou falso (F), sendo objeto de estudo desse ramo da lgica apenas as proposies que atendam ao princpio da no contradio, em que uma proposio no pode ser simultaneamente verdadeira e falsa; e ao princpio do terceiro excludo, em que os nicos valores lgicos possveis para uma proposio so verdadeiro e falso. Com base nessas informaes, julgue os itens a seguir. Segundo os princpios da no contradio e do terceiro excludo, a uma proposio pode ser atribudo um e somente um valor lgico. ( ) Certo ( ) Errado

(CESPE - TRT-ES Tcnico Judicirio) Proposio Texto para as questes 09 e 10. Proposies so frases que podem ser julgadas como verdadeiras (V) ou falsas (F), mas no como V e F simultaneamente. As proposies simples so aquelas que no contm nenhuma outra proposio como parte delas. As proposies compostas so construdas a partir de outras proposies, usando-se smbolos lgicos, parnteses e colchetes para que se evitem ambiguidades. As proposies so usualmente simbolizadas por letras maisculas do alfabeto: A, B, C, etc. Uma proposio composta da forma A B, chamada disjuno, deve ser lida como A ou B e tem o valor lgico F, se A e B so F, e V, nos demais casos. Uma proposio composta da forma A B, chamada conjuno, deve ser lida como A e B e tem valor lgico V, se A e B so V, e F, nos demais casos. Alm disso, A, que simboliza a negao da proposio A, V, se A for F, e F, se A for V. Considere que cada uma das proposies seguintes tenha valor lgico V. I- Tnia estava no escritrio ou Jorge foi ao centro da cidade. II- Manuel declarou o imposto de renda na data correta e Carla no pagou o condomnio. III- Jorge no foi ao centro da cidade. 09. A partir dessas proposies, correto afirmar que a proposio Manuel declarou o imposto de renda na data correta e Jorge foi ao centro da cidade tem valor lgico V. ( ) Certo ( ) Errado

10. A partir dessas proposies, correto afirmar que a proposio. Carla pagou o condomnio tem valor lgico F. ( ) Certo Respostas 01. Resposta C. ( ) Errado

Didatismo e Conhecimento

80

MATEMTICA E RACIOCNIO LGICO


Proposio PQ PQ PQ PQ Equivalente ~Q ~P ~P Q P suficiente para Q Q necessrio para P

A menina tem olhos azuis ou o menino loiro. (~P) ( ) (Q) Se a menina no tem olhos azuis, ento o menino loiro. (~P) () (Q) Sintetizando: Basta negar a primeira, manter a segunda e trocar o ou pelo se ento. A menina tem olhos azuis (M) ou o menino loiro (L). Est assim: M v L Fica assim: ~M L Se a menina no tem olhos azuis, ento o menino loiro. 02. Parte inferior do formulrio Resposta C. Anamara mdica Anglica mdica. (verdadeira verdadeira) Anamara arquiteta Anglica mdica Andrea mdica. (falsa verdadeira verdadeira) Andrea arquiteta Anglica arquiteta. (falsa falsa) Andrea mdica Anamara mdica. (verdadeira verdadeira) Como na questo no existe uma proposio simples, temos que escolher entre as existentes, uma proposio composta e supor se verdadeira ou falsa. Nesta questo analise as proposies medida que aparecem na questo, da a primeira proposio sobre a pessoa assume o valor de verdade, as seguintes sero, em regra, falsas. Embora nada impea que uma pessoa tenha mais de uma profisso, o que no deve ser levado em considerao. Importante lembrar que todas as proposies devem ter valor lgico verdadeiro. Para encontrar a resposta temos que testar algumas hipteses at encontrar a que preencha todos os requisitos da regra. - Se Anamara mdica, ento Anglica mdica. (verdadeiro) 1. V V 2. F F 3. F V - Se Anamara arquiteta, ento Anglica ou Andrea so mdicas. (verdadeiro) 1. F V V - Para ser falso Todos devem ser falsos. 2. V F V - A segunda sentena deu falso e a VF apareceu, ento descarta essa hiptese. 3. V V F - Aqui tambm ocorreu o mesmo problema da 2 hiptese, tambm devemos descart-la. - Se Andrea arquiteta, ento Anglica arquiteta. (verdadeiro) 1. F F 2. 3. - Se Andrea mdica, ento Anamara mdica. (verdadeiro) 1. V V 2. 3.
Didatismo e Conhecimento
81

MATEMTICA E RACIOCNIO LGICO


03. Resposta B. Ana pianista Beatriz violinista. (F F) Ana violinista Beatriz pianista. (V V) Ana pianista Denise violinista. (F F) Ana violinista Denise pianista. (V V) Beatriz violinista Denise pianista. (F V) Proposies Simples quando aparecem na questo, suponhamos que sejam verdadeiras (V). Como na questo no h proposies simples, escolhemos outra proposio composta e supomos que seja verdadeira ou falsa. 1 Passo: qual regra eu tenho que saber? Condicional (Se... ento). 2 Passo: Fazer o teste com as hipteses possveis at encontrar a resposta. Hiptese 1 - Se Ana pianista, ento Beatriz violinista. (verdade) V V - Como j sabemos, se a (verdade) aparecer primeiro, a (falso) no poder. - Se Ana violinista, ento Beatriz pianista. (verdade) F F - J sabemos que Ana pianista e Bia violinista, ento falso nelas. - Se Ana pianista, Denise violinista. (verdade) VV - Se Ana violinista, ento Denise pianista. (verdade) FF - Se Beatriz violinista, ento Denise pianista. (verdade) V F - Apareceu a temida V F, logo a nossa proposio ser falsa. Ento descarte essa hiptese. Hiptese 2 - Se Ana pianista, ento Beatriz violinista. (verdade) FV - Se Ana violinista, ento Beatriz pianista. (verdade) V F - A VF apareceu, ento j podemos descart-la, pois a nossa proposio ser falsa. 04. Resposta Certo. s aplicar a tabela verdade do ou (v). V v F ser verdadeiro, sendo falso apenas quando as duas forem falsas. A tabela verdade do ou. Vejam:
p V V F F q V F V F pq F V V F

Didatismo e Conhecimento

82

MATEMTICA E RACIOCNIO LGICO


No 2 caso, os dois no podem ser verdade ao mesmo tempo. Disjuno exclusiva (Ou... ou) Representado pelo v, ou ainda ou. Pode aparecer assim tambm: p v q, mas no ambos. Regra: S ser verdadeira se houver uma das sentenas verdadeira e outra falsa. Hiptese 1: P1: F V = V (No poder aparecer VF). P2: V F = V (Apenas um tem que ser verdadeiro). P3: F F = V Concluses: Vereador participou do esquema. Prefeito no sabia. Chefe do gabinete foi o mentor. Ento: O chefe de gabinete foi o mentor do esquema ou o vereador Vitor participou do esquema. V V = verdade, pois sabemos que para ser falso, todos devem ser falsos. Hiptese 2: P1: F F = V P2: F V = V P3: F V = V Concluses: Vereador participou do esquema. Prefeito sabia. Chefe de gabinete no era o mentor. Ento: O chefe de gabinete foi o mentor do esquema ou o vereador Vitor participou do esquema. F V = verdade. 05. Resposta Errado. No se trata de uma Disjuno, trata-se de uma Disjuno Exclusiva, cujo smbolo . Tambm chamado de Ou Exclusivo. o famoso um ou outro mas no ambos. S vai assumir valor verdade, quando somente uma das proposies forem verdadeiras, pois quando as duas forem verdadeiras a proposio ser falsa. Da mesma forma se as duas forem falsas, a proposio toda ser falsa. Tabela verdade do Ou Exclusivo.

p V V F F

q V F V F

p q F V V F

Com a frase em P2 mas no ambos deixa claro que as duas premissas no podem ser verdadeiras, logo no uma Disjuno, mas sim uma Disjuno Exclusiva, onde apenas uma das premissas pode ser verdadeira para que P2 seja verdadeira.
Didatismo e Conhecimento
83

MATEMTICA E RACIOCNIO LGICO


06. Resposta Certo. Duas premissas so logicamente equivalentes quando elas possuem a mesma tabela verdade:
P V V F F R V F V F P F F V V R F V F V PR V F V V RP V F V V PR V F V V

Possuem a mesma tabela verdade, logo so equivalentes. Representando simbolicamente as equivalncias, temos o seguinte: (P R) = (P R) = (R P) As proposies dadas na questo: P = O vereador Vitor no participou do esquema. R = O chefe de gabinete do Prefeito foi o mentor do esquema. Premissa dada na questo: P3 = Se o vereador Vitor no participou do esquema, ento o chefe do gabinete no foi o mentor do esquema. Em linguagem simblica, a premissa P3 fica assim: (P R). A questo quer saber se (P R) logicamente equivalente a proposio: O vereador Vitor participou do esquema ou o chefe de gabinete no foi o mentor do esquema, que pode ser representada da seguinte forma: (P R). Vemos que P3 tem a seguinte equivalente lgica: (P R) = (P R). Negamos a primeira sentena, mudamos o conectivo para , e depois mantemos a segunda sentena do mesmo jeito. Assim sendo, a questo est correta. As duas sentenas so logicamente equivalentes. 07. Resposta Errado. A questo quer saber se o argumento o Prefeito Prsio no sabia do esquema um argumento vlido. Quando o argumento vlido? Quando as premissas forem verdadeiras e a concluso obrigatoriamente verdadeira ou quando as premissas forem falsas e a concluso falsa. Quando o argumento no vlido? Quando as premissas forem verdadeiras e a concluso for falsa. Pra resolver essas questes de validade de argumento melhor comear de forma contrria ao comando da questo. Como a questo quer saber se o argumento vlido, vamos partir do princpio (hiptese) que invlido. Fica assim: P1: P ~Q verdade P2: R (ou exclusivo) Q verdade P3: P ~R verdade Concluso: O prefeito Prsio no sabia do esquema. falso Se falso que o Prefeito Prsio no sabia, significa dizer que ele sabia do esquema. Ento, pode-se deduzir que as proposies ~Q e Q so, respectivamente, falsa e verdadeira. Na segunda premissa: Se Q verdadeira, R ser obrigatoriamente falsa, pois na disjuno exclusiva s vai ser verdade quando apenas um dos argumentos for verdadeiro. E se R falso, significa dizer que ~R verdadeiro. Fazendo as substituies: P1: P ~Q Verdade FFV Por que P falso? Na condicional s vai ser falso se a primeira for verdadeira e a segunda for falsa. Como sabemos que a premissa toda verdadeira e que ~Q falso, P s pode assumir valor F. P2: R (ou exclusivo) Q Verdade F (ou exclusivo) V V Lembrando que na disjuno exclusiva, s vai ser verdade quando uma das proposies forem verdadeiras. Como sei que Q verdadeiro, R s pode ser falso.
84

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


P3: P ~R Verdade FVV Se deduz que R falso, logo ~R verdadeiro. Consideramos inicialmente o argumento sendo no vlido (premissas verdadeiras e concluso falsa). Significa dizer que a questo est errada. No correto inferir que o Prefeito Prsio no sabia do esquema. Foi comprovado que ele sabia do esquema. 08. Resposta Certo. Princpio da No Contradio = Uma preposio ser V ou F no podendo assumir os 2 valores simultaneamente. Representao: (P P). Exemplo: No (a terra redonda e a terra no redonda). Princpio do Terceiro Excludo = Uma preposio ser V ou F, no podendo assumir um 3o valor lgico. Representao: P P. Exemplo: Ou este homem Jos ou no Jos. Uma proposio s poder ser julgada verdadeira ou falsa, nunca poder ser as duas coisas ao mesmo tempo. 09. Resposta Errado. Da proposio III Jorge no foi ao centro da cidade que verdadeira e a questo diz Manuel declarou o imposto de renda na data correta e Jorge foi ao centro da cidade a segunda parte falsa como o conectivo e as duas teriam que ser verdadeiras (o que no acontece). Vamos analisar cada proposio de cada premissa, tendo em mente que as premissas tem valor lgico (V), da tiramos um importante dado, sabemos que a premissa III (V), portanto vamos atribuir o valor lgico (V) a proposio e e o valor lgico (F) a proposio B, agora vamos separar: A: Tnia estava no escritrio (V) B: Jorge foi ao centro da cidade (F) Diante das anlises iniciais temos que a premissa A v B, tem valor lgico (V), mas que a proposio B tem valor lgico (F), ou seja, A v (valor lgico F), para que essa premissa tenha o valor lgico (V), A tem que ter um valor lgico (V). C: Manuel declarou o imposto de renda na data correta (V) D: Carla no pagou o condomnio (V) O enunciado fala para considerar todas as premissas com valor lgico (V), logo, a premissa C D para ter valor lgico (V), ambas proposies devem ter valor lgico (V). E: Jorge no foi ao centro da cidade (V) Diante das explicaes, C B = (V) (F) = (F). 10. Resposta Certo. Considere que cada uma das proposies seguintes tenha valor lgico V. Logo o que contraria essa verdade falso. I- V + F = V II- V + V = V III- V Portanto se no item II diz que Carla no pagou o condomnio verdadeiro, ento o fato dela ter pago o condomnio falso, pois est contradizendo o dito no item II. Os valores lgicos da segunda proposio no so deduzveis, mas sim informados no enunciado. II- Manuel declarou o imposto de renda na data correta e Carla no pagou o condomnio V e V. Portanto, se Carla no pagou o condomnio Verdadeiro. Carla pagou o condomnio Falso. Enunciado correto.

Didatismo e Conhecimento

85

MATEMTICA E RACIOCNIO LGICO


Argumentos Um argumento uma srie concatenada de afirmaes com o fim de estabelecer uma proposio definida. um conjunto de proposies com uma estrutura lgica de maneira tal que algumas delas acarretam ou tem como consequncia outra proposio. Isto , o conjunto de proposies p1,...,pn que tem como consequncia outra proposio q. Chamaremos as proposies p1,p2,p3,...,pn de premissas do argumento, e a proposio q de concluso do argumento. Podemos representar por: p1 p2 p3 . . . pn q Exemplos: 01. Se eu passar no concurso, ento irei trabalhar. Passei no concurso ________________________ Irei trabalhar 02. Se ele me ama ento casa comigo. Ele me ama. __________________________ Ele casa comigo. 03. Todos os brasileiros so humanos. Todos os paulistas so brasileiros. __________________________ Todos os paulistas so humanos. 04. Se o Palmeiras ganhar o jogo, todos os jogadores recebero o bicho. Se o Palmeiras no ganhar o jogo, todos os jogadores recebero o bicho. __________________________ Todos os jogadores recebero o bicho. Observao: No caso geral representamos os argumentos escrevendo as premissas e separando por uma barra horizontal seguida da concluso com trs pontos antes. Veja exemplo: Premissa: Concluso: Todos os sais de sdio so substncias solveis em gua. Todos os sabes so sais de sdio. ____________________________________ Todos os sabes so substncias solveis em gua.

Os argumentos, em lgica, possuem dois componentes bsicos: suas premissas e sua concluso. Por exemplo, em: Todos os times brasileiros so bons e esto entre os melhores times do mundo. O Brasiliense um time brasileiro. Logo, o Brasiliense est entre os melhores times do mundo, temos um argumento com duas premissas e a concluso. Evidentemente, pode-se construir um argumento vlido a partir de premissas verdadeiras, chegando a uma concluso tambm verdadeira. Mas tambm possvel construir argumentos vlidos a partir de premissas falsas, chegando a concluses falsas. O detalhe que podemos partir de premissas falsas, proceder por meio de uma inferncia vlida e chegar a uma concluso verdadeira. Por exemplo:
86

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Premissa: Todos os peixes vivem no oceano. Premissa: Lontras so peixes. Concluso: Logo, focas vivem no oceano. H, no entanto, uma coisa que no pode ser feita: a partir de premissas verdadeiras, inferirem de modo correto e chegar a uma concluso falsa. Podemos resumir esses resultados numa tabela de regras de implicao. O smbolo A denota implicao; A a premissa, B a concluso.
Regras de Implicao Premissas A Falsas Falsas Verdadeiras Verdadeiras Concluso B Falsa Verdadeira Falsa Verdadeira Inferncia AB Verdadeira Verdadeira Falsa Verdadeira

- Se as premissas so falsas e a inferncia vlida, a concluso pode ser verdadeira ou falsa (linhas 1 e 2). - Se as premissas so verdadeiras e a concluso falsa, a inferncia invlida (linha 3). - Se as premissas e a inferncia so vlidas, a concluso verdadeira (linha 4).

Desse modo, o fato de um argumento ser vlido no significa necessariamente que sua concluso seja verdadeira, pois pode ter partido de premissas falsas. Um argumento vlido que foi derivado de premissas verdadeiras chamado de argumento consistente. Esses, obrigatoriamente, chegam a concluses verdadeiras. Premissas: Argumentos dedutveis sempre requerem certo nmero de assunes-base. So as chamadas premissas. a partir delas que os argumentos so construdos ou, dizendo de outro modo, as razes para se aceitar o argumento. Entretanto, algo que uma premissa no contexto de um argumento em particular pode ser a concluso de outro, por exemplo. As premissas do argumento sempre devem ser explicitadas. A omisso das premissas comumente encarada como algo suspeito, e provavelmente reduzir as chances de aceitao do argumento. A apresentao das premissas de um argumento geralmente precedida pelas palavras admitindo que..., j que..., obviamente se... e porque.... imprescindvel que seu oponente concorde com suas premissas antes de proceder argumentao. Usar a palavra obviamente pode gerar desconfiana. Ela ocasionalmente faz algumas pessoas aceitarem afirmaes falsas em vez de admitir que no entenda por que algo bvio. No se deve hesitar em questionar afirmaes supostamente bvias. Inferncia: Uma vez que haja concordncia sobre as premissas, o argumento procede passo a passo por meio do processo chamado inferncia. Na inferncia, parte-se de uma ou mais proposies aceitas (premissas) para chegar a outras novas. Se a inferncia for vlida, a nova proposio tambm dever ser aceita. Posteriormente, essa proposio poder ser empregada em novas inferncias. Assim, inicialmente, apenas se pode inferir algo a partir das premissas do argumento; ao longo da argumentao, entretanto, o nmero de afirmaes que podem ser utilizadas aumenta. H vrios tipos de inferncia vlidos, mas tambm alguns invlidos. O processo de inferncia comumente identificado pelas frases Consequentemente... ou isso implica que.... Concluso: Finalmente se chegar a uma proposio que consiste na concluso, ou seja, no que se est tentando provar. Ela o resultado final do processo de inferncia e s pode ser classificada como concluso no contexto de um argumento em particular. A concluso respalda-se nas premissas e inferida a partir delas. A seguir est exemplificado um argumento vlido, mas que pode ou no ser consistente. 1. Premissa: Todo evento tem uma causa. 2. Premissa: O universo teve um comeo. 3. Premissa: Comear envolve um evento. 4. Inferncia: Isso implica que o comeo do universo envolveu um evento. 5. Inferncia: Logo, o comeo do universo teve uma causa. 6. Concluso: O universo teve uma causa. A proposio do item 4 foi inferida dos itens 2 e 3. O item 1, ento, usado em conjunto com proposio 4 para inferir uma nova proposio (item 5). O resultado dessa inferncia reafirmado (numa forma levemente simplificada) como sendo a concluso.
Didatismo e Conhecimento
87

MATEMTICA E RACIOCNIO LGICO


Validade de um Argumento Conforme citamos anteriormente, uma proposio verdadeira ou falsa. No caso de um argumento diremos que ele vlido ou no vlido. A validade de uma propriedade dos argumentos dedutivos que depende da forma (estrutura) lgica das suas proposies (premissas e concluses) e no do contedo delas. Sendo assim podemos ter as seguintes combinaes para os argumentos vlidos dedutivos: a) Premissas verdadeiras e concluso verdadeira. Exemplo: Todos os apartamentos so pequenos. (V) Todos os apartamentos so residncias. (V) __________________________________ Algumas residncias so pequenas. (V) b) Algumas ou todas as premissas falsas e uma concluso verdadeira. Exemplo: Todos os peixes tm asas. (F) Todos os pssaros so peixes. (F) __________________________________ Todos os pssaros tm asas. (V) c) Algumas ou todas as premissas falsas e uma concluso falsa. Exemplo: Todos os peixes tm asas. (F) Todos os ces so peixes. (F) __________________________________ Todos os ces tm asas. (F) Todos os argumentos acima so vlidos, pois se suas premissas fossem verdadeiras ento as concluses tambm as seriam. Podemos dizer que um argumento vlido quando todas as suas premissas so verdadeiras, acarreta que sua concluso tambm verdadeira. Portanto, um argumento ser no vlido se existir a possibilidade de suas premissas serem verdadeiras e sua concluso falsa. Observe que a validade do argumento depende apenas da estrutura dos enunciados. Exemplo: Todas as mulheres so bonitas. Todas as princesas so mulheres. __________________________ Todas as princesas so bonitas. Observe que no precisamos de nenhum conhecimento aprofundado sobre o assunto para concluir que o argumento vlido. Vamos substituir mulheres bonitas e princesas por A, B e C respectivamente e teremos: Todos os A so B. Todos os C so A. ________________ Todos os C so B. Logo, o que importante a forma do argumento e no o conhecimento de A, B e C, isto , este argumento vlido para quaisquer A, B e C, portanto, a validade consequncia da forma do argumento. O atributo validade aplica-se apenas aos argumentos dedutivos. Argumentos Dedutivos e Indutivos O argumento ser dedutivo quando suas premissas fornecerem prova conclusiva da veracidade da concluso, isto , o argumento dedutivo quando a concluso completamente derivada das premissas. Exemplo:
88

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Todo ser humano tem me. Todos os homens so humanos. __________________________ Todos os homens tm me. O argumento ser indutivo quando suas premissas no fornecerem o apoio completo para retificar as concluses. Exemplo: O Flamengo um bom time de futebol. O Palmeiras um bom time de futebol. O Vasco um bom time de futebol. O Cruzeiro um bom time de futebol. ______________________________ Todos os times brasileiros de futebol so bons. Portanto, nos argumentos indutivos a concluso possui informaes que ultrapassam as fornecidas nas premissas. Sendo assim, no se aplica, ento, a definio de argumentos vlidos ou no vlidos para argumentos indutivos. Argumentos Dedutivos Vlidos Vimos ento que a noo de argumentos vlidos ou no vlidos aplica-se apenas aos argumentos dedutivos, e tambm que a validade depende apenas da forma do argumento e no dos respectivos valores verdades das premissas. Vimos tambm que no podemos ter um argumento vlido com premissas verdadeiras e concluso falsa. A seguir exemplificaremos alguns argumentos dedutivos vlidos importantes. Afirmao do Antecedente: O primeiro argumento dedutivo vlido que discutiremos chama-se afirmao do antecedente, tambm conhecido como modus ponens. Exemplo: Se Jos for reprovado no concurso, ento ser demitido do servio. Jos foi aprovado no concurso. ___________________________ Jos ser demitido do servio. Este argumento evidentemente vlido e sua forma pode ser escrita da seguinte forma:

Se p, ento q,

p. q.

ou

pq

p q

Outro argumento dedutivo vlido a negao do consequente (tambm conhecido como modus tollens). Obs.: ( p q ) equivalente a (q p ) . Esta equivalncia chamada de contra positiva. Exemplo: Se ele me ama, ento casa comigo equivalente a Se ele no casa comigo, ento ele no me ama; Ento vejamos o exemplo do modus tollens. Exemplo: Se aumentarmos os meios de pagamentos, ento haver inflao. No h inflao. ______________________________ No aumentamos os meios de pagamentos. Este argumento evidentemente vlido e sua forma pode ser escrita da seguinte maneira:

Didatismo e Conhecimento

89

MATEMTICA E RACIOCNIO LGICO


Se p, ento q, pq

ou

q p

Existe tambm um tipo de argumento vlido conhecido pelo nome de dilena. Geralmente este argumento ocorre quando algum forado a escolher entre duas alternativas indesejveis. Exemplo: Joo se inscreve no concurso de MS, porm no gostaria de sair de So Paulo, e seus colegas de trabalho esto torcendo por ele. Eis o dilema de Joo: Ou Joo passa ou no passa no concurso. Se Joo passar no concurso vai ter que ir embora de So Paulo. Se Joo no passar no concurso ficar com vergonha diante dos colegas de trabalho. _________________________ Ou Joo vai embora de So Paulo ou Joo ficar com vergonha dos colegas de trabalho. Este argumento evidentemente vlido e sua forma pode ser escrita da seguinte maneira:
p ou q. Se p ento r p q

Se

p ento s. r ou s

ou

p r

Argumentos Dedutivos No Vlidos Existe certa quantidade de artimanhas que devem ser evitadas quando se est construindo um argumento dedutivo. Elas so conhecidas como falcias. Na linguagem do dia a dia, ns denominamos muitas crenas equivocadas como falcias, mas, na lgica, o termo possui significado mais especfico: falcia uma falha tcnica que torna o argumento inconsistente ou invlido (alm da consistncia do argumento, tambm se podem criticar as intenes por detrs da argumentao). Argumentos contentores de falcias so denominados falaciosos. Frequentemente, parecem vlidos e convincentes, s vezes, apenas uma anlise pormenorizada capaz de revelar a falha lgica. Com as premissas verdadeiras e a concluso falsa nunca teremos um argumento vlido, ento este argumento no vlido, chamaremos os argumentos no vlidos de falcias. A seguir, examinaremos algumas falcias conhecidas que ocorrem com muita frequncia. O primeiro caso de argumento dedutivo no vlido que veremos o que chamamos de falcia da afirmao do consequente. Exemplo: Se ele me ama ento ele casa comigo. Ele casa comigo. _______________________ Ele me ama. Podemos escrever esse argumento como:
Se p, ento q, q p

p q

ou

q p

Didatismo e Conhecimento

90

MATEMTICA E RACIOCNIO LGICO


Este argumento uma falcia, podemos ter as premissas verdadeiras e a concluso falsa. Outra falcia que corre com frequncia a conhecida por falcia da negao do antecedente. Exemplo: Se Joo parar de fumar ele engordar. Joo no parou de fumar. ________________________ Joo no engordar. Observe que temos a forma:
Se p, ento q,
No p. No q.

pq

ou

p q

Este argumento uma falcia, pois podemos ter as premissas verdadeiras e a concluso falsa. Os argumentos dedutivos no vlidos podem combinar verdade ou falsidade das premissas de qualquer maneira com a verdade ou falsidade da concluso. Assim, podemos ter, por exemplo, argumentos no vlidos com premissas e concluses verdadeiras, porm, as premissas no sustentam a concluso. Exemplo: Todos os mamferos so mortais. (V) Todos os gatos so mortais. (V) ___________________________ Todos os gatos so mamferos. (V) Este argumento tem a forma: Todos os A so B. Todos os C so B. _____________________ Todos os C so A.

Podemos facilmente mostrar que esse argumento no vlido, pois as premissas no sustentam a concluso, e veremos ento que podemos ter as premissas verdadeiras e a concluso falsa, nesta forma, bastando substituir A por mamfero, B por mortais e C por cobra. Todos os mamferos so mortais. (V) Todas as cobras so mortais. (V) __________________________ Todas as cobras so mamferas. (F)

Podemos usar as tabelas-verdade, definidas nas estruturas lgicas, para demonstrarmos se um argumento vlido ou falso. Outra maneira de verificar se um dado argumento P1, P2, P3, ...Pn vlido ou no, por meio das tabelas-verdade, construir a condicional associada: (P1 P2 P3 ...Pn) e reconhecer se essa condicional ou no uma tautologia. Se essa condicional associada tautologia, o argumento vlido. No sendo tautologia, o argumento dado um sofisma (ou uma falcia). Tautologia: Quando uma proposio composta sempre verdadeira, ento teremos uma tautologia. Ex: P (p,q) = ( p q) (p V q) . Numa tautologia, o valor lgico da proposio composta P (p,q,s) = {(p q) V (p V s) V [p (q s)]} p ser sempre verdadeiro. H argumentos vlidos com concluses falsas, da mesma forma que h argumentos no vlidos com concluses verdadeiras. Logo, a verdade ou falsidade de sua concluso no determinam a validade ou no validade de um argumento. O reconhecimento de argumentos mais difcil que o das premissas ou da concluso. Muitas pessoas abarrotam textos de asseres sem sequer produzirem algo que possa ser chamado de argumento. s vezes, os argumentos no seguem os padres descritos acima. Por exemplo, algum pode dizer quais so suas concluses e depois justific-las. Isso vlido, mas pode ser um pouco confuso.
Didatismo e Conhecimento
91

MATEMTICA E RACIOCNIO LGICO


Para complicar, algumas afirmaes parecem argumentos, mas no so. Por exemplo: Se a Bblia verdadeira, Jesus foi ou um louco, ou um mentiroso, ou o Filho de Deus. Isso no um argumento, uma afirmao condicional. No explicita as premissas necessrias para embasar as concluses, sem mencionar que possui outras falhas. Um argumento no equivale a uma explicao. Suponha que, tentando provar que Albert Einstein cria em Deus, algum dissesse: Einstein afirmou que Deus no joga dados porque acreditava em Deus. Isso pode parecer um argumento relevante, mas no . Trata-se de uma explicao da afirmao de Einstein. Para perceber isso, deve-se lembrar que uma afirmao da forma X porque Y pode ser reescrita na forma Y logo X. O que resultaria em: Einstein acreditava em Deus, por isso afirmou que Deus no joga dados. Agora fica claro que a afirmao, que parecia um argumento, est admitindo a concluso que deveria estar provando. Ademais, Einstein no cria num Deus pessoal preocupado com assuntos humanos. Questes 01. Se Iara no fala italiano, ento Ana fala alemo. Se Iara fala italiano, ento ou Ching fala chins ou Dbora fala dinamarqus. Se Dbora fala dinamarqus, Elton fala espanhol. Mas Elton fala espanhol se e somente se no for verdade que Francisco no fala francs. Ora, Francisco no fala francs e Ching no fala chins. Logo, a) Iara no fala italiano e Dbora no fala dinamarqus. b) Ching no fala chins e Dbora fala dinamarqus. c) Francisco no fala francs e Elton fala espanhol. d) Ana no fala alemo ou Iara fala italiano. e) Ana fala alemo e Dbora fala dinamarqus. 02. Sabe-se que todo o nmero inteiro n maior do que 1 admite pelo menos um divisor (ou fator) primo.Se n primo, ento tem somente dois divisores, a saber, 1 e n. Se n uma potncia de um primo p, ou seja, da forma ps, ento 1, p, p2, ..., ps so os divisores positivos de n. Segue-se da que a soma dos nmeros inteiros positivos menores do que 100, que tm exatamente trs divisores positivos, igual a: a) 25 b) 87 c) 112 d) 121 e) 169 03. Ou Lgica fcil, ou Artur no gosta de Lgica. Por outro lado, se Geografia no difcil, ento Lgica difcil. Da segue-se que, se Artur gosta de Lgica, ento: a) Se Geografia difcil, ento Lgica difcil. b) Lgica fcil e Geografia difcil. c) Lgica fcil e Geografia fcil. d) Lgica difcil e Geografia difcil. e) Lgica difcil ou Geografia fcil. 04. Trs suspeitos de haver roubado o colar da rainha foram levados presena de um velho e sbio professor de Lgica. Um dos suspeitos estava de camisa azul, outro de camisa branca e o outro de camisa preta. Sabe-se que um e apenas um dos suspeitos culpado e que o culpado s vezes fala a verdade e s vezes mente. Sabe-se, tambm, que dos outros dois (isto , dos suspeitos que so inocentes), um sempre diz a verdade e o outro sempre mente. O velho e sbio professor perguntou, a cada um dos suspeitos, qual entre eles era o culpado. Disse o de camisa azul: Eu sou o culpado. Disse o de camisa branca, apontando para o de camisa azul: Sim, ele o culpado. Disse, por fim, o de camisa preta: Eu roubei o colar da rainha; o culpado sou eu. O velho e sbio professor de Lgica, ento, sorriu e concluiu corretamente que: a) O culpado o de camisa azul e o de camisa preta sempre mente. b) O culpado o de camisa branca e o de camisa preta sempre mente. c) O culpado o de camisa preta e o de camisa azul sempre mente. d) O culpado o de camisa preta e o de camisa azul sempre diz a verdade. e) O culpado o de camisa azul e o de camisa azul sempre diz a verdade.
Didatismo e Conhecimento
92

MATEMTICA E RACIOCNIO LGICO


05. O rei ir caa condio necessria para o duque sair do castelo, e condio suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa condio necessria e suficiente para o baro sorrir e condio necessria para a duquesa ir ao jardim. O baro no sorriu. Logo: a) A duquesa foi ao jardim ou o conde encontrou a princesa. b) Se o duque no saiu do castelo, ento o conde encontrou a princesa. c) O rei no foi caa e o conde no encontrou a princesa. d) O rei foi caa e a duquesa no foi ao jardim. e) O duque saiu do castelo e o rei no foi caa. 06. (FUNIVERSA - 2012 - PC-DF - Perito Criminal) Parte superior do formulrio Cinco amigos encontraram-se em um bar e, depois de algumas horas de muita conversa, dividiram igualmente a conta, a qual fora de, exatos, R$ 200,00, j com a gorjeta includa. Como se encontravam ligeiramente alterados pelo lcool ingerido, ocorreu uma dificuldade no fechamento da conta. Depois que todos julgaram ter contribudo com sua parte na despesa, o total colocado sobre a mesa era de R$ 160,00, apenas, formados por uma nota de R$ 100,00, uma de R$ 20,00 e quatro de R$ 10,00. Seguiram-se, ento, as seguintes declaraes, todas verdadeiras: Antnio: Baslio pagou. Eu vi quando ele pagou. Danton: Carlos tambm pagou, mas do Baslio no sei dizer. Eduardo: S sei que algum pagou com quatro notas de R$ 10,00. Baslio: Aquela nota de R$ 100,00 ali foi o Antnio quem colocou, eu vi quando ele pegou seus R$ 60,00 de troco. Carlos: Sim, e nos R$ 60,00 que ele retirou, estava a nota de R$ 50,00 que o Eduardo colocou na mesa. Imediatamente aps essas falas, o garom, que ouvira atentamente o que fora dito e conhecia todos do grupo, dirigiu-se exatamente quele que ainda no havia contribudo para a despesa e disse: O senhor pretende usar seu carto e ficar com o troco em espcie? Com base nas informaes do texto, o garom fez a pergunta a (A) Antnio. (B) Baslio. (C) Carlos. (D) Danton. (E) Eduardo. 07. (ESAF - 2012 - Auditor Fiscal da Receita Federal) Parte superior do formulrio Caso ou compro uma bicicleta. Viajo ou no caso. Vou morar em Passrgada ou no compro uma bicicleta. Ora, no vou morar em Passrgada. Assim, (A) no viajo e caso. (B) viajo e caso. (C) no vou morar em Passrgada e no viajo. (D) compro uma bicicleta e no viajo. (E) compro uma bicicleta e viajo. 08. (FCC - 2012 - TST - Tcnico Judicirio) Parte superior do formulrio A declarao abaixo foi feita pelo gerente de recursos humanos da empresa X durante uma feira de recrutamento em uma faculdade: Todo funcionrio de nossa empresa possui plano de sade e ganha mais de R$ 3.000,00 por ms. Mais tarde, consultando seus arquivos, o diretor percebeu que havia se enganado em sua declarao. Dessa forma, conclui-se que, necessariamente, (A) dentre todos os funcionrios da empresa X, h um grupo que no possui plano de sade. (B) o funcionrio com o maior salrio da empresa X ganha, no mximo, R$ 3.000,00 por ms. (C) um funcionrio da empresa X no tem plano de sade ou ganha at R$ 3.000,00 por ms. (D) nenhum funcionrio da empresa X tem plano de sade ou todos ganham at R$ 3.000,00 por ms. (E) alguns funcionrios da empresa X no tm plano de sade e ganham, no mximo, R$ 3.000,00 por ms.
93

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


09. (CESGRANRIO - 2012 - Chesf - Analista de Sistemas) Parte superior do formulrio Se hoje for uma segunda ou uma quarta-feira, Pedro ter aula de futebol ou natao. Quando Pedro tem aula de futebol ou natao, Jane o leva at a escolinha esportiva. Ao levar Pedro at a escolinha, Jane deixa de fazer o almoo e, se Jane no faz o almoo, Carlos no almoa em casa. Considerando-se a sequncia de implicaes lgicas acima apresentadas textualmente, se Carlos almoou em casa hoje, ento hoje (A) tera, ou quinta ou sexta-feira, ou Jane no fez o almoo. (B) Pedro no teve aula de natao e no segunda-feira. (C) Carlos levou Pedro at a escolinha para Jane fazer o almoo. (D) no segunda, nem quarta, mas Pedro teve aula de apenas uma das modalidades esportivas. (E) no segunda, Pedro no teve aulas, e Jane no fez o almoo. 10. (VUNESP - 2011 - TJM-SP) Parte superior do formulrio Se afino as cordas, ento o instrumento soa bem. Se o instrumento soa bem, ento toco muito bem. Ou no toco muito bem ou sonho acordado. Afirmo ser verdadeira a frase: no sonho acordado. Dessa forma, conclui-se que (A) sonho dormindo. (B) o instrumento afinado no soa bem. (C) as cordas no foram afinadas. (D) mesmo afinado o instrumento no soa bem. (E) toco bem acordado e dormindo. Respostas 01. (P1) Se Iara no fala italiano, ento Ana fala alemo. (P2) Se Iara fala italiano, ento ou Ching fala chins ou Dbora fala dinamarqus. (P3) Se Dbora fala dinamarqus, Elton fala espanhol. (P4) Mas Elton fala espanhol se e somente se no for verdade que Francisco no fala francs. (P5) Ora, Francisco no fala francs e Ching no fala chins. Ao todo so cinco premissas, formadas pelos mais diversos conectivos (Se ento, Ou, Se e somente se, E). Mas o que importa para resolver este tipo de argumento lgico que ele s ser vlido quando todas as premissas forem verdadeiras, a concluso tambm for verdadeira. Uma boa dica sempre comear pela premissa formada com o conectivo e. Na premissa 5 tem-se: Francisco no fala francs e Ching no fala chins. Logo para esta proposio composta pelo conectivo e ser verdadeira as premissas simples que a compe devero ser verdadeiras, ou seja, sabemos que: Francisco no fala francs Ching no fala chins Na premissa 4 temos: Elton fala espanhol se e somente se no for verdade que Francisco no fala francs. Temos uma proposio composta formada pelo se e somente se, neste caso, esta premissa ser verdadeira se as proposies que a formarem forem de mesmo valor lgico, ou ambas verdadeiras ou ambas falsas, ou seja, como se deseja que no seja verdade que Francisco no fala francs e ele fala, isto j falso e o antecedente do se e somente se tambm ter que ser falso, ou seja: Elton no fala espanhol. Da premissa 3 tem-se: Se Dbora fala dinamarqus, Elton fala espanhol. Uma premissa composta formada por outras duas simples conectadas pelo se ento (veja que a vrgula subentende que existe o ento), pois , a regra do se ento que ele s vai ser falso se o seu antecedente for verdadeiro e o seu consequente for falso, da premissa 4 sabemos que Elton no fala espanhol, logo, para que a premissa seja verdadeira s poderemos aceitar um valor lgico possvel para o antecedente, ou seja, ele dever ser falso, pois F F = V, logo: Dbora no fala dinamarqus. Da premissa 2 temos: Se Iara fala italiano, ento ou Ching fala chins ou Dbora fala dinamarqus. Vamos analisar o consequente do se ento, observe: ou Ching fala chins ou Dbora fala dinamarqus. (temos um ou exclusivo, cuja regra , o ou exclusivo, s vai ser falso se ambas forem verdadeiras, ou ambas falsas), no caso como Ching no fala chins e Dbora no fala dinamarqus, temos: F ou exclusivo F = F. Se o consequente deu falso, ento o antecedente tambm dever ser falso para que a premissa seja verdadeira, logo: Iara no fala italiano.
Didatismo e Conhecimento
94

MATEMTICA E RACIOCNIO LGICO


Da premissa 1 tem-se: Se Iara no fala italiano, ento Ana fala alemo. Ora ocorreu o antecedente, vamos reparar no consequente... S ser verdadeiro quando V V = V pois se o primeiro ocorrer e o segundo no teremos o Falso na premissa que indesejado, desse modo: Ana fala alemo. Observe que ao analisar todas as premissas, e tornarmos todas verdadeiras obtivemos as seguintes afirmaes: Francisco no fala francs Ching no fala chins Elton no fala espanhol Dbora no fala dinamarqus Iara no fala italiano Ana fala alemo. A nica concluso verdadeira quando todas as premissas foram verdadeiras a da alternativa (A), resposta do problema. 02. Resposta B. O nmero que no primo denominado nmero composto. O nmero 4 um nmero composto. Todo nmero composto pode ser escrito como uma combinao de nmeros primos, veja: 70 um nmero composto formado pela combinao: 2 x 5 x 7, onde 2, 5 e 7 so nmeros primos. O problema informou que um nmero primo tem com certeza 3 divisores quando puder ser escrito da forma: 1 p p2, onde p um nmero primo. Observe os seguintes nmeros: 1 2 22 (4) 1 3 3 (9) 1 5 5 (25) 1 7 7 (49) 1 11 11 (121) Veja que 4 tm apenas trs divisores (1, 2 e ele mesmo) e o mesmo ocorre com os demais nmeros 9, 25, 49 e 121 (mas este ltimo j maior que 100) portanto a soma dos nmeros inteiros positivos menores do que 100, que tm exatamente trs divisores positivos dada por: 4 + 9 + 25 + 49 = 87. 03. Resposta B. O Argumento uma sequncia finita de proposies lgicas iniciais (Premissas) e uma proposio final (concluso). A validade de um argumento independe se a premissa verdadeira ou falsa, observe a seguir: Todo cavalo tem 4 patas (P1) Todo animal de 4 patas tem asas (P2) Logo: Todo cavalo tem asas (C) Observe que se tem um argumento com duas premissas, P1 (verdadeira) e P2 (falsa) e uma concluso C. Veja que este argumento vlido, pois se as premissas se verificarem a concluso tambm se verifica: (P1) Todo cavalo tem 4 patas. Indica que se cavalo ento tem 4 patas, ou seja, posso afirmar que o conjunto dos cavalos um subconjunto do conjunto de animais de 4 patas.

(P2) Todo animal de 4 patas tem asas. Indica que se tem 4 patas ento o animal tem asas, ou seja, posso afirmar que o conjunto dos animais de 4 patas um subconjunto do conjunto de animais que tem asas.

(C) Todo cavalo tem asas. Indica que se cavalo ento tem asas, ou seja, posso afirmar que o conjunto de cavalos um subconjunto do conjunto de animais que tem asas.
Didatismo e Conhecimento
95

MATEMTICA E RACIOCNIO LGICO

Observe que ao unir as premissas, a concluso sempre se verifica. Toda vez que fizermos as premissas serem verdadeiras, a concluso tambm for verdadeira, estaremos diante de um argumento vlido. Observe:

Desse modo, o conjunto de cavalos subconjunto do conjunto dos animais de 4 patas e este por sua vez subconjunto dos animais que tem asas. Dessa forma, a concluso se verifica, ou seja, todo cavalo tem asas. Agora na questo temos duas premissas e a concluso uma das alternativas, logo temos um argumento. O que se pergunta qual das concluses possveis sempre ser verdadeira dadas as premissas sendo verdadeiras, ou seja, qual a concluso que torna o argumento vlido. Vejamos: Ou Lgica fcil, ou Artur no gosta de Lgica (P1) Se Geografia no difcil, ento Lgica difcil. (P2) Artur gosta de Lgica (P3) Observe que deveremos fazer as trs premissas serem verdadeiras, inicie sua anlise pela premissa mais fcil, ou seja, aquela que j vai lhe informar algo que deseja, observe a premissa trs, veja que para ela ser verdadeira, Artur gosta de Lgica. Com esta informao vamos at a premissa um, onde temos a presena do ou exclusivo um ou especial que no aceita ao mesmo tempo que as duas premissas sejam verdadeiras ou falsas. Observe a tabela verdade do ou exclusivo abaixo:
p V V F F q V F V F pVq F V V F

Sendo as proposies: p: Lgica fcil q: Artur no gosta de Lgica p v q = Ou Lgica fcil, ou Artur no gosta de Lgica (P1) Observe que s nos interessa os resultados que possam tornar a premissa verdadeira, ou seja, as linhas 2 e 3 da tabela verdade. Mas j sabemos que Artur gosta de Lgica, ou seja, a premissa q falsa, s nos restando a linha 2, quer dizer que para P1 ser verdadeira, p tambm ser verdadeira, ou seja, Lgica fcil. Sabendo que Lgica fcil, vamos para a P2, temos um se ento. Se Geografia no difcil, ento Lgica difcil. Do se ento j sabemos que: Geografia no difcil - o antecedente do se ento. Lgica difcil - o consequente do se ento. Chamando: r: Geografia difcil ~r: Geografia no difcil (ou Geografia fcil) p: Lgica fcil (no p) ~p: Lgica difcil ~r ~p (l-se se no r ento no p) sempre que se verificar o se ento tem-se tambm que a negao do consequente gera a negao do antecedente, ou seja: ~(~p) ~(~r), ou seja, p r ou Se Lgica fcil ento Geografia difcil.
Didatismo e Conhecimento
96

MATEMTICA E RACIOCNIO LGICO


De todo o encadeamento lgico (dada as premissas verdadeiras) sabemos que: Artur gosta de Lgica Lgica fcil Geografia difcil Vamos agora analisar as alternativas, em qual delas a concluso verdadeira: a) Se Geografia difcil, ento Lgica difcil. (V F = F) a regra do se ento s ser falso se o antecedente for verdadeiro e o consequente for falso, nas demais possibilidades ele ser sempre verdadeiro. b) Lgica fcil e Geografia difcil. (V ^ V = V) a regra do e que s ser verdadeiro se as proposies que o formarem forem verdadeiras. c) Lgica fcil e Geografia fcil. (V ^ F = F) d) Lgica difcil e Geografia difcil. (F ^ V = F) e) Lgica difcil ou Geografia fcil. (F v F = F) a regra do ou que s falso quando as proposies que o formarem forem falsas. 04. Alternativa A. Com os dados fazemos a tabela:
Camisa azul eu sou culpado Camisa Branca sim, ele (de camisa azul) o culpado Camisa Preta Eu roubei o colar da rainha; o culpado sou eu

Sabe-se que um e apenas um dos suspeitos culpado e que o culpado s vezes fala a verdade e s vezes mente. Sabe-se, tambm, que dos outros dois (isto , dos suspeitos que so inocentes), um sempre diz a verdade e o outro sempre mente. I) Primeira hiptese: Se o inocente que fala verdade o de camisa azul, no teramos resposta, pois o de azul fala que culpado e ento estaria mentindo. II) Segunda hiptese: Se o inocente que fala a verdade o de camisa preta, tambm no teramos resposta, observem: Se ele fala a verdade e declara que roubou ele o culpado e no inocente. III) Terceira hiptese: Se o inocente que fala a verdade o de camisa branca achamos a resposta, observem: Ele inocente e afirma que o de camisa branca culpado, ele o inocente que sempre fala a verdade. O de camisa branca o culpado que ora fala a verdade e ora mente (no problema ele est dizendo a verdade). O de camisa preta inocente e afirma que roubou, logo ele o inocente que est sempre mentindo. O resultado obtido pelo sbio aluno dever ser: O culpado o de camisa azul e o de camisa preta sempre mente (Alternativa A). 05. Resposta C. Uma questo de lgica argumentativa, que trata do uso do conectivo se ento tambm representado por . Vamos a um exemplo: Se o duque sair do castelo ento o rei foi caa. Aqui estamos tratando de uma proposio composta (Se o duque sair do castelo ento o rei foi caa) formada por duas proposies simples (duque sair do castelo) (rei ir caa), ligadas pela presena do conectivo () se ento. O conectivo se ento liga duas proposies simples da seguinte forma: Se p ento q, ou seja: p ser uma proposio simples que por estar antes do ento tambm conhecida como antecedente. q ser uma proposio simples que por estar depois do ento tambm conhecida como consequente. Se p ento q tambm pode ser lido como p implica em q. p conhecida como condio suficiente para que q ocorra, ou seja, basta que p ocorra para q ocorrer. q conhecida como condio necessria para que p ocorra, ou seja, se q no ocorrer ento p tambm no ir ocorrer.

Didatismo e Conhecimento

97

MATEMTICA E RACIOCNIO LGICO


Vamos s informaes do problema: 1) O rei ir caa condio necessria para o duque sair do castelo. Chamando A (proposio rei ir caa) e B (proposio duque sair do castelo) podemos escrever que se B ento A ou B A. Lembre-se de que ser condio necessria ser consequente no se ento. 2) O rei ir caa condio suficiente para a duquesa ir ao jardim. Chamando A (proposio rei ir caa) e C (proposio duquesa ir ao jardim) podemos escrever que se A ento C ou A C. Lembre-se de que ser condio suficiente ser antecedente no se ento. 3) O conde encontrar a princesa condio necessria e suficiente para o baro sorrir. Chamando D (proposio conde encontrar a princesa) e E (proposio baro sorrir) podemos escrever que D se e somente se E ou D E (conhecemos este conectivo como um bicondicional, um conectivo onde tanto o antecedente quanto o consequente so condio necessria e suficiente ao mesmo tempo), onde poderamos tambm escrever E se e somente se D ou E D. 4) O conde encontrar a princesa condio necessria para a duquesa ir ao jardim. Chamando D (proposio conde encontrar a princesa) e C (proposio duquesa ir ao jardim) podemos escrever que se C ento D ou C D. Lembre-se de que ser condio necessria ser consequente no se ento. A nica informao claramente dada que o baro no sorriu, ora chamamos de E (proposio baro sorriu). Logo baro no sorriu = ~E (l-se no E). Dado que ~E se verifica e D E, ao negar a condio necessria nego a condio suficiente: esse modo ~E ~D (ento o conde no encontrou a princesa). Se ~D se verifica e C D, ao negar a condio necessria nego a condio suficiente: ~D ~C (a duquesa no foi ao jardim). Se ~C se verifica e A C, ao negar a condio necessria nego a condio suficiente: ~C ~A (ento o rei no foi caa). Se ~A se verifica e B A, ao negar a condio necessria nego a condio suficiente: ~A ~B (ento o duque no saiu do castelo). Observe entre as alternativas, que a nica que afirma uma proposio logicamente correta a alternativa C, pois realmente deduziu-se que o rei no foi caa e o conde no encontrou a princesa. 06. Resposta D. Como todas as informaes dadas so verdadeiras, ento podemos concluir que: 1 - Baslio pagou; 2 - Carlos pagou; 3 - Antnio pagou, justamente, com os R$ 100,00 e pegou os R$ 60,00 de troco que, segundo Carlos, estavam os R$ 50,00 pagos por Eduardo, ento... 4 - Eduardo pagou com a nota de R$ 50,00. O nico que escapa das afirmaes o Danton. Outra forma: 5 amigos: A,B,C,D, e E. Antnio: - Baslio pagou. Restam A, D, C e E. Danton: - Carlos tambm pagou. Restam A, D, e E. Eduardo: - S sei que algum pagou com quatro notas de R$ 10,00. Restam A, D, e E. Baslio: - Aquela nota de R$ 100,00 ali foi o Antnio. Restam D, e E. Carlos: - Sim, e nos R$ 60,00 que ele retirou, estava a nota de R$ 50,00 que o Eduardo colocou. Resta somente D (Dalton) a pagar. 07. Resposta B. Parte inferior do formulrio 1: separar a informao que a questo forneceu: no vou morar em passrgada. 2: lembrando-se que a regra do ou diz que: para ser verdadeiro tem de haver pelo menos uma proposio verdadeira. 3: destacando-se as informaes seguintes: - caso ou compro uma bicicleta. - viajo ou no caso. - vou morar em passrgada ou no compro uma bicicleta.
Didatismo e Conhecimento
98

MATEMTICA E RACIOCNIO LGICO


Logo: - vou morar em pasrgada (F) - no compro uma bicicleta (V) - caso (V) - compro uma bicicleta (F) - viajo (V) - no caso (F) Concluso: viajo, caso, no compro uma bicicleta. Outra forma: c = casar b = comprar bicicleta v = viajar p = morar em Passrgada Temos as verdades: c ou b v ou ~c p ou ~b Transformando em implicaes: ~c b = ~b c ~v ~c = c v ~p ~b Assim: ~p ~b ~b c cv Por transitividade: ~p c ~p v No morar em passrgada implica casar. No morar em passrgada implica viajar. 08. Resposta C. A declarao dizia: Todo funcionrio de nossa empresa possui plano de sade e ganha mais de R$ 3.000,00 por ms. Porm, o diretor percebeu que havia se enganado, portanto, basta que um funcionrio no tenha plano de sade ou ganhe at R$ 3.000,00 para invalidar, negar a declarao, tornando-a desse modo FALSA. Logo, necessariamente, um funcionrio da empresa X no tem plano de sade ou ganha at R$ 3.000,00 por ms. Proposio composta no conectivo e - Todo funcionrio de nossa empresa possui plano de sade e ganha mais de R$ 3.000,00 por ms. Logo: basta que uma das proposies seja falsa para a declarao ser falsa. 1 Proposio: Todo funcionrio de nossa empresa possui plano de sade. 2 Proposio: ganha mais de R$ 3.000,00 por ms. Lembre-se que no enunciado no fala onde foi o erro da declarao do gerente, ou seja, pode ser na primeira proposio e no na segunda ou na segunda e no na primeira ou nas duas que o resultado ser falso.
Didatismo e Conhecimento
99

MATEMTICA E RACIOCNIO LGICO


Na alternativa C a banca fez a negao da primeira proposio e fez a da segunda e as ligaram no conectivo ou, pois no conectivo ou tanto faz a primeira ser verdadeira ou a segunda ser verdadeira, desde que haja uma verdadeira para o resultado ser verdadeiro. Ateno: A alternativa E est igualzinha, s muda o conectivo que o e, que obrigaria que o erro da declarao fosse nas duas. A questo pede a negao da afirmao: Todo funcionrio de nossa empresa possui plano de sade e ganha mais de R$ 3.000,00 por ms. Essa fica assim ~(p ^ q). A negao dela ~pv~q ~(p^q) ~pv~q (negao todas e vira ou) A 1 proposio tem um Todo que quantificador universal, para neg-lo utilizamos um quantificador existencial. Pode ser: um, existe um, pelo menos, existem... No caso da questo ficou assim: Um funcionrio da empresa no possui plano de sade ou ganha at R$ 3.000,00 por ms. A negao de ganha mais de 3.000,00 por ms, ganha at 3.000,00. 09. Resposta B. Sendo: Segunda = S e Quarta = Q, Pedro tem aula de Natao = PN e Pedro tem aula de Futebol = PF. V = conectivo ou e = conectivo Se, ... ento, temos: S V Q PF V PN Sendo Je = Jane leva Pedro para a escolinha e ~Je = a negao, ou seja Jane no leva Pedro a escolinha. Ainda temos que ~Ja = Jane deixa de fazer o almoo e C = Carlos almoa em Casa e ~C = Carlos no almoa em casa, temos: PF V PN Je Je ~Ja ~Ja ~C Em questes de raciocnio lgico devemos admitir que todas as proposies compostas so verdadeiras. Ora, o enunciado diz que Carlos almoou em casa, logo a proposio ~C Falsa. ~Ja ~C Para a proposio composta ~Ja ~C ser verdadeira, ento ~Ja tambm falsa. ~Ja ~C Na proposio acima desta temos que Je ~Ja, contudo j sabemos que ~Ja falsa. Pela mesma regra do conectivo Se, ... ento, temos que admitir que Je tambm falsa para que a proposio composta seja verdadeira. Na proposio acima temos que PF V PN Je, tratando PF V PN como uma proposio individual e sabendo que Je falsa, para esta proposio composta ser verdadeira PF V PN tem que ser falsa. Ora, na primeira proposio composta da questo, temos que S V Q PF V PN e pela mesma regra j citada, para esta ser verdadeira S V Q tem que ser falsa. Bem, agora analisando individualmente S V Q como falsa, esta s pode ser falsa se as duas premissas simples forem falsas. E da mesma maneira tratamos PF V PN.

Didatismo e Conhecimento

100

MATEMTICA E RACIOCNIO LGICO


Representao lgica de todas as proposies: S V Q PF V PN (f) (f) (f) (f) F F PF V PN Je F F Je ~Ja F F ~Ja ~C F F Concluso: Carlos almoou em casa hoje, Jane fez o almoo e no levou Pedro escolinha esportiva, Pedro no teve aula de futebol nem de natao e tambm no segunda nem quarta. Agora s marcar a questo cuja alternativa se encaixa nesse esquema. 10. Resposta C. D nome: A = AFINO as cordas; I = INSTRUMENTO soa bem; T = TOCO bem; S = SONHO acordado. Montando as proposies: 1 - A I 2 - I T 3 - ~T V S (ou exclusivo) Como S = FALSO; ~T = VERDADEIRO, pois um dos termos deve ser verdadeiro (equivale ao nosso ou isso ou aquilo, escolha UM). ~T = V T=F IT (F) Em muitos casos, um macete que funciona nos exerccios lotados de condicionais, sendo assim o F passa para trs. Assim: I = F Novamente: A I (F) O FALSO passa para trs. Com isso, A = FALSO. ~A = Verdadeiro = As cordas no foram afinadas. Outra forma: partimos da premissa afirmativa ou de concluso; ltima frase: No sonho acordado ser VERDADE Admita todas as frases como VERDADE Ficando assim de baixo para cima Ou no toco muito bem (V) ou sonho acordado (F) = V Se o instrumento soa bem (F) ento toco muito bem (F) = V Se afino as cordas (F), ento o instrumento soa bem (F) = V

Didatismo e Conhecimento

101

MATEMTICA E RACIOCNIO LGICO


A dica trabalhar com as excees: na condicional s d falso quando a primeira V e a segunda F. Na disjuno exclusiva (ou... ou) as divergentes se atraem o que d verdade. Extraindo as concluses temos que: No toco muito bem, no sonho acordado como verdade. Se afino as corda deu falso, ento no afino as cordas. Se o instrumento soa bem deu falso, ento o instrumento no soa bem. Joga nas alternativas: (A) sonho dormindo (voc no tem garantia de que sonha dormindo, s temos como verdade que no sonho acordado, pode ser que voc nem sonhe). (B) o instrumento afinado no soa bem deu que: No afino as cordas. (C) Verdadeira: as cordas no foram afinadas. (D) mesmo afinado (Falso deu que no afino as cordas) o instrumento no soa bem. (E) toco bem acordado e dormindo, absurdo. Deu no toco muito bem e no sonho acordado. Proposies ou Sentenas Uma proposio uma afirmao que pode ser verdadeira ou falsa. Ela o significado da afirmao, no um arranjo preciso das palavras para transmitir esse significado. Por exemplo, Existe um nmero primo par maior que dois uma proposio (no caso, falsa). Um nmero primo par maior que dois existe a mesma proposio, expressa de modo diferente. muito fcil mudar acidentalmente o significado das palavras apenas reorganizando-as. A dico da proposio deve ser considerada algo significante. possvel utilizar a lingustica formal para analisar e reformular uma afirmao sem alterar o significado. As sentenas ou proposies so os elementos que, na linguagem escrita ou falada, expressam uma ideia, mesmo que absurda. Considerar-se-o as que so bem definidas, isto , aquelas que podem ser classificadas em falsas ou verdadeiras, denominadas declarativas. As proposies geralmente so designadas por letras latinas minsculas: p, q, r, s... Considere os exemplos a seguir: p: Mnica inteligente. q: Se j nevou na regio Sul, ento o Brasil um pas europeu. r: 7 > 3 s: 8 + 2 10 Tipos de Proposies Podemos classificar as sentenas ou proposies, conforme o significado de seu texto, em: - Declarativas ou afirmativas: so as sentenas em que se afirma algo, que pode ou no ser verdadeiro. Exemplo: Jlio Csar o melhor goleiro do Brasil. - Interrogativas: so aquelas sentenas em que se questiona algo. Esse tipo de sentena no admite valor verdadeiro ou falso. Exemplo: Lula estava certo em demitir a ministra? - Imperativas ou ordenativas: so as proposies em que se ordena alguma coisa. Exemplo: Mude a geladeira de lugar. Proposies Universais e Particulares As proposies universais so aquelas em que o predicado refere-se totalidade do conjunto. Exemplo: Todos os homens so mentirosos universal e simbolizamos por Todo S P Nesta definio inclumos o caso em que o sujeito unitrio. Exemplo: O co mamfero. As proposies particulares so aquelas em que o predicado refere-se apenas a uma parte do conjunto. Exemplo: Alguns homens so mentirosos particular e simbolizamos por algum S P.
Didatismo e Conhecimento
102

MATEMTICA E RACIOCNIO LGICO


Proposies Afirmativas e Negativas No caso de negativa podemos ter: Nenhum homem mentiroso universal negativa e simbolizamos por nenhum S P. Alguns homens no so mentirosos particular negativa e simbolizamos por algum S no P. No caso de afirmativa consideramos o item anterior. Chamaremos as proposies dos tipos: Todo S P, algum S P, algum S no P e nenhum S P. Ento teremos a tabela:

AFIRMATIVA UNIVERSAL Todo S P (A) PARTICULAR Algum S P (I)

NEGATIVA Nenhum S P (E) Algum S no P (O)

Diagrama de Euler Para analisar, poderemos usar o diagrama de Euler. - Todo S P (universal afirmativa A)

- Nenhum S P (universal negativa E)

- Algum S P (particular afirmativa I)

- Algum S no P (particular negativa O)

Didatismo e Conhecimento

103

MATEMTICA E RACIOCNIO LGICO


Princpios - Princpio da no-contradio: Uma proposio no pode ser verdadeira e falsa simultaneamente. - Princpio do Terceiro Excludo: Uma proposio s pode ter dois valores verdades, isto , verdadeiro (V) ou falso (F), no podendo ter outro valor. a) O Curso Pr-Fiscal fica em So Paulo um proposio verdadeira. b) O Brasil um Pas da Amrica do Sul uma proposio verdadeira. c) A Receita Federal pertence ao poder judicirio, uma proposio falsa. As proposies simples (tomos) combinam-se com outras, ou so modificadas por alguns operadores (conectivos), gerando novas sentenas chamadas de molculas. Os conectivos sero representados da seguinte forma: corresponde a no corresponde a e corresponde a ou corresponde a ento corresponde a se somente se Sendo assim, a partir de uma proposio podemos construir uma outra correspondente com a sua negao; e com duas ou mais, podemos formar: - Conjunes: a b (l-se: a e b) - Disjunes: a b (l-se: a ou b) - Condicionais: a b (l-se: se a ento b) - Bicondicionais: a b (l-se: a se somente se b) Exemplo Se Cacilda estudiosa ento ela passar no AFRF Sejam as proposies: p = Cacilda estudiosa q = Ela passar no AFRF Da, poderemos representar a sentena da seguinte forma: Se p ento q (ou p q) Sentenas Abertas Existem sentenas que no podem ser classificadas nem como falsas, nem como verdadeiras. So as sentenas chamadas sentenas abertas. Exemplos 1. p ( x) : x + 4 = 9 A sentena matemtica x + 4 = 9 aberta, pois existem infinitos nmeros que satisfazem a equao. Obviamente, apenas um deles, x = 5 , tornando a sentena verdadeira. Porm, existem infinitos outros nmeros que podem fazer com que a proposio se torne falsa, como x = 5. 2. q ( x) : x < 3 Dessa maneira, na sentena x < 3 , obtemos infinitos valores que satisfazem equao. Porm, alguns so verdadeiros, como x = 2 , e outros so falsos, como x = +7.
Didatismo e Conhecimento
104

MATEMTICA E RACIOCNIO LGICO


Ateno: As proposies ou sentenas lgicas so representadas por letras latinas e podem ser classificadas em abertas ou fechadas. A sentena s ( x) : 2 + 2 = 5 uma sentena fechada, pois a ela se pode atribuir um valor lgico; nesse caso, o valor de s ( x) F, pois a sentena falsa. A sentena p ( x) Phil Collins um grande cantor de msica pop internacional fechada, dado que possui um valor lgico e esse valor verdadeiro. J a sentena e( x) O sorteio milionrio da Mega-Sena uma sentena aberta, pois no se sabe o objetivo de falar do sorteio da Mega-Sena, nem se pode atribuir um valor lgico para que e( x) seja verdadeiro, ou falso. Modificadores A partir de uma proposio, podemos formar outra proposio usando o modificador no (~), que ser sua negao, a qual possuir o valor lgico oposto ao da proposio. Exemplo p: Jacira tem 3 irmos. ~p: Jacira no tem 3 irmos. fcil verificar que: 1. Quando uma proposio verdadeira, sua negao falsa. 2. Quando uma proposio falsa, sua negao verdadeira.
V ou F V F Sentena: p Negao: ~p V ou F F V

4 N
12 divisvel por zero

4 N
12 no divisvel por zero.

Para classificar mais facilmente as proposies em falsas ou verdadeiras, utilizam-se as chamadas tabelas-verdade. Para negao, tem-se
p V F ~p F V

Ateno: A sentena negativa representada por ~. A sentena t: O time do Paran resistiu presso do So Paulo possui como negativa de t, ou seja, ~t, o correspondente a: O time do Paran no resistiu presso do So Paulo. Observao: Alguns matemticos utilizam o smbolo O Brasil possui um grande time de futebol, que pode ser lida como O Brasil no possui um grande time de futebol. Proposies Simples e Compostas Uma proposio pode ser simples (tambm denominada atmica) ou composta (tambm denominada molecular).As proposies simples apresentam apenas uma afirmao. Pode-se consider-las como frases formadas por apenas uma orao. As proposies simples so representadas por letras latinas minsculas.
105

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Exemplos (1) p: eu sou estudioso (2) q: Maria bonita (3) r: 3 + 4 > 12 Uma proposio composta formada pela unio de duas ou mais proposies simples. Indica-se uma proposio composta por letras latinas maisculas. Se P uma proposio composta das proposies simples p, q, r, ..., escreve-se P (p, q, r,...). Quando P estiver claramente definida no h necessidade de indicar as proposies simples entre os parnteses, escrevendo simplesmente P. Exemplos: (4) P: Paulo estudioso e Maria bonita. P composta das proposies simples p: Paulo estudioso e q: Maria bonita. (5) Q: Maria bonita ou estudiosa. Q composta das proposies simples p: Maria bonita e q: Maria estudiosa. (6) R: Se x = 2 ento x2 + 1 = 5. R composta das proposies simples p: x = 2 e q: x2 + 1 = 5. (7) S: a > b se e somente se b < a. S composta das proposies simples p: a > b e q: b < a. As proposies simples so aquelas que expressam uma nica ideia. Constituem a base da linguagem e so tambm chamadas de tomos da linguagem. So representadas por letras latinas minsculas (p, q, r, s, ...). As proposies composta so aquelas formadas por duas ou mais proposies ligadas pelos conectivos lgicos. So geralmente representadas por letras latinas maisculas (P, Q, R, S, ...). O smbolo P (p, q, r), por exemplo, indica que a proposio composta P formada pelas proposies simples p, q e r. Exemplos So proposies simples: p: A lua um satlite da terra. q: O nmero 2 primo. r: O nmero 2 par. s: Roma a capital da Frana. t: O Brasil fica na Amrica do Sul. u: 2 + 5 = 3 . 4 So proposies compostas: P(q, r): O nmero 2 primo ou par. Q(s, t): Roma a capital da Frana e o Brasil fica na Amrica do Sul. R: O nmero 6 par e o nmero 8 cubo perfeito. No so proposies lgicas: - Roma - O co do menino - 7+1 - As pessoas estudam - Quem ? - Que pena! Tabela Verdade Proposio Simples - Segundo o princpio do terceiro excludo, toda proposio simples p, verdade ou falsa, isto , tem o valor lgico verdade (V) ou o valor lgico falso (F).
Didatismo e Conhecimento
106

MATEMTICA E RACIOCNIO LGICO


p V F

Proposio Composta - O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinados. um dispositivo prtico muito usado para a determinao do valor lgico de uma proposio composta. Neste dispositivo figuram todos os possveis valores lgicos da proposio composta, correspondentes a todas as possveis atribuies de valores lgicos s proposies simples componentes. Proposio Composta - 02 proposies simples Assim, por exemplo, no caso de uma proposio composta cujas proposies simples componentes so p e q, as nicas possveis atribuies de valores lgicos a p e a q so:
p V V F F q V F V F

Observe-se que os valores lgicos V e F se alternam de dois em dois para a primeira proposio p e de um em um para a segunda proposio q, e que, alm disso, VV, VF, FV e FF so os arranjos binrios com repetio dos dois elementos V e F. Proposio Composta - 03 proposies simples No caso de uma proposio composta cujas proposies simples componentes so p, q e r as nicas possveis atribuies de valores lgicos a p, a q e a r so:
p V V V V F F F F q V V F F V V F F r V F V F V F V F

Analogamente, observe-se que os valores lgicos V e F se alternam de quatro em quatro para a primeira proposio p, de dois em dois para a segunda proposio q e de um em um para a terceira proposio r, e que, alm disso, VVV, VVF, VFV, VFF, FVV, FVF, FFV e FFF sos os arranjos ternrios com repetio dos dois elementos V e F. Notao: O valor lgico de uma proposio simples p indica-se por V(p). Assim, exprime-se que p verdadeira (V), escrevendo: V(p) = V. Analogamente, exprime-se que p falsa (F), escrevendo: V(p) = F. Exemplos p: o sol verde; q: um hexgono tem nove diagonais; r: 2 raiz da equao x + 3x - 4 = 0 V(p) = F V(q) = V V(r) = F
Didatismo e Conhecimento
107

MATEMTICA E RACIOCNIO LGICO


Questes 01. Considere as proposies p: Est frio e q: Est chovendo. Traduza para linguagem corrente as seguintes proposies: a) P ~q b) p q c) ~p ^ ~q d) p ~q e) (p ~q) (q ^~p) 02. Considere as proposies p: A terra um planeta e q: Aterra gira em torno do Sol. Traduza para linguagem simblica as seguintes proposies: a) No verdade: que a Terra um planeta ou gira em torno do Sol. b) Se a Terra um planeta ento a Terra gira em torno do Sol. c) falso que a Terra um planeta ou que no gira em torno do Sol. d) A Terra gira em torno do Sol se, e somente se, a Terra no um planeta. e) A Terra no nem um planeta e nem gira em torno do Sol. (Expresses da forma no nem p e nem q devem ser vistas como no p e no q) 03. Dada a condicional: Se p primo ento p = 2 ou p impar, determine: a) a contrapositiva b) a recproca 04. a) Supondo V (p ^ q r s) = F e V (~r ^ ~s) = V, determine V (p r ^ s). b) Supondo V (p ^ (q r)) = V e V (p r q) = F, determine V (p), V (q), V (r). c) Supondo V (p q) = V, determine V (p ^ r q ^ r) e V (p r q r). 05. D o conjunto-verdade em R das seguintes sentenas abertas: a) x + x 6 = 0 x - 9 = 0 b) x 4 x -5x + 6 = 0 06. Use o diagrama de Venn para decidir quais das seguintes afirmaes so vlidas: a) Todos os girassis so amarelos e alguns pssaros so amarelos, logo nenhum pssaro um girassol. b) Alguns baianos so surfistas. Alguns surfistas so louros. No existem professores surfistas. Concluses: I- Alguns baianos so louros. II- Alguns professores so baianos. III- Alguns louros so professores. IV- Existem professores louros. 07. (CESPE - PF - Regional) Considere que as letras P, Q, R e T representem proposies e que os smbolos , ^, e sejam operadores lgicos que constroem novas proposies e significam no, e, ou e ento, respectivamente. Na lgica proposicional, cada proposio assume um nico valor (valor-verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca ambos. Com base nas informaes apresentadas no texto, julgue os itens a seguir. a) Se as proposies P e Q so ambas verdadeiras, ento a proposio ( P) ( Q) tambm verdadeira. b) Se a proposio T verdadeira e a proposio R falsa, ento a proposio R ( T) falsa. c) Se as proposies P e Q so verdadeiras e a proposio R falsa, ento a proposio (P ^ R) ( Q) verdadeira. 08. (CESPE - Papiloscopista) Sejam P e Q variveis proposicionais que podem ter valoraes, ou serem julgadas verdadeiras (V) ou falsas (F). A partir dessas variveis, podem ser obtidas novas proposies, tais como: a proposio condicional, denotada por P Q, que ser F quando P for V e Q for F, ou V, nos outros casos; a disjuno de P e Q, denotada por P v Q, que ser F somente quando P e Q forem F, ou V nas outras situaes; a conjuno de P e Q, denotada por P ^ Q, que ser V somente quando P e Q forem V, e, em outros casos, ser F; e a negao de P, denotada por P, que ser F se P for V e ser V se P for F. Uma tabela de valoraes para uma dada proposio um conjunto de possibilidades V ou F associadas a essa proposio. A partir das informaes do texto, julgue os itens subsequentes. a) As tabelas de valoraes das proposies P v Q e Q P so iguais. b) As proposies (P v Q) S e (P S) v (Q S) possuem tabelas de valoraes iguais.

Didatismo e Conhecimento

108

MATEMTICA E RACIOCNIO LGICO


09. (CESPE - PF - Regional) Considere as sentenas abaixo. I- Fumar deve ser proibido, mas muitos europeus fumam. II- Fumar no deve ser proibido e fumar faz bem sade. III- Se fumar no faz bem sade, deve ser proibido. IV- Se fumar no faz bem sade e no verdade que muitos europeus fumam, ento fumar deve ser proibido. V- Tanto falso que fumar no faz bem sade como falso que fumar deve ser proibido; consequentemente, muitos europeus fumam. Considere tambm que P, Q, R e T representem as sentenas listadas na tabela a seguir.
P Q R T Fumar deve ser proibido. Fumar de ser encorajado. Fumar no faz bem sade. Muitos europeus fumam.

Com base nas informaes acima e considerando a notao introduzida no texto, julgue os itens seguintes. a) A sentena I pode ser corretamente representada por P ^ ( T). b) A sentena II pode ser corretamente representada por ( P) ^ ( R). c) A sentena III pode ser corretamente representada por R P. d) A sentena IV pode ser corretamente representada por (R ^ ( T)) P. e) A sentena V pode ser corretamente representada por T (( R) ^ ( P)). 10. Um agente de viagens atende trs amigas. Uma delas loura, outra morena e a outra ruiva. O agente sabe que uma delas se chama Bete, outra se chama Elza e a outra se chama Sara. Sabe, ainda, que cada uma delas far uma viagem a um pas diferente da Europa: uma delas ir Alemanha, outra ir Frana e a outra ir Espanha. Ao agente de viagens, que queria identificar o nome e o destino de cada uma, elas deram as seguintes informaes: A loura: No vou Frana nem Espanha. A morena: Meu nome no Elza nem Sara. A ruiva: Nem eu nem Elza vamos Frana. O agente de viagens concluiu, ento, acertadamente, que: a) A loura Sara e vai Espanha. b) A ruiva Sara e vai Frana. c) A ruiva Bete e vai Espanha. d) A morena Bete e vai Espanha. e) A loura Elza e vai Alemanha. Respostas: 01. a) Est frio ou no est chovendo. b) Se est frio ento est chovendo. c) No est frio e no est chovendo. d) Est frio se e somente se no est chovendo. e) Est frio e no est chovendo se e somente se est chovendo e no est frio. 02. a) ~(p q); b) p q c) ~(p ~q) d) ~p ^ ~q e) q ~p

Didatismo e Conhecimento

109

MATEMTICA E RACIOCNIO LGICO


03. a) a contrapositiva: Se p 2 e p par, ento p no primo. b) a recproca: Se p = 2 ou p mpar, ento p primo. 04. a) Supondo V (p ^ q r s) = F (1) e V (~r ^ ~s) = V (2), determine V (p r ^ s). Soluo: De (2) temos que V (r) = V (s) = F; Usando estes resultados em (1) obtemos: V (p) = V (q) = V, logo, V (p r ^ s) = F b) Supondo V (p ^ (q r)) = V (1) e V (p r q) = F (2), determine V (p), V (q) e V (r). Soluo: De (1) conclumos que V (p) = V e V (q r) = V e de (2) temos que V (q) = F, logo V (r) = V c) Supondo V (p q) = V, determine V (p ^ r q ^ r) e V (p r q r). Soluo: Vamos supor V (p ^ r q ^ r) = F. Temos assim que V (p ^ r) = V e V (q ^ r) = F, o que nos permite concluir que V (p) = V (r) = V e V (q) = F, o que contradiz V (p q) = V. Logo, V (p r q r) = V. Analogamente, mostramos que V (p r q r) = V. 05. a) R {2} b) [-2,2[ 06. a) O diagrama a seguir mostra que o argumento falso:

b) O diagrama a seguir mostra que todos os argumentos so falsos:

07. a) Item ERRADO. Pela tabela do ou temos: ( P) v ( Q) ( V) v ( V) (F) v (F) Falsa b) Item ERRADO. A condicional regra que: R ( T) F ( V) F (F) Verdadeira c) Item CERTO. Obedecendo a conjuno e a condicional: (P ^ R) ( Q) (V ^ F) ( V) F F
Didatismo e Conhecimento
110

MATEMTICA E RACIOCNIO LGICO


Verdadeira 08. a) Item ERRADO. Basta considerarmos a linha da tabela-verdade onde P e Q so ambas proposies verdadeiras para verificar que as tabelas de valoraes de P v Q e Q P no so iguais:
P V Q V P F PvQ V Q P F

b) Item ERRADO. Nas seguintes linhas da tabela-verdade, temos os valores lgicos da proposio (P v Q) S diferente dos da proposio (P S) v (Q S):
P V F Q F V S F F (P v Q) S F F PSvQS V V

09. a) Item ERRADO. Sua representao seria P ^ T. b) Item CERTO. Apenas deve-se ter o cuidado para o que diz a proposio R: Fumar no faz bem sade. bom sempre ficarmos atentos atribuio inicial dada respectiva letra. c) Item CERTO. a representao simblica da Condicional entre as proposies R e P. d) Item CERTO. Proposio composta, com uma Conjuno (R ^ T) como condio suficiente para P. d) Item ERRADO. Dizer ...consequentemente... dizer se... ento.... A representao correta seria (( R) ^ ( P)) T. 10. Resposta E. A melhor forma de resolver problemas como este arrumar as informaes, de forma mais interessante, que possa prover uma melhor visualizao de todo o problema. Inicialmente analise o que foi dado no problema: a) So trs amigas b) Uma loura, outra morena e outra ruiva. c) Uma Bete, outra Elza e outra Sara. d) Cada uma far uma viagem a um pas diferente da Europa: Alemanha, Frana e Espanha. e) Elas deram as seguintes informaes: A loura: No vou Frana nem Espanha. A morena: Meu nome no Elza nem Sara. A ruiva: Nem eu nem Elza vamos Frana. Faa uma tabela:
Cor dos cabelos Afirmao Pas Nome Loura No vou Frana nem a Espanha Alemanha Elza Morena Meu nome no Elza nem Sara Frana Bete Ruiva Nem eu nem Elza vamos Frana Espanha Sara

Com a informao da loura, sabemos que ela vai para a Alemanha. Com a informao da morena, sabemos que ela a Bete. Com a informao da ruiva sabemos que ela no vai Frana e nem Elza, mas observe que a loura vai a Alemanha e a ruiva no vai Frana, s sobrando a Bete ir Frana. Se Bete vai Frana a ruiva coube a Espanha. Elza a loura e Sara fica sendo a ruiva.

Didatismo e Conhecimento

111

MATEMTICA E RACIOCNIO LGICO


Tabela Verdade A tabela-verdade usada para determinar o valor lgico de uma proposio composta, sendo que os valores das proposies simples j so conhecidos. Pois o valor lgico da proposio composta depende do valor lgico da proposio simples. A seguir vamos compreender como se constri essas tabelas-verdade partindo da rvore das possibilidades dos valores lgicos das proposies. Proposio Composta do Tipo P(p, q)

p V V F F

q V F V F

P(p, q) ? ? ? ?

Proposio Composta do Tipo P(p, q, r)

Didatismo e Conhecimento

112

MATEMTICA E RACIOCNIO LGICO


p V V V V F F F F q V V F F V V F F r V F V F V F V F P(p, q, r) ? ? ? ? ? ? ? ?

Proposio Composta do Tipo P(p, q, r, s): a tabela-verdade possui 24 = 16 linhas e formada igualmente as anteriores. Proposio Composta do Tipo P(p1, p2, p3,, pn): a tabela-verdade possui 2n linhas e formada igualmente as anteriores. O Conectivo no e a negao O conectivo no e a negao de uma proposio p outra proposio que tem como valor lgico V se p for falsa e F se p verdadeira. O smbolo ~p (no p) representa a negao de p com a seguinte tabela-verdade:
p V F ~p F V

Exemplo: a) p = 7 mpar. ~p = 7 no mpar.


p V ~p F

b) q = 24 mltiplo de 5. ~q = 24 no mltiplo de 5.
q F ~q V

Observao: A negao de Roma a capital da Itlia Roma no a capital da Itlia ou No verdade que Roma a capital da Itlia. Note que: - A negao de Todos os brasileiros so carecas Nem todos os brasileiros so carecas ou Pelo menos um brasileiro no careca. - A negao de Nenhum homem careca Algum homem careca ou Pelo menos um homem careca. Nmero de linhas da Tabela Verdade Seja L uma linguagem que contenha as proposies P, Q e R. O que podemos dizer sobre a proposio P? Para comear, segundo o princpio de bivalncia, ela ou verdadeira ou falsa. Isto representamos assim:

Didatismo e Conhecimento

113

MATEMTICA E RACIOCNIO LGICO


P V F

Agora, o que podemos dizer sobre as proposies P e Q? Oras, ou ambas so verdadeiras, ou a primeira verdadeira e a segunda falsa, ou a primeira falsa e a segunda verdadeira, ou ambas so falsas. Isto representamos assim:
P V V F F Q V F V F

Como voc j deve ter reparado, uma tabela para P, Q e R assim:


P V V V V F F F F Q V V F F V V F F R V F V F V F V F

Cada linha da tabela (fora a primeira que contm as frmulas) representa uma valorao. Agora, o que dizer sobre frmulas moleculares, tais como P, QR, ou (QR) (PQ)? Para estas, podemos estabelecer os valores que elas recebem em vista do valor de cada frmula atmica que as compe. Faremos isto por meio das tabelas de verdade. Os primeiros passos para construir uma tabela de verdade consistem em: - Uma linha em que esto contidas todas as subfrmulas de uma frmula e a prpria frmula. Por exemplo, a frmula (PQ) R tem o seguinte conjunto de subfrmulas: [(PQ) R, PQ, P, Q, R]. - L linhas em que esto todos os possveis valores que as proposies atmicas podem receber e os valores recebidos pelas frmulas moleculares a partir dos valores destes tomos. O nmero de linhas L = nt, sendo n o nmero de valores que o sistema permite (sempre 2 no caso do CPC) e t o nmero de tomos que a frmula contm. Assim, se uma frmula contm 2 tomos, o nmero de linhas que expressam a permutaes entre estes ser 4: um caso de ambos serem verdadeiros (V V), dois casos de apenas um dos tomos ser verdadeiro (V F , F V) e um caso no qual ambos serem falsos (F F). Se a frmula contiver 3 tomos, o nmero de linhas que expressam a permutaes entre estes ser 8: um caso de todos os tomos serem verdadeiros (V V V), trs casos de apenas dois tomos serem verdadeiros (V V F , V F V , F V V), trs casos de apenas um dos tomos ser verdadeiro (V F F , F V F , F F V) e um caso no qual todos tomos so falsos (F F F). Ento, para a frmula (PQ) R, temos:

Didatismo e Conhecimento

114

MATEMTICA E RACIOCNIO LGICO


P V V V V F F F F Q V V F F V V F F R V F V F V F V F PQ (PQ) R (PQ) R

Para completar esta tabela precisamos definir os operadores lgicos. Ao faz-lo, vamos aproveitar para explicar como interpret-los. O Conectivo e e a conjuno O conectivo e e a conjuno de duas proposies p e q outra proposio que tem como valor lgico V se p e q forem verdadeiras, e F em outros casos. O smbolo p q (p e q) representa a conjuno, com a seguinte tabela-verdade:
p V V F F q V F V F p q V F F F

Exemplo: a) p = 2 par. q = o cu rosa. p q = 2 par e o cu rosa.

q F

p q F

b) p = 9 < 6. q = 3 par. p q: 9 < 6 e 3 par.

p F

q F

p q F

c) p = O nmero 17 primo. q = Braslia a capital do Brasil. p q = O nmero 17 primo e Braslia a capital do Brasil.
p V q V

p q V

Didatismo e Conhecimento

115

MATEMTICA E RACIOCNIO LGICO


O Conectivo ou e a disjuno O conectivo ou e a disjuno de duas proposies p e q outra proposio que tem como valor lgico V se alguma das proposies for verdadeira e F se as duas forem falsas. O smbolo p v q (p ou q) representa a disjuno, com a seguinte tabela-verdade:
p V V F F q V F V F p q V V V F

Exemplo: a) p = 2 par. q = o cu rosa. p q = 2 par ou o cu rosa.


p V q F p q V

b) p = 9 < 6. q = 3 par. p q: = 9 < 6 ou 3 par.

p F

q F

p q F

c) p = O nmero 17 primo. q = Braslia a capital do Brasil. p q = O nmero 17 primo ou Braslia a capital do Brasil.
p V q V p q V

d) p = O nmero 9 par. q = O dobro de 50 100. p q: O nmero 9 par ou o dobro de 50 100.


p F q V p q V

O Conectivo se ento e a condicional A condicional se p ento q outra proposio que tem como valor lgico F se p verdadeira e q falsa. O smbolo p q representa a condicional, com a seguinte tabela-verdade:

Didatismo e Conhecimento

116

MATEMTICA E RACIOCNIO LGICO


p V V F F q V F V F pq V F V V

Exemplo: a) p: 7 + 2 = 9. q: 9 7 = 2. p q: Se 7 + 2 = 9 ento 9 7 = 2.
p q V pq V

b) p = 7 + 5 < 4. q = 2 um nmero primo. p q: Se 7 + 5 < 4 ento 2 um nmero primo.

q V

pq V

c) p = 24 mltiplo de 3. q = 3 par. p q: Se 24 mltiplo de 3 ento 3 par.

q F

pq F

d) p = 25 mltiplo de 2. q = 12 < 3. p q: Se 25 mltiplo de 2 ento 2 < 3. O Conectivo se e somente se e a bicondicional

A bicondicional p se e somente se q outra proposio que tem como valor lgico V se p e q forem ambas verdadeiras ou ambas falsas, e F nos outros casos. O smbolo p q representa a bicondicional, com a seguinte tabela-verdade:
p V V F F q V F V F pq V F F V

Exemplo: a) p = 24 mltiplo de 3. q = 6 mpar. p q = 24 mltiplo de 3 se, e somente se, 6 mpar.


Didatismo e Conhecimento
117

MATEMTICA E RACIOCNIO LGICO


p V q F pq F

b) p = 25 quadrado perfeito. q = 8 > 3. p q = 25 quadrado perfeito se, e somente se, 8 > 3.


p V q V pq V

c) p = 27 par. q = 6 primo. p q = 27 par se, e somente se, 6 primo.


p F q F pq V

Tabela-Verdade de uma Proposio Composta Exemplo: veja como se procede a construo de uma tabela-verdade da proposio composta P(p, q) = ((p q) (~p)) (p q), onde p e q so duas proposies simples quaisquer. Resoluo: uma tabela-verdade de uma proposio do tipo P(p, q) possui 24 = 4 linhas, logo:
p V V F F q V F V F pq ~p (p q) (~p) pq ((p q) (~p)) (p q)

Agora veja passo a passo a determinao dos valores lgicos de P. a) Valores lgicos de p q
p V V F F q V F V F pq V V V F ~p (p q) (~p) pq ((p q) (~p)) (p q)

b) Valores lgicos de ~p
p V V F F q V F V F pq V V V F ~p F F V V (p q) (~p) p q ((p q) (~p)) (p q)

Didatismo e Conhecimento

118

MATEMTICA E RACIOCNIO LGICO


c) Valores lgicos de (p q) (~p)
p V V F F q V F V F pq V V V F ~p F F V V (p q) (~p) F F V V pq ((p q) (~p)) (p q)

d) Valores lgicos de p q
p V V F F q V F V F pq V V V F ~p F F V V (p q) (~p) F F V V pq V F F F ((p q) (~p)) (p q)

e) Valores lgicos de P(p, q) = ((p q) (~p)) (p q)


p V V F F q V F V F pq V V V F ~p F F V V (p q) (~p) F F V V pq V F F F ((p q) (~p)) (p q) V V F F

QUESTES 01. Considere as proposies p: Est frio e q: Est chovendo. Traduza para linguagem corrente as seguintes proposies: (A) p v ~q (B) p q c) ~p ~q (C) p ~q e) (p v ~q) (q ~p) 02. Considere as proposies p: A Terra um planeta e q: A Terra gira em torno do Sol. Traduza para linguagem simblica as seguintes proposies: (A) No verdade: que a Terra um planeta ou gira em torno do Sol. (B) Se a Terra um planeta ento a Terra gira em torno do Sol. (C) falso que a Terra um planeta ou que no gira em torno do Sol. (D) A Terra gira em torno do Sol se, e somente se, a Terra no um planeta. (E) A Terra no nem um planeta e nem gira em torno do Sol. (Expresses da forma no nem p e nem q devem ser vistas como no p e no q)

Didatismo e Conhecimento

119

MATEMTICA E RACIOCNIO LGICO


03. Escreva a negao das seguintes proposies numa sentena o mais simples possvel. (A) falso que no est frio ou que est chovendo. (B) Se as aes caem aumenta o desemprego. (C) Ele tem cabelos louros se e somente se tem olhos azuis. (D) A condio necessria para ser um bom matemtico saber lgica. (E) Jorge estuda fsica mas no estuda qumica. (Expresses da forma p mas q devem ser vistas como p e q) 04. Dada a condicional: Se p primo ento p = 2 ou p mpar, determine: (A) a contrapositiva (B) a recproca 05. (A) Supondo V(p q r v s) = F e V(~r ~s) = V, determine V(p r s). (B) Supondo V(p (q v r)) = V e V (p v r q) = F, determine V(p), V(q) e V(r). (C) Supondo V(p q) = V, determine V(p r q r) e V(p v r q v r). 06. Utilizando as propriedades das operaes lgicas, simplifique as seguintes proposies: (A) (p v q) ~p (B) p (p q) (p ~q) (C) p (p v q) (p v q) q (D) ~(p q) ((~p q) v ~(p v q)) (E) ~p (p v ~(p v ~q)) 07. Escrever as expresses relativas aos circuitos. Simplific-las e fazer novos esquemas. (A)

(B)

Didatismo e Conhecimento

120

MATEMTICA E RACIOCNIO LGICO


08. Verifique a validade ou no dos seguintes argumentos sem utilizar tabela-verdade: (A) p v q, ~r v ~q ~p ~r (B) p q v r, q ~p, s ~r ~(p s) (C) p q, r s, p v s q v r (D) Se o dficit pblico no diminuir, uma condio necessria e suficiente para inflao cair que os impostos sejam aumentados. Os impostos sero aumentados somente se o dficit pblico no diminuir. Se a inflao cair, os impostos no sero aumentados. Portanto, os impostos no sero aumentados. 09. D o conjunto-verdade em R das seguintes sentenas abertas: (A) x + x 6 = 0 x - 9 = 0 (B) x > 4 x - 5x + 6 = 0 10. D a negao das seguintes proposies: (A) Existem pessoas inteligentes que no sabem ler nem escrever. (B) Toda pessoa culta sbia se, e somente se, for inteligente. (C) Para todo nmero primo, a condio suficiente para ser par ser igual a 2. Respostas 01. (A) No est frio e no est chovendo. (B) Est frio se e somente se no est chovendo. (C) Est frio e no est chovendo se e somente se est chovendo e no est frio. 02. (A) ~(p v q) (B) p q (C) ~(p v ~q) (D) ~p ~q (E) q ~p 03. (A) No est frio ou est chovendo. (B) As aes caem e no aumenta o desemprego. (C) Ele tem cabelos louros e no tem olhos azuis ou ele tem olhos azuis e no tem cabeloslouros. (D) A proposio equivalente a Se um bom matemtico ento sabe lgica cuja negao um bom matemtico e no sabe lgica. (E) Jorge no estuda lgica ou estuda qumica. 04. (A) contrapositiva: Se p 2 e p par ento p no primo. (B) recproca: Se p = 2 ou p mpar ento p primo. 05. (A) Supondo V(p q r v s) = F(1) e V(~r ~s) = V (2), determine V(p r s). Soluo: De (2) temos que V (r) = V(s) = F; Usando estes resultados em (1) obtemos: V(p) = V(q) = V, logo, V(p r s) = F (B) Supondo V(p (q v r)) = V (1) e V(p v r q) = F (2), determine V(p), V(q) e V(r). Soluo: De (1) concluimos que V(p) = V e V(q v r) = V e de (2) temos que V(q) = F, logo V (r) = V. (C) Supondo V(p q) = V, determine V(p r q r) e V(p v r q v r). Soluo: Vamos supor V(p r q r) = F. Temos assim que V(p r) = V e V(q r) = F, o que nos permite concluir que V(p) = V(r) = V e V(q) = F, o que contradiz V(p q) = V. Logo, V(p v r q v r) = V. Analogamente, mostramos que V(p v r q v r) = V.
121

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


06. (A) (pq) ~p (p~p) (q~p) F (q~p) (q~p) (B) p (pq) (p~p) p (~pq) (~p~q) p ((~p (q~q)) p (~p F) p ~p F (C) p (pq) (p q) q pq (D) ~(pq) ((~pq)) (p~q) ((~pq) (~p~q)) (p~q) ((~p (q~q)) (p~q) (~pV) (p~q) ~p (p~p) ~q F ~q F (E) ~p (p ~(p~q)) p (p ~(p~q)) (p (~pq)) (p~p) (pq) V (pq) pq 07. (A) (pq) ((pq) q) p ((pq) p qp (B) ((pq) r)) ((qr) q)) ((pq) r) q (pqq) (rq) (pq) (rq) q (pr) 08. (A) Vlido (B) Vlido (C) Sofisma. Considerando V(p) = V(q) = V( r ) = F e V(s) = V, todas as premissas so verdadeiras e a concluso falsa. (D) Considere p: O dficit pblico no diminui; q: A inflao cai; r: Os impostos so aumentados. Analise o argumento: p (qr), r p, q ~r ~r (Vlido) 09. (A) R- {2} (B) [-2, 2[ 10. (A) Todas as pessoas inteligentes sabem ler ou escrever. (B) Existe pessoa culta que sbia e no inteligente ou que inteligente e no sbia. (C) Existe um nmero primo que igual a 2 e no par. Equivalncias Na lgica, as asseres p e q so ditas logicamente equivalentes ou simplesmente equivalentes, se p q e q p. Em termos intuitivos, duas sentenas so logicamente equivalentes se possuem o mesmo contedo lgico. Do ponto de vista da teoria da demonstrao, p e q so equivalentes se cada uma delas pode ser derivada a partir da outra. Semanticamente, p e q so equivalentes se elas tm os mesmos valores para qualquer interpretao. A notao normalmente usada para representar a equivalncia lgica entre p e q p q, p q ou p q. Exemplo: As seguintes sentenas so logicamente equivalentes: 1- Se hoje sbado, ento hoje fim de semana. 2- Se hoje no fim de semana, ento hoje no sbado.

Didatismo e Conhecimento

122

MATEMTICA E RACIOCNIO LGICO


Em smbolos: d: Hoje sbado. (d f) f: Hoje fim de semana. (f d) Sintaticamente, (1) e (2) so equivalentes pela Lei da Contraposio. Semnticamente, (1) e (2) tm os mesmos valores nas mesmas interpretaes. H equivalncia entre as proposies p e q somente quando a bicondicional p q for uma tautologia ou quando p e q tiverem a mesma tabela-verdade. p q (p equivalente a q) o smbolo que representa a equivalncia lgica. O smbolo representa uma operao entre as proposies p e q, que tem como resultado uma nova proposio p q com valor lgico V ou F. O smbolo representa a no ocorrncia de VF e de FV na tabela-verdade p q, ou ainda que o valor lgico de p q sempre V, ou ento p q uma tautologia. Exemplo: A tabela da bicondicional (p q) (~q ~p) ser:
p V V F F q V F V F ~q F V F V ~p F F V V pq V F V V ~q ~p V F V V (p q) (~q ~p) V V V V

Diferenciao dos smbolos e

Portanto, p q equivalente a ~q ~p, pois estas proposies possuem a mesma tabela-verdade ou a bicondicional (p q) (~q ~p) uma tautologia. Veja a representao: (p q) (~q ~p)
Equivalncias Notveis Propriedade ~~p p pVpp pVqqVp p V (q V r) (p V q) V r ~(p V q) ~p ~q p (p V q) p pVFp p q ~p V q p q (p q) (q p) pVVV p V ~p V F = contradio V = tautologia ppp Nome Dupla Negao (DN) Idempotente (IP) Comutativa (COM) Associativa (ASS) De Morgan (DM) Distributiva (DIS) Absoro (ABS) Reescrita da Condicional (COND) Reescrita da Bicondicional (BI) Elemento Neutro (EN) Elemento Absorvedor (EA) Complementares (COMPLE) Dual

pqqp

p (q r) (p q) r ~(p q) ~p V ~q p V (p q) p pVp p V (q r) (p V q) (p V r)

p (q V r) (p q) V (p r)

pFF

p ~p F

Didatismo e Conhecimento

123

MATEMTICA E RACIOCNIO LGICO


As proposies p e q so chamadas de logicamente equivalentes () se p q uma tautologia. Exemplos: Mostraremos que (p V q) e p q so logicamente equivalentes. Uma das leis de De Morgan. Soluo:
(p V q) e p q p V V F F q V F V F (p V q) V V V F (p V q) F F F V p F F V V q F V F V pq F F F V (p V q) p q V V V V

Mostraremos que (p q) e p V q so logicamente equivalentes. Soluo:

(p q) e p V q p V V F F q V F V F p F F V V pVq V F V V pq V F V V (p q) p V q V V V V

QUESTES 01. Demonstre as relaes abaixo utilizando as equivalncias notveis: (A) p q r (p q) (p r) (B) p q r (p q) (p r) (C) p (r s t) (p r) (p s) (p t) (D) p q r p (q r) (E) ~(~p ~q) ~p q 02. Demonstre, utilizando as equivalncias notveis, que as relaes de implicao so vlidas: (A) Exemplo: Regra da simplificao: p q q Para provarmos uma relao de implicao temos que demonstrar que a condicional p q q tautolgica, ou seja, que a condicional p q q V Desenvolvendo o lado esquerdo da equivalncia, tem-se: p q q (aplicando-se a equiv. de reescrita da condicional) ~(p q) q (aplicando-se a Lei de Morgan) ~p ~q q (aplicando-se lei complementar, ~q q uma tautologia) ~p V (pela lei da identidade ~p V um tautologia) V Portanto, est provado que p q q uma tautologia (B) Regra da adio: p p q (C) Regra do Silogismo Disjuntivo: (p q) ~q p (D) Regra de Modus Ponens: (p q) p q (E) Regra de Modus Tollens: (p q) ~q ~p

Didatismo e Conhecimento

124

MATEMTICA E RACIOCNIO LGICO


03. Usando as regras de equivalncia, mostre a seguinte tautologia: (p q) r r (p ~q) Respostas 01. (A) p q r (p q) (p r) pqr ~p (q r) (reescrita da condicional) (~p q) (~p r) (distributiva) (p q) (p r) (reescrita da condicional) (B) p q r (p q) (p r) pqr ~p (q r) (reescrita da condicional) ~p q r (associativa) ~p ~p q r (idempotente, adicionei um ~p, pois ~p ~p ~p) (~p q) (~p r) (associativa) (p q) (p r) (reescrita da condicional) (C) p (r s t) (p r) (p s) (p t) p (r s t) p (r (s t)) (associativa em s t) (p r) (p (s t)) (distributiva) (p r) (p s) (p t) (distributiva) (D) p q r p (q r) pqr ~(p q) r (reescrita da condicional) ~p ~q r (De Morgan) ~p (~q r) (associativa) ~p (q r) (reescrita da condicional) p (q r) (reescrita da condicional) (E) ~(~p ~q) ~p q ~(~p ~q) ~(~~p ~q) (reescrita da condicional) ~(p ~q) (dupla negao) ~p ~~q (De Morgan) ~p q (dupla negao) 02. (B) Regra da adio: p p q p p q V (devemos demonstrar que a relao de implicao equivale a uma tautologia) ~p (p q) (condicional) ~p p q (associativa) V q (complementares ~p p) V (identidade) (C) Regra do Silogismo Disjuntivo: (p q) ~q p (p q) ~q p V (devemos demonstrar que a relao de implicao equivale a uma tautologia) (p ~q) (q ~q) p (distributiva) (p ~q) F p (complementares) (p ~q) p (identidade) ~(p ~q) p (condicional) ~p ~q p (De Morgan) (~p p) ~q (associativa) V ~q (complementares) V (identidade)
125

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


(D) Regra de Modus Ponens: (p q) p q (p q) p q V (devemos demonstrar que a relao de implicao equivale a uma tautologia) (~p q) q q (condicional) (q ~p) (q q) q (distributiva) (q ~p) q q (idempotente) ~((q ~p) q) q (condicional) (~(q ~p) ~q) q (De Morgan) ((~q p) ~q) q (De Morgan) (~q ~q) (~q p) q (distributiva) ~q (~q p) q (idempotente) (~q q) (~q p) (associativa) V (~q p) (complementares) V (identidade) (E) Regra de Modus Tollens: (p q) ~q ~p (p q) ~q ~p V (devemos demonstrar que a relao de implicao equivale a uma tautologia) (~p q) ~q ~p (De Morgan) (~q ~p) (~q q) ~p (Distributiva) (~q ~p) F ~p (Complementares) (~q ~p) ~p (Identidade) ~(~q ~p) ~p (condicional) ~~q ~~p ~p (De Morgan) q p ~p (Dupla Negao) q V (complementares) V 03. Mostraremos que (p q) r r (p ~q) uma tautologia, de fato:
Ordem 1 2 3 4 5 Proposio (p q) r (~p q) r ~(~p q) r r ~(~p q) r (p ~q)

Diagramas Lgicos Os diagramas lgicos so usados na resoluo de vrios problemas. Uma situao que esses diagramas podero ser usados, na determinao da quantidade de elementos que apresentam uma determinada caracterstica.

Didatismo e Conhecimento

126

MATEMTICA E RACIOCNIO LGICO


Assim, se num grupo de pessoas h 43 que dirigem carro, 18 que dirigem moto e 10 que dirigem carro e moto. Baseando-se nesses dados, e nos diagramas lgicos poderemos saber: Quantas pessoas tm no grupo ou quantas dirigem somente carro ou ainda quantas dirigem somente motos. Vamos inicialmente montar os diagramas dos conjuntos que representam os motoristas de motos e motoristas de carros. Comearemos marcando quantos elementos tem a interseco e depois completaremos os outros espaos.

Marcando o valor da interseco, ento iremos subtraindo esse valor da quantidade de elementos dos conjuntos A e B. A partir dos valores reais, que poderemos responder as perguntas feitas.

a) Temos no grupo: 8 + 10 + 33 = 51 motoristas. b) Dirigem somente carros 33 motoristas. c) Dirigem somente motos 8 motoristas. No caso de uma pesquisa de opinio sobre a preferncia quanto leitura de trs jornais. A, B e C, foi apresentada a seguinte tabela:

Jornais A B C AeB AeC BeC A, B e C Nenhum

Leitores 300 250 200 70 65 105 40 150

Para termos os valores reais da pesquisa, vamos inicialmente montar os diagramas que representam cada conjunto. A colocao dos valores comear pela interseco dos trs conjuntos e depois para as interseces duas a duas e por ltimo s regies que representam cada conjunto individualmente. Representaremos esses conjuntos dentro de um retngulo que indicar o conjunto universo da pesquisa.

Didatismo e Conhecimento

127

MATEMTICA E RACIOCNIO LGICO

Fora dos diagramas teremos 150 elementos que no so leitores de nenhum dos trs jornais. Na regio I, teremos: 70 - 40 = 30 elementos. Na regio II, teremos: 65 - 40 = 25 elementos. Na regio III, teremos: 105 - 40 = 65 elementos. Na regio IV, teremos: 300 - 40 - 30 - 25 = 205 elementos. Na regio V, teremos: 250 - 40 -30 - 65 = 115 elementos. Na regio VI, teremos: 200 - 40 - 25 - 65 = 70 elementos. Dessa forma, o diagrama figura preenchido com os seguintes elementos:

Com essa distribuio, poderemos notar que 205 pessoas leem apenas o jornal A. Verificamos que 500 pessoas no leem o jornal C, pois a soma 205 + 30 + 115 + 150. Notamos ainda que 700 pessoas foram entrevistadas, que a soma 205 + 30 + 25 + 40 + 115 + 65 + 70 + 150. Diagrama de Euler Um diagrama de Euler similar a um diagrama de Venn, mas no precisa conter todas as zonas (onde uma zona definida como a rea de interseco entre dois ou mais contornos). Assim, um diagrama de Euler pode definir um universo de discurso, isto , ele pode definir um sistema no qual certas interseces no so possveis ou consideradas. Assim, um diagrama de Venn contendo os atributos para Animal, Mineral e quatro patas teria que conter interseces onde alguns esto em ambos animal, mineral e de quatro patas. Um diagrama de Venn, consequentemente, mostra todas as possveis combinaes ou conjunes.

Didatismo e Conhecimento

128

MATEMTICA E RACIOCNIO LGICO


Diagramas de Euler consistem em curvas simples fechadas (geralmente crculos) no plano que mostra os conjuntos. Os tamanhos e formas das curvas no so importantes: a significncia do diagrama est na forma como eles se sobrepem. As relaes espaciais entre as regies delimitadas por cada curva (sobreposio, conteno ou nenhuma) correspondem relaes tericas (subconjunto interseo e disjuno). Cada curva de Euler divide o plano em duas regies ou zonas esto: o interior, que representa simbolicamente os elementos do conjunto, e o exterior, o que representa todos os elementos que no so membros do conjunto. Curvas cujos interiores no se cruzam representam conjuntos disjuntos. Duas curvas cujos interiores se interceptam representam conjuntos que tm elementos comuns, a zona dentro de ambas as curvas representa o conjunto de elementos comuns a ambos os conjuntos (interseco dos conjuntos). Uma curva que est contido completamente dentro da zona interior de outro representa um subconjunto do mesmo. Os Diagramas de Venn so uma forma mais restritiva de diagramas de Euler. Um diagrama de Venn deve conter todas as possveis zonas de sobreposio entre as suas curvas, representando todas as combinaes de incluso / excluso de seus conjuntos constituintes, mas em um diagrama de Euler algumas zonas podem estar faltando. Essa falta foi o que motivou Venn a desenvolver seus diagramas. Existia a necessidade de criar diagramas em que pudessem ser observadas, por meio de suposio, quaisquer relaes entre as zonas no apenas as que so verdadeiras. Os diagramas de Euler (em conjunto com os de Venn) so largamente utilizados para ensinar a teoria dos conjuntos no campo da matemtica ou lgica matemtica no campo da lgica. Eles tambm podem ser utilizados para representar relacionamentos complexos com mais clareza, j que representa apenas as relaes vlidas. Em estudos mais aplicados esses diagramas podem ser utilizados para provar / analisar silogismos que so argumentos lgicos para que se possa deduzir uma concluso. Diagramas de Venn Designa-se por diagramas de Venn os diagramas usados em matemtica para simbolizar graficamente propriedades, axiomas e problemas relativos aos conjuntos e sua teoria. Os respetivos diagramas consistem de curvas fechadas simples desenhadas sobre um plano, de forma a simbolizar os conjuntos e permitir a representao das relaes de pertena entre conjuntos e seus elementos (por exemplo, 4 {3,4,5}, mas 4 {1,2,3,12}) e relaes de continncia (incluso) entre os conjuntos (por exemplo, {1, 3} {1, 2, 3, 4}). Assim, duas curvas que no se tocam e esto uma no espao interno da outra simbolizam conjuntos que possuem continncia; ao passo que o ponto interno a uma curva representa um elemento pertencente ao conjunto. Os diagramas de Venn so construdos com colees de curvas fechadas contidas em um plano. O interior dessas curvas representa, simbolicamente, a coleo de elementos do conjunto. De acordo com Clarence Irving Lewis, o princpio desses diagramas que classes (ou conjuntos) sejam representadas por regies, com tal relao entre si que todas as relaes lgicas possveis entre as classes possam ser indicadas no mesmo diagrama. Isto , o diagrama deixa espao para qualquer relao possvel entre as classes, e a relao dada ou existente pode ento ser definida indicando se alguma regio em especfico vazia ou no-vazia. Pode-se escrever uma definio mais formal do seguinte modo: Seja C = (C1, C2, ... Cn) uma coleo de curvas fechadas simples desenhadas em um plano. C uma famlia independente se a regio formada por cada uma das intersees X1 X2 ... Xn, onde cada Xi o interior ou o exterior de Ci, no-vazia, em outras palavras, se todas as curvas se intersectam de todas as maneiras possveis. Se, alm disso, cada uma dessas regies conexa e h apenas um nmero finito de pontos de interseo entre as curvas, ento C um diagrama de Venn para n conjuntos. Nos casos mais simples, os diagramas so representados por crculos que se encobrem parcialmente. As partes referidas em um enunciado especfico so marcadas com uma cor diferente. Eventualmente, os crculos so representados como completamente inseridos dentro de um retngulo, que representa o conjunto universo daquele particular contexto (j se buscou a existncia de um conjunto universo que pudesse abranger todos os conjuntos possveis, mas Bertrand Russell mostrou que tal tarefa era impossvel). A ideia de conjunto universo normalmente atribuda a Lewis Carroll. Do mesmo modo, espaos internos comuns a dois ou mais conjuntos representam a sua interseco, ao passo que a totalidade dos espaos pertencentes a um ou outro conjunto indistintamente representa sua unio. John Venn desenvolveu os diagramas no sculo XIX, ampliando e formalizando desenvolvimentos anteriores de Leibniz e Euler. E, na dcada de 1960, eles foram incorporados ao currculo escolar de matemtica. Embora seja simples construir diagramas de Venn para dois ou trs conjuntos, surgem dificuldades quando se tenta us-los para um nmero maior. Algumas construes possveis so devidas ao prprio John Venn e a outros matemticos como Anthony W. F. Edwards, Branko Grnbaum e Phillip Smith. Alm disso, encontram-se em uso outros diagramas similares aos de Venn, entre os quais os de Euler, Johnston, Pierce e Karnaugh. Dois Conjuntos: considere-se o seguinte exemplo: suponha-se que o conjunto A representa os animais bpedes e o conjunto B representa os animais capazes de voar. A rea onde os dois crculos se sobrepem, designada por interseco A e B ou interseco A-B, conteria todas as criaturas que ao mesmo tempo podem voar e tm apenas duas pernas motoras.
129

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO

Considere-se agora que cada espcie viva est representada por um ponto situado em alguma parte do diagrama. Os humanos e os pinguins seriam marcados dentro do crculo A, na parte dele que no se sobrepe com o crculo B, j que ambos so bpedes mas no podem voar. Os mosquitos, que voam mas tm seis pernas, seriam representados dentro do crculo B e fora da sobreposio. Os canrios, por sua vez, seriam representados na interseco A-B, j que so bpedes e podem voar. Qualquer animal que no fosse bpede nem pudesse voar, como baleias ou serpentes, seria marcado por pontos fora dos dois crculos. Assim, o diagrama de dois conjuntos representa quatro reas distintas (a que fica fora de ambos os crculos, a parte de cada crculo que pertence a ambos os crculos (onde h sobreposio), e as duas reas que no se sobrepem, mas esto em um crculo ou no outro): - Animais que possuem duas pernas e no voam (A sem sobreposio). - Animais que voam e no possuem duas pernas (B sem sobreposio). - Animais que possuem duas pernas e voam (sobreposio). - Animais que no possuem duas pernas e no voam (branco - fora). Essas configuraes so representadas, respectivamente, pelas operaes de conjuntos: diferena de A para B, diferena de B para A, interseco entre A e B, e conjunto complementar de A e B. Cada uma delas pode ser representada como as seguintes reas (mais escuras) no diagrama:

Diferena de A para B: A\B

Diferena de B para A: B\A

Interseco de dois conjuntos: AB


130

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO

Complementar de dois conjuntos: U \ (AB) Alm disso, essas quatro reas podem ser combinadas de 16 formas diferentes. Por exemplo, pode-se perguntar sobre os animais que voam ou tem duas patas (pelo menos uma das caractersticas); tal conjunto seria representado pela unio de A e B. J os animais que voam e no possuem duas patas mais os que no voam e possuem duas patas, seriam representados pela diferena simtrica entre A e B. Estes exemplos so mostrados nas imagens a seguir, que incluem tambm outros dois casos.

Unio de dois conjuntos: AB

Diferena Simtrica de dois conjuntos: AB

Complementar de A em U: AC = U \ A

Complementar de B em U: BC = U \ B Trs Conjuntos: Na sua apresentao inicial, Venn focou-se sobretudo nos diagramas de trs conjuntos. Alargando o exemplo anterior, poderia-se introduzir o conjunto C dos animais que possuem bico. Neste caso, o diagrama define sete reas distintas, que podem combinar-se de 256 (28) maneiras diferentes, algumas delas ilustradas nas imagens seguintes.
Didatismo e Conhecimento
131

MATEMTICA E RACIOCNIO LGICO

Diagrama de Venn mostrando todas as interseces possveis entre A, B e C.

Unio de trs conjuntos: ABC

Interseco de trs conjuntos: ABC

A \ (B C)

(B C) \ A
Didatismo e Conhecimento
132

MATEMTICA E RACIOCNIO LGICO


Proposies Categricas - 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: Algum A no B = Algum A no B = Algum no B A. Mas no equivalente a Algum B no A. Nas proposies categricas, usam-se tambm as variaes gramaticais dos verbos ser e estar, tais como , so, est, foi, eram, ..., como elo de ligao entre A e B. - Todo A B = Todo A no no B. - Algum A B = Algum A no no B. - Nenhum A B = Nenhum A no no B. - Todo A no B = Todo A no B. - Algum A no B = Algum A no B. - Nenhum A no B = Nenhum A no B. - Nenhum A B = Todo A no B. - Todo A B = Nenhum A no B. - A negao de Todo A B Algum A no B (e vice-versa). - A negao de Algum A B Nenhum A no B (e vice-versa). Verdade ou Falsidade das Proposies Categricas Dada a verdade ou a falsidade de qualquer uma das proposies categricas, isto , de Todo A B, Nenhum A B, Algum A B e Algum A no B, pode-se inferir de imediato a verdade ou a falsidade de algumas ou de todas as outras. 1. Se a proposio Todo A B verdadeira, ento temos as duas representaes possveis:

1 A

2 A = B

Nenhum A B. falsa. Algum A B. verdadeira. Algum A no B. falsa.


133

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


2. Se a proposio Nenhum A B verdadeira, ento temos somente a representao:

Todo A B. falsa. Algum A B. falsa. Algum A no B. verdadeira. 3. Se a proposio Algum A B verdadeira, temos as quatro representaes possveis:

1 A B

2 A B

3 A

4 A = B

Nenhum A B. falsa. Todo A B. Pode ser verdadeira (em 3 e 4) ou falsa (em 1 e 2). Algum A no B. Pode ser verdadeira (em 1 e 2) ou falsa (em 3 e 4) indeterminada. 4. Se a proposio Algum A no B verdadeira, temos as trs representaes possveis:

1 A B

2 A B

Todo A B. falsa. Nenhum A B. Pode ser verdadeira (em 3) ou falsa (em 1 e 2 indeterminada). Algum A B. Ou falsa (em 3) ou pode ser verdadeira (em 1 e 2 ideterminada).
134

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


QUESTES 01. Represente por diagrama de Venn-Euler (A) Algum A B (B) Algum A no B (C) Todo A B (D) Nenhum A B 02. (Especialista em Polticas Pblicas Bahia - FCC) Considerando todo livro instrutivo como uma proposio verdadeira, correto inferir que: (A) Nenhum livro instrutivo uma proposio necessariamente verdadeira. (B) Algum livro instrutivo uma proposio necessariamente verdadeira. (C) Algum livro no instrutivo uma proposio verdadeira ou falsa. (D) Algum livro instrutivo uma proposio verdadeira ou falsa. (E) Algum livro no instrutivo uma proposio necessariamente verdadeira. 03. Dos 500 msicos de uma Filarmnica, 240 tocam instrumentos de sopro, 160 tocam instrumentos de corda e 60 tocam esses dois tipos de instrumentos. Quantos msicos desta Filarmnica tocam: (A) instrumentos de sopro ou de corda? (B) somente um dos dois tipos de instrumento? (C) instrumentos diferentes dos dois citados? 04. (TTN - ESAF) Se verdade que Alguns A so R e que Nenhum G R, ento necessariamente verdadeiro que: (A) algum A no G; (B) algum A G. (C) nenhum A G; (D) algum G A; (E) nenhum G A; 05. Em uma classe, h 20 alunos que praticam futebol mas no praticam vlei e h 8 alunos que praticam vlei mas no praticam futebol. O total dos que praticam vlei 15. Ao todo, existem 17 alunos que no praticam futebol. O nmero de alunos da classe : (A) 30. (B) 35. (C) 37. (D) 42. (E) 44. 06. Um colgio oferece a seus alunos a prtica de um ou mais dos seguintes esportes: futebol, basquete e vlei. Sabe-se que, no atual semestre: - 20 alunos praticam vlei e basquete. - 60 alunos praticam futebol e 55 praticam basquete. - 21 alunos no praticam nem futebol nem vlei. - o nmero de alunos que praticam s futebol idntico ao nmero de alunos que praticam s vlei. - 17 alunos praticam futebol e vlei. - 45 alunos praticam futebol e basquete; 30, entre os 45, no praticam vlei. O nmero total de alunos do colgio, no atual semestre, igual a: (A) 93 (B) 110 (C) 103 (D) 99 (E) 114
Didatismo e Conhecimento
135

MATEMTICA E RACIOCNIO LGICO


07. Numa pesquisa, verificou-se que, das pessoas entrevistadas, 100 liam o jornal X, 150 liam o jornal Y, 20 liam os dois jornais e 110 no liam nenhum dos dois jornais. Quantas pessoas foram entrevistadas? (A) 220 (B) 240 (C) 280 (D) 300 (E) 340 08. Em uma entrevista de mercado, verificou-se que 2.000 pessoas usam os produtos C ou D. O produto D usado por 800 pessoas e 320 pessoas usam os dois produtos ao mesmo tempo. Quantas pessoas usam o produto C? (A) 1.430 (B) 1.450 (C) 1.500 (D) 1.520 (E) 1.600 09. Sabe-se que o sangue das pessoas pode ser classificado em quatro tipos quanto a antgenos. Em uma pesquisa efetuada num grupo de 120 pessoas de um hospital, constatou-se que 40 delas tm o antgeno A, 35 tm o antgeno B e 14 tm o antgeno AB. Com base nesses dados, quantas pessoas possuem o antgeno O? (A) 50 (B) 52 (C) 59 (D) 63 (E) 65 10. Em uma universidade so lidos dois jornais, A e B. Exatamente 80% dos alunos leem o jornal A e 60% leem o jornal B. Sabendo que todo aluno leitor de pelo menos um dos jornais, encontre o percentual que leem ambos os jornais. (A) 40% (B) 45% (C) 50% (D) 60% (E) 65% Respostas

Didatismo e Conhecimento

136

MATEMTICA E RACIOCNIO LGICO


02. Resposta B.

instrutivo livro

A opo A descartada de pronto: nenhum livro instrutivo implica a total dissociao entre os diagramas. E estamos com a situao inversa. A opo B perfeitamente correta. Percebam como todos os elementos do diagrama livro esto inseridos no diagrama instrutivo. Resta necessariamente perfeito que algum livro instrutivo. 03. Seja C o conjunto dos msicos que tocam instrumentos de corda e S dos que tocam instrumentos de sopro. Chamemos de F o conjunto dos msicos da Filarmnica. Ao resolver este tipo de problema faa o diagrama, assim voc poder visualizar o problema e sempre comece a preencher os dados de dentro para fora. Passo 1: 60 tocam os dois instumentos, portanto, aps fazermos o diagrama, este nmero vai no meio. Passo 2: a)160 tocam instrumentos de corda. J temos 60. Os que s tocam corda so, portanto 160 - 60 = 100 b) 240 tocam instrumento de sopro. 240 - 60 = 180 Vamos ao diagrama, preenchemos os dados obtidos acima:

Com o diagrama completamente preenchido, fica fcil achara as respostas: Quantos msicos desta Filarmnica tocam: a) instrumentos de sopro ou de corda? Pelos dados do problema: 100 + 60 + 180 = 340 b) somente um dos dois tipos de instrumento? 100 + 180 = 280 c) instrumentos diferentes dos dois citados? 500 - 340 = 160 04. Esta questo traz, no enunciado, duas proposies categricas: - Alguns A so R - Nenhum G R Devemos fazer a representao grfica de cada uma delas por crculos para ajudar-nos a obter a resposta correta. Vamos iniciar pela representao do Nenhum G R, que dada por dois crculos separados, sem nenhum ponto em comum.

110

Didatismo e Conhecimento

137

MATEMTICA E RACIOCNIO LGICO


Como j foi visto, no h uma representao grfica nica para a proposio categrica do Alguns A so R, mas geralmente a representao em que os dois crculos se interceptam (mostrada abaixo) tem sido suficiente para resolver qualquer questo.

Agora devemos juntar os desenhos das duas proposies categricas para analisarmos qual a alternativa correta. Como a questo no informa sobre a relao entre os conjuntos A e G, ento teremos diversas maneiras de representar graficamente os trs conjuntos (A, G e R). A alternativa correta vai ser aquela que verdadeira para quaisquer dessas representaes. Para facilitar a soluo da questo no faremos todas as representaes grficas possveis entre os trs conjuntos, mas sim, uma (ou algumas) representao(es) de cada vez e passamos a analisar qual a alternativa que satisfaz esta(s) representao(es), se tivermos somente uma alternativa que satisfaa, ento j achamos a resposta correta, seno, desenhamos mais outra representao grfica possvel e passamos a testar somente as alternativas que foram verdadeiras. Tomemos agora o seguinte desenho, em que fazemos duas representaes, uma em que o conjunto A intercepta parcialmente o conjunto G, e outra em que no h interseco entre eles.

Teste das alternativas: Teste da alternativa A (algum A no G). Observando os desenhos dos crculos, verificamos que esta alternativa verdadeira para os dois desenhos de A, isto , nas duas representaes h elementos em A que no esto em G. Passemos para o teste da prxima alternativa. Teste da alternativa B (algum A G). Observando os desenhos dos crculos, verificamos que, para o desenho de A que est mais a direita, esta alternativa no verdadeira, isto , tem elementos em A que no esto em G. Pelo mesmo motivo a alternativa D no correta. Passemos para a prxima. Teste da alternativa C (Nenhum A G). Observando os desenhos dos crculos, verificamos que, para o desenho de A que est mais a esquerda, esta alternativa no verdadeira, isto , tem elementos em A que esto em G. Pelo mesmo motivo a alternativa E no correta. Portanto, a resposta a alternativa A. 05. Resposta E.

n = 20 + 7 + 8 + 9 n = 44

Didatismo e Conhecimento

138

MATEMTICA E RACIOCNIO LGICO


06. Resposta D. n(FeB) = 45 e n(FeB -V) = 30 n(FeBeV) = 15 n(FeV) = 17 com n(FeBeV) = 15 n(FeV - B) = 2 n(F) = n(s F) + n(FeB-V) + n(FeV -B) + n(FeBeV) 60 = n(s F) + 30 + 2 + 15 n(s F) = 13 n(sF) = n(sV) = 13 n(B) = n(s B) + n(BeV) + n(BeF-V) n(s B) = 65 - 20 30 = 15 n(nem F nem B nem V) = n(nem F nem V) - n(solo B) = 21- 15 = 6 Total = n(B) + n(s F) + n(s V) + n(Fe V - B) + n(nemF nemB nemV) = 65 + 13 + 13 + 2 + 6 = 99.

07. Resposta E.

Comeamos resolvendo pelo que comum: 20 alunos gostam de ler os dois. Leem somente A: 100 20 = 80 Leem somente B: 150 20 = 130 Totaliza: 80 + 20 + 130 + 110 = 340 pessoas. 08. Resposta D.

Somente B: 800 320 = 480 Usam A = total somente B = 2000 480 = 1520.

Didatismo e Conhecimento

139

MATEMTICA E RACIOCNIO LGICO


09. Resposta C.

Comea-se resolvendo pelo AB, ento somente A = 40 14 = 26 e somente B = 35 14 = 21. Somando-se A, B e AB tm-se 61, ento o O so 120 61 = 59 pessoas. 10. Resposta A. - Jornal A 0,8 x - Jornal B 0,6 x - Interseco x Ento fica: (0,8 - x) + (0,6 - x) + x = 1 - x + 1,4 = 1 - x = - 0,4 x = 0,4. Resposta 40% dos alunos leem ambos os jornais. Lgica de Primeira Ordem O clculo proposicional possui limitaes com respeito a codificao de sentenas declarativas. De fato, o clculo proposicional manipula de forma satisfatria componentes das sentenas como no, e, ou, se ... ento, mas certos aspectos lgicos que aparecem em linguagens naturais ou artificiais so muito mais ricos. Por exemplo, como expressar coisas do tipo: Existe... e Para todo... na lgica proposicional? Exemplo: Considere a seguinte sentena declarativa: Todo estudante mais jovem do que algum instrutor. Na lgica proposicional podemos identificar esta sentena com uma varivel proposicional p. No entanto, esta codificao no reflete os detalhes da estrutura lgica desta sentena. De que trata esta sentena? - Ser um estudante. - Ser um instrutor. - Ser mais jovem do que algum. Para expressar estas propriedades utilizaremos predicados. Por exemplo, podemos escrever estudante (ana) para denotar que Ana uma estudante. Da mesma forma podemos escrever instrutor (marcos) para denotar que Marcos um instrutor. Por fim, podemos escrever jovem (ana, marcos) para denotar que Ana mais jovem do que Marcos. Nestes exemplos, estudante, instrutor e jovem so exemplos de predicados. Ainda precisamos codificar as noes de todo e algum. Para isto introduziremos o conceito de varivel. Variveis sero denotadas por letras latinas minsculas do final do alfabeto: u, v, w, x, y, z (possivelmente acrescidas de sub-ndices x1, x2, ...). Variveis devem ser pensadas como lugares vazios que podem ser preenchidos (ou instanciados) por elementos concretos, como Joo, Maria, etc. Utilizando variveis podemos especificar o significado dos predicados estudante, instrutor e jovem de uma maneira mais formal: - estudante (x): x um estudante.
Didatismo e Conhecimento
140

MATEMTICA E RACIOCNIO LGICO


- instrutor (x): x um instrutor. - jovem (x, y): x mais jovem do que y. Note que o nome das variveis no importante. equivalente a: - estudante (x): x um estudante. - estudante(y): y um estudante. Para que possamos finalmente expressar em detalhes a sentena apresentada no exemplo precisamos codificar o significado de Todo e algum em Todo estudante mais jovem do que algum instrutor. Os quantificadores e fazem este trabalho: : significa para todo; : significa existe. Os quantificadores e esto sempre ligados a alguma varivel: : para todo x; x : existe um x (ou existe algum x). x Agora podemos finalmente codificar a sentena: Todo estudante mais jovem do que algum instrutor. Da seguinte forma:
x

(estudante (x) (y (instrutor (y) jovem (x, y))))

Note que predicados diferentes podem ter um nmero distinto de argumentos: os predicados estudante e instrutor admitem apenas um argumento e por isto so chamados de predicados unrios, enquanto que o predicado jovem admite dois argumentos, e portanto um predicado binrio. O nmero de argumentos de um predicado chamado sua aridade. Assim, os predicados unrios tm aridade 1, enquanto que os predicados binrios tm aridade 2, etc. No clculo de predicados so permitidos predicados com qualquer aridade finita. Exemplo: Considere a sentena: Nem todos os pssaros podem voar. Escolhemos os seguintes predicados para expressar esta sentena: - pssaro(x): x um pssaro. - voar (x): x pode voar. Esta sentena pode ser codificada da seguinte forma: (x (pssaro (x) voar(x))) Exemplo: Uma outra maneira de expressar a mesma ideia da sentena anterior dizer que: Existem alguns pssaros que no podem voar. Esta ltima sentena pode ser codificada da seguinte maneira:
x

(pssaro (x) voar(x))

Posteriormente veremos que as duas codificaes dadas so semanticamente equivalentes. De fato, existem transformaes que convertem uma na outra. O vocabulrio da lgica de primeira ordem consiste de trs conjuntos: - Um conjunto P de smbolos de predicado; - Um conjunto F de smbolos de funo; - Um conjunto C de constantes. Onde cada smbolo de predicado e de funo vem com sua aridade bem definida. Os predicados so casos especiais de funo: enquanto as funes possuem contradomnio qualquer, os predicados tm contradomnio sempre igual a {V,F}. As constantes so funes de aridade 0.

Didatismo e Conhecimento

141

MATEMTICA E RACIOCNIO LGICO


Termos so definidos da seguinte forma: - Qualquer varivel um termo; - Se c F uma funo de aridade 0 ento c um termo; - Se t1, ... , tn so termos e f F uma funo de aridade n > 0 ento f (t1, ... , tn) um termo. - Nada mais termo. Em BNF (Backus Naur form) temos: t :: = x | c | f (t, ... , t) Onde x percorre o conjunto de variveis V, c percorre os smbolos de funo de aridade 0 de F e f percorre os elementos de aridade maior do que 0 de F. Exemplo: Suponha que n, f e g so smbolos de funo de aridade respectivamente igual a 0, 1 e 2. Ento g (f (n), n) e f (g (n, f (n))) so termos, mas g(n) e f (f (n), n) no so termos por violarem as aridades dos smbolos. A escolha dos conjuntos P e F para smbolos de predicado e de funo definida a partir do que se pretende descrever. Definimos o conjunto de frmulas sobre o conjunto S = (F, P) indutivamente da seguinte forma: - Se p P um smbolo de predicado de aridade n > 0, e se t1, ... , tn so termos sobre F ento p (t1, .... , tn) uma frmula. - Se uma frmula ento () tambm uma frmula. - Se e so frmulas ento ( ), ( V ), ( ) e ( ) so frmulas. - Se uma frmula e x uma varivel ento (x) e (x) tambm so frmulas. - Nada mais frmula. Em BNF temos: :: = p (t1, ... , tn) | () | ( ) | ( V ) | ( ) | ( ) | ((x) | ((x) Onde p um smbolo de predicado de aridade n > 0, ti so termos sobre F e x uma varivel. Adotaremos a seguinte prioridade de operadores: 1. , , ; 2. , V; 3. , . Exemplo: Considere a seguinte sentena: Todo filho de meu pai meu irmo. Podemos codificar esta frmula de pelo menos duas formas distintas: 1. Representando a noo de pai como predicado: Neste caso escolhemos trs predicados: filho, pai e irmo com os seguintes significados e aridades: - filho (x, y): x filho de y. - pai (x, y): x pai de y. - irmo (x, y): x irmo de y. Uma possvel codificao para a sentena dada utilizando estes predicados :
xy

(pai (x, Joo) filho (y, x) irmo (y, Joo))

Dizendo que: para todo x e todo y, se x o pai de Joo e se y um filho de x ento y um irmo de Joo. Representando a noo de pai como funo, que chamaremos de f: Neste caso, f(x) retorna o pai de x. Note que isto funciona apenas porque o pai de uma dado x nico e est sempre definido, e portanto f realmente uma funo. Uma possvel codificao para esta sentena dada por:
x

(filho (x, f(Joo) irmo (y, Joo))


142

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Significando que para todo x, se x um filho do pai de Joo ento x um irmo de Joo. Esta codificao menos complexa que a anterior porque envolve apenas um quantificador. Especificaes formais em geral exigem um domnio de conhecimento. Muitas vezes este conhecimento no est explicitado no domnio. Sendo assim, um especificador pode desconsiderar restries importantes para um modelo ou implementao. Por exemplo, as codificaes dadas no exemplo anterior podem parecer corretas, mas e se x for igual a Joo? Se o domnio de relaes de parentesco no um conhecimento comum o especificador pode no notar que uma pessoa no pode ser irmo dela mesma. A abrangncia de x (respectivamente, x) em x (respectivamente, x) . Uma ocorrncia de uma varivel ligada numa frmula, uma ocorrncia de uma varivel x, dentro do campo de abrangncia de um quantificador x ou x. Uma ocorrncia de uma varivel livre uma ocorrncia de uma varivel x no ligada. Exemplo: Na frmula x (p(f(x), y) q(x)), as duas ocorrncias da varivel x so ligadas, enquanto a ocorrncia da varivel y livre. Na frmula x p(f(x), y) q(x) a primeira ocorrncia da varivel x ligada, no entanto a segunda livre. Dada uma varivel x, um termo t e uma frmula , definimos [x/t] como sendo a frmula obtida aps substituir cada ocorrncia livre de x em por t. Exemplo: Considere novamente a frmula x ((p(x) q(x)) s(x, y)), que chamaremos simplesmente de . Temos que [x/f(x, y)] = . De fato, todas as ocorrncias de x em so ligadas, e portanto a substituio [x/f(x, y)] no tem nenhum efeito sobre esta frmula. Exemplo: Agora considere a frmula (x (p(x) q(x))) (p(x) V q(y)) que chamaremos simplesmente de . Neste caso temos uma ocorrncia livre de x e, portanto [x/f(x, y)] igual a (x (p(x) q(x))) (p(f(x, y)) V q(y)). As substituies podem produzir efeitos colaterais indesejados: Considere o termo f(x, y) e a frmula y (p(x, y)). Ento (y (p(x, y))) [x/f(x, y)] resulta na frmula (y (p(f(x, y), y))) se fizermos uma substituio ingnua. Observe que o termo resultante possui uma semntica diferente da esperada porque a varivel y do termo f(x, y) no corresponde a varivel y quantificada universalmente na frmula dada. Como resolver este problema? Dados um termo t, uma varivel x e uma frmula , dizemos que t livre para x em se nenhuma ocorrncia livre de x em est no escopo de (y ou y para qualquer varivel y que ocorra em t. Exemplo: Considere a frmula s(x) y (p(x) q(y)), que possui duas ocorrncias livres de x. A ocorrncia de x mais a esquerda poderia, por exemplo, ser substituda pelo termo f(y, y), no entanto a outra ocorrncia no poderia ser substituda por este termo porque tal substituio acarretaria captura da varivel y. Quando precisamos realizar uma substituio de um termo t que no est livre para uma varivel x em uma frmula , o que fazemos renomear as variveis ligadas para evitar capturas: Exemplo: No caso do exemplo anterior, a substituio de x por f(y, y) em s(x) y (p(x) q(y)) pode ser resolvida renomeando a varivel ligada y da frmula para algum nome novo, por exemplo : s(x) (p(x) q()). Agora a substituio pode ser realizada sem provocar captura de variveis. O ingrediente novo da lgica de primeira ordem no encontrado na lgica proposicional a quantificao: dada uma sentena qualquer, as novas construes x e x - leia para todo x, e para algum x, , respectivamente so introduzidas. x significa que verdadeiro para todo valor de x e x significa que h pelo menos um x tal que verdadeiro. Os valores das variveis so tirados de um universo de discurso pr-determinado. Um refinamento da lgica de primeira ordem permite variveis de diferentes tipos, para tratar de diferentes classes de objetos. A lgica de primeira ordem tem poder expressivo suficiente para formalizar praticamente toda a matemtica. Uma teoria de primeira ordem consiste em um conjunto de axiomas (geralmente finitos ou recursivamente enumervel) e de sentenas dedutveis a partir deles. A teoria dos conjuntos de Zermelo-Fraenkel um exemplo de uma teoria de primeira ordem, e aceita-se geralmente que toda a matemtica clssica possa ser formalizada nela. H outras teorias que so normalmente formalizadas na lgica de primeira ordem de maneira independente (embora elas admitam a implementao na teoria dos conjuntos) tais como a aritmtica de Peano. Um clculo de predicados consiste em: - regras de formao (definies recursivas para dar origem a frmulas bem-formadas ou FBFs). - regras de transformao (regras de inferncia para derivar teoremas). - axiomas.
143

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Os axiomas considerados aqui so os axiomas lgicos que fazem parte do clculo de predicados. Alm disso, os axiomas no-lgicos so adicionados em teorias de primeira ordem especficas: estes no so considerados como verdades da lgica, mas como verdades da teoria particular sob considerao. Quando o conjunto dos axiomas infinito, requer-se que haja um algoritmo que possa decidir para uma frmula bem-formada dada, se ela um axioma ou no. Deve tambm haver um algoritmo que possa decidir se uma aplicao dada de uma regra de inferncia est correta ou no. importante notar que o clculo de predicados pode ser formalizado de muitas maneiras equivalentes; no h nada cannico sobre os axiomas e as regras de inferncia propostos aqui, mas toda a formalizao dar origem aos mesmos teoremas da lgica (e deduzir os mesmos teoremas a partir de um conjunto qualquer de axiomas no-lgicos). Alfabeto O alfabeto de 1 ordem, , tem a seguinte constituio: = X C F R L P, onde X = {x, y, z, x1, x2, ..., y1, y2, ..., z1, z2, ...} um conjunto enumervel de variveis; C = {a, b, c, a1, a2, ..., b1, b2, ..., c1, c2, ...} um conjunto de smbolos chamados de constantes; F = {F1, F2, ...} um conjunto de smbolos ditos sinais funcionais; R = {R1, R2, ...} um conjunto de smbolos ditos sinais relacionais ou predicativos; L = {, , V, , , , } o conjunto de smbolos ditos sinais lgicos; P = {(,),,} o conjunto de smbolos de pontuao. As constantes, sinais funcionais e sinais predicativos constituem a coleo de sinais ditos smbolos no lgicos. H diversas variaes menores listadas abaixo: O conjunto de smbolos primitivos (operadores e quantificadores) varia frequentemente. Alguns smbolos primitivos podem ser omitidos, substituindo-os com abreviaturas adequadas; por exemplo (p q) uma abreviatura para (p q) (q p). No sentido contrrio, possvel incluir outros operadores como smbolos primitivos, como as constantes de verdade para verdadeiro e o para falso (estes so operadores do aridade 0). O nmero mnimo dos smbolos primitivos necessrios um, mas se ns nos restringirmos aos operadores listados acima, seria necessrio trs; por exemplo, o , o , e o bastariam. Alguns livros mais velhos usam a notao para , ~ para , & para , e uma riqueza de notaes para os quantificadores; por exemplo, x pode ser escrito como (x). A igualdade s vezes considerada como parte da lgica de primeira ordem; Neste caso, o smbolo da igualdade ser includo no alfabeto, e comportar-se- sintaticamente como um predicado binrio. Assim a LPO ser chamada de lgica de primeira ordem com igualdade. As constantes so na verdade funes de aridade 0, assim seria possvel e conveniente omitir constantes e usar as funes que tenham qualquer aridade. Mas comum usar o termo funo somente para funes de aridade 1. Na definio acima, as relaes devem ter pelo menos aridade 1. possvel permitir relaes de aridade 0; estas seriam consideradas variveis proposicionais. H muitas convenes diferentes sobre onde pr parnteses; por exemplo, se pode escrever x ou (x). s vezes se usa dois pontos ou ponto final ao invs dos parnteses para criar frmulas no ambguas. Uma conveno interessante, mas incomum, a notao polonesa, onde se omite todos os parnteses, e escreve-se o , , e assim por diante na frente de seus argumentos. A notao polonesa compacta e elegante, mas rara e de leitura complexa. Uma observao tcnica que se houver um smbolo de funo de aridade 2 que representa um par ordenado (ou smbolos de predicados de aridade 2 que representam as relaes de projeo de um par ordenado) ento se pode dispensar inteiramente as funes ou predicados de aridade > 2. Naturalmente o par ou as projees necessitam satisfazer aos axiomas naturais. Os conjuntos das constantes, das funes, e das relaes compem a assinatura e so geralmente considerados para dar forma a uma linguagem, enquanto as variveis, os operadores lgicos, e os quantificadores so geralmente considerados para pertencer lgica. Uma estrutura d o significado semntico de cada smbolo da assinatura. Por exemplo, a linguagem da teoria dos grupos consiste de uma constante (elemento da identidade), de uma funo de aridade 1 (inverso), de uma funo de aridade 2 (produto), e de uma relao de aridade 2 (igualdade), que seria omitida pelos autores que incluem a igualdade na lgica subjacente. Regras de Formao As regras de formao definem os termos, frmulas, e as variveis livres como segue. O conjunto dos termos definido recursivamente pelas seguintes regras: - Qualquer constante um termo (sem variveis livres).
144

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


- Qualquer varivel um termo (cuja nica varivel livre ela mesma). - Toda expresso f (t1,, tn) de n 1 argumentos (onde cada argumento ti um termo e f um smbolo de funo de aridade n) um termo. Suas variveis livres so as variveis livres de cada um dos termos ti. - Clusula de fechamento: Nada mais um termo. O conjunto das frmulas bem-formadas (chamadas geralmente FBFs ou apenas frmulas) definido recursivamente pelas seguintes regras: - Predicados simples e complexos: se P for uma relao de aridade n 1 e os ai so os termos ento P (a1, ..., an) bem formada. Suas variveis livres so as variveis livres de quaisquer termos ai. Se a igualdade for considerada parte da lgica, ento (a1 = a2) bem formada. Tais frmulas so ditas atmicas. - Clusula indutiva I: Se for uma FBF, ento uma FBF. Suas variveis livres so as variveis livres de . - Clusula indutiva II: Se e so FBFs, ento ( ), ( V ), ( ), ( ) so FBFs. Suas variveis livres so as variveis livres de e de . - Clusula indutiva III: Se for uma FBF e x for um varivel, ento x e x so FBFs, cujas variveis livres so as variveis livres de com exceo de x. Ocorrncias de x so ditas ligadas ou mudas (por oposio a livre) em x e x. - Clusula de fechamento: Nada mais uma FBF. Na prtica, se P for uma relao de aridade 2, ns escrevemos frequentemente a P b em vez de P a b; por exemplo, ns escrevemos 1 < 2 em vez de < (1 2). Similarmente se f for uma funo de aridade 2, ns escrevemos s vezes a f b em vez de f (a b); por exemplo, ns escrevemos 1 + 2 em vez de + (1 2). tambm comum omitir alguns parnteses se isto no conduzir ambiguidade. s vezes til dizer que P(x) vale para exatamente um x, o que costuma ser denotado por !xP(x). Isto tambm pode ser expresso por x (P (x) y (P (y) (x = y))). Exemplos: A linguagem dos grupos abelianos ordenados tem uma constante 0, uma funo unria , uma funo binria +, e uma relao binria . Assim: - [0, x, y so termos atmicos]; - [+ (x, y), + (x, + (y, (z))) so termos, escritos geralmente como x + y, x + (y + (z))]; - [= (+ (x, y), 0), (+ (x, + (y, (z))), + (x, y)) so frmulas atmicas, escritas geralmente como x + y = 0, x + y - z x + y,]; - [(x y (+ (x, y), z)) (x = (+ (x, y), 0)) uma frmula, escrita geralmente como (x y (x + y z)) (x (x + y = 0))]. Substituio: Se t um termo e (x) uma frmula que contm possivelmente x como uma varivel livre, ento (t) se definido como o resultado da substituio de todas as instncias livres de x por t, desde que nenhuma varivel livre de t se torne ligada neste processo. Se alguma varivel livre de t se tornar ligada, ento para substituir t por x primeiramente necessrio mudar os nomes das variveis ligadas de para algo diferente das variveis livres de t. Para ver porque esta condio necessria, considere a frmula (x) dada por y y x (x mximal). Se t for um termo sem y como varivel livre, ento (t) diz apenas que t maximal. Entretanto se t y, a frmula (y) y y y que no diz que y mximal. O problema de que a varivel livre y de t (=y) se transformou em ligada quando ns substitumos y por x em (x). Assim, para construir (y) ns devemos primeiramente mudar a varivel ligada y de para qualquer outra coisa, por exemplo a varivel z, de modo que o (y) seja ento z z y. Esquecer desta condio uma causa notria de erros. Igualdade: H diversas convenes diferentes para se usar a igualdade (ou a identidade) na lgica de primeira ordem. Esta seo resume as principais. Todas as convenes resultam mais ou menos no mesmo com mais ou menos a mesma quantidade de trabalho, e diferem principalmente na terminologia. A conveno mais comum para a igualdade incluir o smbolo da igualdade como um smbolo lgico primitivo, e adicionar os axiomas da igualdade aos axiomas da lgica de primeira ordem. Os axiomas de igualdade so x=x x = y F(, x, ) = F(, y, ) para qualquer funo F x = y (R(, x, ) R(, y, )) para qualquer relao R (incluindo a prpria igualdade) A prxima conveno mais comum incluir o smbolo da igualdade como uma das relaes de uma teoria, e adicionar os axiomas da igualdade aos axiomas da teoria. Na prtica isto quase idntico da conveno precedente, exceto no exemplo incomum de teorias com nenhuma noo de igualdade. Os axiomas so os mesmos, e a nica diferena se eles sero chamados de axiomas lgicos ou de axiomas de teoria. Nas teorias sem funes e com um nmero finito de relaes, possvel definir a igualdade em termos de relaes, definindo os dois termos s e t como iguais se qualquer relao continuar inalterada ao se substituir s por t em qualquer argumento. Por exemplo, em teoria dos conjuntos com uma relao , ns definiramos s = t como uma abreviatura para x (s x t x) x (x s x t). Esta definio de igualdade satisfaz automaticamente os axiomas da igualdade. Em algumas teorias possvel dar definies de igualdade ad hoc. Por exemplo, em uma teoria de ordens parciais com uma relao ns poderamos definir s = t como uma abreviatura para s t t s.
Didatismo e Conhecimento
145

MATEMTICA E RACIOCNIO LGICO


Regras de Inferncia A regra de inferncia modus ponens a nica necessria para a lgica proposicional de acordo com a formalizao proposta aqui. Ela diz que se e so ambos demonstrados, ento pode-se deduzir . A regra de inferncia chamada Generalizao Universal caracterstica da lgica de primeira ordem: Se , ento x onde se supe que um teorema j demonstrado da lgica de primeira ordem. Observe que a Generalizao anloga regra da necessitao da lgica modal, que : Se P, ento xP Limitaes: Apesar da Lgica de Primeira Ordem ser suficiente para formalizar uma grande parte da matemtica, e tambm ser comumente usada em Cincia da Computao e outras reas, ela tem as suas limitaes. Suas limitaes incluem limitaes em sua expressividade e limitaes com relao aos fragmentos das lnguas naturais que pode descrever. Expressividade: O teorema de LwenheimSkolem mostra que se uma teoria de primeira ordem tem um modelo infinito, ento a teoria tambm tem modelos de todas as cardinalidades infinitas. Em particular, nenhuma teoria de primeira ordem com um modelo infinito pode ser categrica. Assim, no h uma teoria de primeira ordem cujo nico modelo tem o conjunto dos nmeros naturais como domnio, ou cujo nico modelo tem o conjunto dos nmeros reais como domnio. Vrias extenses da Lgica de Primeira-Ordem, incluindo a Lgica de Ordem Superior e a Lgica Infinitria, so mais expressivas no sentido de que elas admitem axiomatizaes categricas dos nmeros naturais ou reais. Essa expressividade tem um custo em relao s propriedades meta-lgicas; de acordo com o Teorema de Lindstrm, qualquer lgica que seja mais forte que a lgica de primeira ordem falhar em validar o teorema da compaccidade ou em validar o teorema de LwenheimSkolem. Formalizando as Lnguas Naturais A lgica de primeira ordem capaz de formalizar vrios quantificadores na lingua natural, como todas as pessoas que moram em Paris, moram na Frana. Mas existem vrias caractersticas que no podem ser expressas na lgica de primeira ordem. Qualquer sistema lgico que apropriado para analisar lnguas naturais, precisa de uma estrutura muito mais rica que a lgica de primeira ordem (Gamut 1991).
Tipo Quantificadores sobre as propriedades Quantificadores sobre as propriedades Predicado adverbial Adjetivo Relativo Modificador do predicado adverbial Modificador do adjetivo relativo Preposies Exemplo Se Rafael for satisfeito consigo mesmo, ento ele tem pelo menos uma coisa em comum com Roberta Papai Noel tem todos os atributos de um sadista Luiz est andando rpido Comentrio Requer quantificadores sobre os predicados, os quais no podem ser implementados com a lgica de primeira ordem (unicamente ordenada): Zj X(XjXp) Requer quantificadores sobre os predicados, os quais no podem ser implementados com a lgica de primeira ordem (unicamente ordenada): X(x(Sx Xx)Xs) No pode ser analisado como Wj Qj; predicados adverbiais no so a mesma coisa que predicados de segunda ordem, como cores No podem ser analisados como Sj Ej; predicados adjetivados no so a mesma coisa que predicados de segunda ordem, como cores Uma expresso como extremamente , quando usado com um adjetivo relativo pequena, resulta em um novo adjetivo relativo: extremamente pequena A preposio ao lado de quando aplicada a Luiz, resulta em um predicado adverbial ao lado de Luiz

Jumbo um elefante pequeno

Anderson est andando muito rpido

Roberta extremamente pequena Alberto est sentado ao lado de Danilo

Didatismo e Conhecimento

146

MATEMTICA E RACIOCNIO LGICO


Axiomas e Regras Os cinco axiomas lgicos mais as duas regras de inferncia seguintes caracterizam a lgica de primeira ordem: Axiomas:

Regras de Inferncia Modus Ponens: Generalizao Universal: Estes axiomas so na realidade esquemas de axiomas. Cada letra grega pode ser uniformemente substituda, em cada um dos axiomas acima, por uma FBF qualquer, e uma expresso do tipo [t:= x] denota o resultado da substituio de x por t na frmula . Clculo de Predicados O clculo de predicado uma extenso da lgica proposicional que define quais sentenas da lgica de primeira ordem so demonstrveis. um sistema formal usado para descrever as teorias matemticas. Se o clculo proposicional for definido por um conjunto adequado de axiomas e a nica regra de inferncia modus ponens (isto pode ser feito de muitas maneiras diferentes, ento o clculo de predicados pode ser definido adicionando-se alguns axiomas e uma regra de inferncia generalizao universal. Mais precisamente, como axiomas para o clculo de predicado, teremos: - Os axiomas circunstanciais do clculo proposicional (A1, A2 e A3); - Os axiomas dos quantificadores (A4 e A5); - Os axiomas para a igualdade propostos em seo anterior, se a igualdade for considerada como um conceito lgico. Uma sentena ser definida como demonstrvel na lgica de primeira ordem se puder ser obtida comeando com os axiomas do clculo de predicados e aplicando-se repetidamente as regras de inferncia modus ponens e generalizao universal. Se ns tivermos uma teoria T (um conjunto de sentenas, s vezes chamadas axiomas) ento uma sentena se define como demonstrvel na teoria T se a b ... demonstrvel na lgica de primeira ordem (relao de consequncia formal), para algum conjunto finito de axiomas a, b, ... da teoria T. Um problema aparente com esta definio de demonstrabilidade que ela parece um tanto ad hoc: ns tomamos uma coleo aparentemente aleatria de axiomas e de regras de inferncia, e no bvio que no tenhamos acidentalmente deixado de fora algum axioma ou regra fundamental. O teorema da completude de Gdel nos assegura de que este no realmente um problema: o teorema diz que toda sentena verdadeira em todos os modelos demonstrvel na lgica de primeira ordem. Em particular, toda definio razovel de demonstrvel na lgica de primeira ordem deve ser equivalente definio acima (embora seja possvel que os comprimentos das derivaes difira bastante para diferentes definies de demonstrabilidade). H muitas maneiras diferentes (mas equivalentes) de definir provabilidade. A definio acima um exemplo tpico do clculo no estilo de Hilbert, que tem muitos axiomas diferentes, mas poucas regras de inferncia. As definies de demonstrabilidade para a lgica de primeira ordem nos estilos de Gentzen (deduo natural e clculo de sequentes) so baseadas em poucos ou nenhum axiomas, mas muitas regras de inferncia.

Didatismo e Conhecimento

147

MATEMTICA E RACIOCNIO LGICO


Algumas Equivalncias

Algumas Regras de Inferncia

(se c for uma varivel, ento no deve ser quantificada em P(x)). (x no deve aparecer livre em P(c)). QUESTES 01. (CESGRANRIO - 2010 - Petrobrs) Parte superior do formulrio Dadas as sentenas A e B da lgica de primeira ordem, onde A a sentena e B a sentena , tem-se que (A) A consequncia da lgica de B. (B) B consequncia da lgica de A. (C) A consequncia da lgica de B. (D) B consequncia da lgica de A. (E) B consequncia da lgica de A. 02. (CESGRANRIO - 2010 - Petrobrs) Parte superior do formulrio Considere o conjunto de conectivos lgicos da lgica sentencial. Por definio, um conjunto de operadores B completo se somente se todos os operadores de A podem ser expressos em funo do(s) operador(es) de B. Analise as afirmativas a seguir: I- um conjunto de operadores completo. II- um conjunto de operadores completo. III- um conjunto de operadores completo. IV- um conjunto de operadores completo. V- um conjunto de operadores completo. Conclui-se que (A) uma das afirmativas acima verdadeira e quatro so falsas. (B) duas das afirmativas acima so verdadeiras e trs so falsas. (C) trs das afirmativas acima so verdadeiras e duas so falsas. (D) quatro das afirmativas acima so verdadeiras e uma falsa. (E) todas as afirmativas acima so verdadeiras. 03. (CESGRANRIO - 2010 - Petrobrs) Parte superior do formulrio Considere as premissas: Premissa 1: as premissas 2 e 3 so verdadeiras. Premissa 2: das premissas 3 e 4, uma delas verdadeira e a outra, falsa. Premissa 3: as premissas 1 e 4 so ambas verdadeiras ou ambas falsas. Premissa 4: as premissas 1 e 3 so ambas falsas.
Didatismo e Conhecimento
148

MATEMTICA E RACIOCNIO LGICO


Sabendo-se que cada premissa acima exclusivamente verdadeira ou exclusivamente falsa, so verdadeiras APENAS as premissas: (A) 1 e 2. (B) 1 e 3. (C) 2 e 3. (D) 2 e 4. (E) 3 e 4. 04. (CESPE - TRE-MG Tcnico Judicirio) Considere as sentenas apresentada a seguir. G - O preo do combustvel automotivo alto. M - Os motores dos veculos so econmicos. I - H inflao geral de preos. C - O preo da cesta bsica estvel. Admitindo que os valores lgicos das proposies compostas (M G) (C I), I (C G), G M e C M so verdadeiros, assinale a opo correta, considerando que, nessas proposies, os smbolos e representam os conectivos ou e e, respectivamente, e o smbolo denota o modificador negao. (A) os motores dos veculos so econmicos e no h inflao geral de preos. (B) o preo da cesta bsica no estvel e h inflao geral de preos. (C) o preo do combustvel automotivo alto e os motores dos veculos no so econmicos. (D) os motores dos veculos so econmicos e o preo da cesta bsica no estvel. (E) o preo da cesta bsica estvel e o preo do combustvel automotivo alto. 05. (FCC - TRE-PI - Tcnico Judicirio) Todos os advogados que trabalham numa cidade formaram- se na universidade X. Sabe-se ainda que alguns funcionrios da prefeitura dessa cidade so advogados. A partir dessas informaes, correto concluir que, necessariamente, (A) existem funcionrios da prefeitura dessa cidade formados na universidade X. (B) todos os funcionrios da prefeitura dessa cidade formados na universidade X so advogados. (C) todos os advogados formados na universidade X trabalham nessa cidade. (D) dentre todos os habitantes dessa cidade, somente os advogados formaram-se na universidade X. (E) existem funcionrios da prefeitura dessa cidade que no se formaram na universidade X. 06. (CESPE - SECONT-ES - Auditor do Estado) Se a proposio simbolizada por A B C for um argumento vlido, ento a proposio A B (C) ser falsa. ( ) Certo ( ) Errado 07. (CESPE - TRE-MA Tcnico Judicirio) Com base nas regras da lgica sentencial, assinale a opo que corresponde negao da proposio Mrio contador e Norberto estatstico. (A) Se Mrio no contador, ento Norberto no estatstico. (B) Mrio no contador e Norberto no estatstico. (C) Se Mrio no contador, ento Norberto estatstico. (D) Se Mrio contador, ento Norberto no estatstico. (E) Se Mrio contador, ento Norberto estatstico. 08. (FCC - TCE-GO - Tcnico de Controle Externo) So dadas as afirmaes: - Toda cobra um rptil. - Existem rpteis venenosos. Se as duas afirmaes so verdadeiras, ento, com certeza, tambm verdade que (A) Se existe uma cobra venenosa, ento ela um rptil. (B) toda cobra venenosa. (C) algum rptil venenoso uma cobra. (D) qualquer rptil uma cobra. (E) Se existe um rptil venenoso, ento ele uma cobra.
149

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


09. (FCC - TCE-GO - Tcnico de Controle Externo) No prximo domingo, Dona Marieta completar 100 anos de idade e sua bisneta Julieta resolveu presente-la construindo a rvore genealgica de seus descendentes. Para tal, Julieta usou as seguintes informaes: - Dona Marieta teve 10 filhos, trs dos quais no lhe deram netos e cada um dos demais lhe deu 3 netos; - Apenas quatro dos netos de Dona Marieta no tiveram filhos, enquanto que cada um dos demais lhe deu 5 bisnetos; - Dos bisnetos de Dona Marieta, apenas nove no tiveram filhos e cada um dos outros teve 2 filhos; - Os tataranetos de Dona Marieta ainda no tm filhos. Nessas condies, correto afirmar que o total de descendentes de Dona Marieta : (A) 277 (B) 272 (C) 268 (D) 264 (E) 226 10. (CESGRANRIO - 2010 - Petrobrs) x y possui a mesma tabela verdade que: (A) x y (B) x y (C) (x y) y (D) (x y) (y x) (E) (x y) (y x) Respostas 01. Resposta A. Sentenas:

Para saber qual sentena manipular, preciso lembrar algumas regras: (1) xp(x) = xp(x) (2) xp(x) = xp(x) Para a sentena A ser transformada, seria necessrio introduzir uma negao dupla (). Observando a regra (1), percebe-se que a sentena B pode ser transformada sem a necessidade de utilizao de uma negao dupla. Com isso, selecionamos a sentena B para efetuar a manipulao. Manipulando a sentena B: xp(x) xq(x) xp(x) xq(x) x(p(x) q(x)) x(p(x) q(x)) Obs.: (p(x) q(x) = p(x) q(x)) x (p(x) q(x)) Logo, a sentena A consequncia da lgica de B. importante mencionar que no foram introduzidos elementos adicionais (negao dupla, por exemplo) na sentena original para se chegar ao resultado. Com isso, podemos afirmar que a sentena A consequncia da lgica (manipulao direta) de B.

A).

So equivalncias lgicas, ou seja, elas so bidirecionais. Dessa forma, pode-se concluir que a alternativa correta a A, (B

Didatismo e Conhecimento

150

MATEMTICA E RACIOCNIO LGICO


02. Resposta C. Dizemos que um conjunto de operadores completo se com eles pode exprimir as operaes conjuno, disjuno e negao, que so: , , e nand (no ). I - Verdadeiro; II - Verdadeiro; III - Falso; IV - Verdadeiro; V - Falso. Na lgica, um grupo de conectivos tem a propriedade da completude funcional se todos outros conectivos possveis podem ser definidos em funo dele. Os conjuntos {nand}, {nor}, {, }, {, } e {, } possuem a propriedade da completude funcional. Demonstrao da completude funcional em um conjunto: Utilizando apenas a negao () e a implicao () podemos gerar todas as outras operaes.

03. Resposta D. Premissa 1: as premissas 2 e 3 so verdadeiras. FALSO (apenas a premissa 2 verdadeira a 3 falsa); Premissa 2: das premissas 3 e 4, uma delas verdadeira e a outra falsa. VERDADEIRA (a premissa 3 falsa e a 4 verdadeira); Premissa 3: as premissas 3 e 4 so ambas verdadeiras ou ambas falsas. FALSO (premissa 3 falsa e a 4 verdadeira); Premissa 4: as premissas 1 e 3 so ambas falsas. VERDADEIRA. Normalmente ler as premissas em ordem inversa facilita a resposta. Premissa 4: afirma que 1 e 3 so falsas, portanto 2 dever ser verdadeira. Premissa 3: contraditria com a P4 - Falsa. Premissa 2: at aqui a 4 verdadeira e a 3 falsa Verdadeira. Premissa 1: contraditria com a P4 Falsa. 04. Resposta A. - Atribui-se verdadeiro para todas as sentenas simples, ou seja, G, M, I, C - so a princpio (V). - Comece pela primeira sentena composta: M ~G ento C G - Por essa sentena conclui-se que atribuindo sentena I como verdadeira essa sentena composta seria falsa e como a questo afirma que todas as compostas so verdadeiras, ento I = Falsa e ~I = V, da a sentena seria verdadeira, ou seja: No h inflao geral de preos. - Na segunda sentena composta: I ento ~C G - considerando I (falsa) o resultado era verdadeiro para a sentena independente de ser Falso ou Verdadeiro a 2 parte - por isso no tinha ainda argumento vlido. - Na terceira sentena: G ento M - se considerar M verdadeira ento G pode ser falso ou Verdadeiro. - Na quarta sentena: ~C M - se considerar M verdadeira ento ~C pode ser falso ou verdadeiro (mas como na primeira sentena j considera C como verdadeira), ou seja: Os motores dos veculos so econmicos. O enunciado da questo diz: 1) Se (M ~G) ento (C ~ I) que equivale a: Se (Se G ento M ) ento ~(Se C ento I); 2) Se I ento (~C G) que; 3) Se G ento M; 4) ~C M que. Precisa-se somente das proposies 1 e 3. Inicia-se pela proposio 3. Supunha que o G era verdadeiro, desta forma o M s poderia ser verdadeiro. Caso contrrio a proposio se tornaria falsa. Ento para a proposio 1: Como a primeira parte verdadeira a segunda s poderia ser verdadeira, ou seja ~(se C ento I) tambm tinha que ser verdadeira. Como tem o ~ na frente, Se C ento I tem que ser falsa. E para ser falsa I deve ser falso e C deve ser verdadeira. Desta forma descobre-se o valor real de cada proposio.
Didatismo e Conhecimento
151

MATEMTICA E RACIOCNIO LGICO


05. Resposta A. Quando temos a expresso Todo e Todo, a resposta tem que obrigatoriamente ter a expresso Todo e no pode aparecer a expresso comum. Ex.: Todo indivduo que fuma tem bronquite. Todo indivduo que tem bronquite costuma faltar ao trabalho. Expresso comum: bronquite. Logo: Todo indivduo que fuma costuma faltar ao trabalho. Quando temos as expresses Todo e Algum, na resposta prevalece o Algum e no pode aparecer a expresso comum. Na questo acima, descartamos a B e a C, pois comeam com Todo. Depois descartamos D pois aparece a expresso comum advogados. Depois descartamos a E pois aparece uma negao no se formaram na universidade x. Resumo: Todo e Todo = Todo Todo e Nenhum = Nenhum Algum e Todo = Algum Algum e Nenhum = Algum No Se todos os advogados so formados na universidade X e se existem funcionrios da prefeitura que so advogados, logo, certamente existem funcionrios da prefeitura dessa cidade formados na universidade X. Com relao a letra E, temos que no necessariamente os outro funcionrios que no so advogados no se formaram na universidade X, pois nada garante que eles tenham se formado nesta universidade ou no, como deixa dvida, esta no pode ser necessariamente correta. 06. Resposta Certo. Um argumento vlido considere todas as premissas verdadeiras, e a concluso ter que ser verdadeira. VV A B C (Argumento vlido) A B (~C) V V (~V) V F = F (Falsa) Nota-se que na proposio composta que a alternativa diz ser falsa s foi usado o conectivo E (), isto torna a questo fcil, ou seja, tanto o A, o B e a negao de C tm que ter valores verdadeiros para a proposio ser verdadeira (regra do conectivo E). Se a negao de C tem que ser verdade, logo, o C falso. Se o C falso, A B no pode ser verdadeiro, pois V ento F, que o argumento vlido trazido pela questo, falso. Se a questo diz que o argumento vlido, ele realmente vlido, temos que acreditar nisso, logo, o valor de A B tem que ser falso obrigatoriamente, seno o argumento no vlido. Se A B tem que ser falso, significa que ou o A ou o B tem que ser falso (regra do E, um falso tudo falso). Sendo ou o A ou o B falso, torna a proposio A B ~C falsa. 07. Resposta D. A negativa de uma conjuno pode ser: - uma condicional - afirma a 1 parte e nega a 2 parte = P ento no Q. - uma disjuno - No P ou No Q. Mrio contador e Norberto estatstico. P e Q = P e no Q, portanto: Se Mrio contador, ento Norberto no estatstico. Considerando: P: Mrio contador. Q: Norberto estatstico. A negao de P Q ~P ou ~Q. A partir da basta transformar ~P ou ~Q em sua proposio equivalente: P se ento ~Q.

Didatismo e Conhecimento

152

MATEMTICA E RACIOCNIO LGICO


08. Resposta A. (A) Verdade, toda cobra um rptil. Se as duas afirmaes so verdadeiras, ento, com certeza, tambm verdade que - Se existe uma cobra venenosa (P), ento ela um rptil (Q). (P Q = V). Obs: segundo as afirmaes dadas no se pode determinar se P V ou F, no entanto isto no altera a correo da assertiva. (B) Falsa = nem toda cobra venenosa. (C) Falsa = nem todo rptil venenoso cobra (h lagartos venenosos, rpteis e no so cobras). No contexto geral, esta afirmao poderia ser considerada verdadeira, mas segundo as afirmaes dadas pela questo ela falsa, pois no mencionada qualquer ligao entre o grupo das cobras e dos rpteis venenosos; A cobra um rptil; Alguns rpteis so venenosos; mas embasando-se somente nestas duas afirmaes no h como se garantir que Algum rptil venenoso uma cobra. (D) Falsa = nem todo rptil uma cobra (Jacar rptil). (E) Falsa = nem todo rptil venenoso cobra (h lagartos venenosos, so rpteis e no so cobras).

Um grande conjunto o dos rpteis, obrigatoriamente o conjunto das cobras, que menor, estar totalmente dentro do conjunto dos rpteis. J o conjunto dos Venenosos existem 3 possibilidades: 1 - o conjunto dos venenosos estar totalmente dentro do conjunto dos rpteis, mas no se mistura com o conjunto das cobras, ou seja, so dois conjuntos dentro do grande conjunto que o dos rpteis; 2 - o conjunto dos venenosos estar parcialmente dentro do conjunto dos rpteis, mas no se mistura com o conjunto das cobras, ou seja, um conjunto (cobras) dentro do conjunto dos rpteis e outro (venenosos) parcialmente dentro e fora (como na figura). 3 - o conjunto dos venenosos estar totalmente dentro do conjunto dos rpteis, e parcialmente, tambm, dentro do conjunto das cobras. 4 - o conjunto dos venenosos estar totalmente dentro do conjunto dos rpteis e totalmente dentro do conjunto das cobras. Logo, a nica coisa que conseguimos garantir dentre as alternativas que todas as cobras so rpteis, elas podem ser ou no venenosas e os venenosos podem ou no ser rpteis e podem ou no ser cobras. 09. Resposta C. Dona Marieta teve 10 filhos = 7 frteis e 3 infrteis. Sete frteis tiveram 21 filhos = 17 frteis e 4 infrteis. Dezessete frteis tiveram 85 filhos = 76 frteis e 9 infrteis. Setenta e seis frteis tiveram 152 filhos = 152 frteis. Descendentes = frteis + infrteis = 252 + 16 = 268 descendentes. Seguindo os passos: - Dona Marieta teve 10 filhos, trs dos quais no lhe deram netos e cada um dos demais lhe deu 3 netos; dos 10 filhos de Dona Marieta 3 no lhe deram netos, enquanto que 7 lhe deram 3 netos cada, ento fazemos o seguinte clculo: 7. 3 = 21 netos. - Apenas quatro dos netos de Dona Marieta no tiveram filhos, enquanto que cada um dos demais lhe deram 5 bisnetos; Sabemos que Dona Marieta teve 21 netos, mas, desses 21, quatro no tiveram filhos, enquanto que os outros 17 lhe deram 5 bisnetos cada: 17. 5 = 85 bisnetos. - Dos bisnetos de Dona Marieta, apenas nove no tiveram filhos e cada um dos outros tiveram 2 filhos; Dona Marieta teve 85 bisnetos, e desses 85 nove no tiveram filhos, o que implica que 76 tiveram 2 filhos cada: 76 . 2 = 152 tataranetos. - Os tataranetos de Dona Marieta ainda no tm filhos. Como os tataranetos no tiveram filhos, ento somamos os filhos, netos, bisnetos e tataranetos: 10 + 21 + 85 + 152 = 268.
Didatismo e Conhecimento
153

MATEMTICA E RACIOCNIO LGICO


10. Resposta D. Segundo Srates (1997), a conjuno da sentena x y com a sentena y x resulta na sentena x y. Assim, (x y) (y x) equivale a x y. x se e somente se y: somente admite resposta verdadeira quando ambas possuem o mesmo sinal. Tabela verdade: tabela verdade de x-y e y-x:

x se e somente se y equivalente a y, se x e x, se y. Probabilidade Ponto Amostral, Espao Amostral e Evento Em uma tentativa com um nmero limitado de resultados, todos com chances iguais, devemos considerar: Ponto Amostral: Corresponde a qualquer um dos resultados possveis. Espao Amostral: Corresponde ao conjunto dos resultados possveis; ser representado por S e o nmero de elementos do espao amostra por n(S). Evento: Corresponde a qualquer subconjunto do espao amostral; ser representado por A e o nmero de elementos do evento por n(A). Os conjuntos S e tambm so subconjuntos de S, portanto so eventos. = evento impossvel. S = evento certo. Conceito de Probabilidade As probabilidades tm a funo de mostrar a chance de ocorrncia de um evento. A probabilidade de ocorrer um determinado evento A, que simbolizada por P(A), de um espao amostral S , dada pelo quociente entre o nmero de elementos A e o nmero de elemento S. Representando:

Exemplo: Ao lanar um dado de seis lados, numerados de 1 a 6, e observar o lado virado para cima, temos: - um espao amostral, que seria o conjunto S {1, 2, 3, 4, 5, 6}. - um evento nmero par, que seria o conjunto A1 = {2, 4, 6} C S. - o nmero de elementos do evento nmero par n(A1) = 3. - a probabilidade do evento nmero par 1/2, pois

Propriedades de um Espao Amostral Finito e No Vazio - Em um evento impossvel a probabilidade igual a zero. Em um evento certo S a probabilidade igual a 1. Simbolicamente: P() = 0 e P(S) = 1. - Se A for um evento qualquer de S, neste caso: 0 P(A) 1. - Se A for o complemento de A em S, neste caso: P(A) = 1 - P(A).

Didatismo e Conhecimento

154

MATEMTICA E RACIOCNIO LGICO


Demonstrao das Propriedades Considerando S como um espao finito e no vazio, temos:

Unio de Eventos Considere A e B como dois eventos de um espao amostral S, finito e no vazio, temos:

Logo: P(A B) = P(A) + P(B) - P(A B) Eventos Mutuamente Exclusivos

Considerando que A B, nesse caso A e B sero denominados mutuamente exclusivos. Observe que A B = 0, portanto: P(A B) = P(A) + P(B). Quando os eventos A1, A2, A3, , An de S forem, de dois em dois, sempre mutuamente exclusivos, nesse caso temos, analogicamente: P(A1 A2 A3 An) = P(A1) + P(A2) + P(A3) + ... + P(An)
155

Didatismo e Conhecimento

MATEMTICA E RACIOCNIO LGICO


Eventos Exaustivos Quando os eventos A1, A2, A3, , An de S forem, de dois em dois, mutuamente exclusivos, estes sero denominados exaustivos se A1 A2 A3 An = S

Ento, logo:

Portanto: P(A1) + P(A2) + P(A3) + ... + P(An) = 1 Probabilidade Condicionada Considere dois eventos A e B de um espao amostral S, finito e no vazio. A probabilidade de B condicionada a A dada pela probabilidade de ocorrncia de B sabendo que j ocorreu A. representada por P(B/A). Veja:

Eventos Independentes Considere dois eventos A e B de um espao amostral S, finito e no vazio. Estes sero independentes somente quando: P(A/N) = P(A) P(B/A) = P(B)

Interseco de Eventos Considerando A e B como dois eventos de um espao amostral S, finito e no vazio, logo:

Assim sendo: P(A B) = P(A) . P(B/A) P(A B) = P(B) . P(A/B)


Didatismo e Conhecimento
156

MATEMTICA E RACIOCNIO LGICO


Considerando A e B como eventos independentes, logo P(B/A) = P(B), P(A/B) = P(A), sendo assim: P(A B) = P(A) . P(B). Para saber se os eventos A e B so independentes, podemos utilizar a definio ou calcular a probabilidade de A B. Veja a representao: A e B independentes P(A/B) = P(A) ou A e B independentes P(A B) = P(A) . P(B) Lei Binominal de Probabilidade Considere uma experincia sendo realizada diversas vezes, dentro das mesmas condies, de maneira que os resultados de cada experincia sejam independentes. Sendo que, em cada tentativa ocorre, obrigatoriamente, um evento A cuja probabilidade p ou o complemento A cuja probabilidade 1 p. Problema: Realizando-se a experincia descrita exatamente n vezes, qual a probabilidade de ocorrer o evento A s k vezes? Resoluo: - Se num total de n experincias, ocorrer somente k vezes o evento A, nesse caso ser necessrio ocorrer exatamente n k vezes o evento A. - Se a probabilidade de ocorrer o evento A p e do evento A 1 p, nesse caso a probabilidade de ocorrer k vezes o evento A e n k vezes o evento A, ordenadamente, :

- As k vezes em que ocorre o evento A so quaisquer entre as n vezes possveis. O nmero de maneiras de escolher k vezes o evento A , portanto Cn,k. - Sendo assim, h Cn,k eventos distintos, mas que possuem a mesma probabilidade pk . (1 p)n-k, e portanto a probabilidade desejada : Cn,k . pk . (1 p)n-k QUESTES 01. A probabilidade de uma bola branca aparecer ao se retirar uma nica bola de uma urna que contm, exatamente, 4 bolas brancas, 3 vermelhas e 5 azuis :

02. As 23 ex-alunas de uma turma que completou o Ensino Mdio h 10 anos se encontraram em uma reunio comemorativa. Vrias delas haviam se casado e tido filhos. A distribuio das mulheres, de acordo com a quantidade de filhos, mostrada no grfico abaixo. Um prmio foi sorteado entre todos os filhos dessas ex-alunas. A probabilidade de que a criana premiada tenha sido um(a) filho(a) nico(a)

Didatismo e Conhecimento

157

MATEMTICA E RACIOCNIO LGICO


03. Retirando uma carta de um baralho comum de 52 cartas, qual a probabilidade de se obter um rei ou uma dama? 04. Jogam-se dois dados honestos de seis faces, numeradas de 1 a 6, e l-se o nmero de cada uma das duas faces voltadas para cima. Calcular a probabilidade de serem obtidos dois nmeros mpares ou dois nmeros iguais? 05. Uma urna contm 500 bolas, numeradas de 1 a 500. Uma bola dessa urna escolhida ao acaso. A probabilidade de que seja escolhida uma bola com um nmero de trs algarismos ou mltiplo de 10 (A) 10% (B) 12% (C) 64% (D) 82% (E) 86% 06. Uma urna contm 4 bolas amarelas, 2 brancas e 3 bolas vermelhas. Retirando-se uma bola ao acaso, qual a probabilidade de ela ser amarela ou branca? 07. Duas pessoas A e B atiram num alvo com probabilidade 40% e 30%, respectivamente, de acertar. Nestas condies, a probabilidade de apenas uma delas acertar o alvo : (A) 42% (B) 45% (C) 46% (D) 48% (E) 50% 08. Num espao amostral, dois eventos independentes A e B so tais que P(A U B) = 0,8 e P(A) = 0,3. Podemos concluir que o valor de P(B) : (A) 0,5 (B) 5/7 (C) 0,6 (D) 7/15 (E) 0,7 09. Uma urna contm 6 bolas: duas brancas e quatro pretas. Retiram-se quatro bolas, sempre com reposio de cada bola antes de retirar a seguinte. A probabilidade de s a primeira e a terceira serem brancas :

10. Uma lanchonete prepara sucos de 3 sabores: laranja, abacaxi e limo. Para fazer um suco de laranja, so utilizadas 3 laranjas e a probabilidade de um cliente pedir esse suco de 1/3. Se na lanchonete, h 25 laranjas, ento a probabilidade de que, para o dcimo cliente, no haja mais laranjas suficientes para fazer o suco dessa fruta :

Respostas 01. 02. A partir da distribuio apresentada no grfico: 08 mulheres sem filhos. 07 mulheres com 1 filho. 06 mulheres com 2 filhos. 02 mulheres com 3 filhos. Comoas 23 mulheres tm um total de 25 filhos, a probabilidade de que a criana premiada tenha sido um(a) filho(a) nico(a) igual a P = 7/25.
Didatismo e Conhecimento
158

MATEMTICA E RACIOCNIO LGICO


03. P(dama ou rei) = P(dama) + P(rei) = 04. No lanamento de dois dados de 6 faces, numeradas de 1 a 6, so 36 casos possveis. Considerando os eventos A (dois nmeros mpares) e B (dois nmeros iguais), a probabilidade pedida :

05. Sendo , o conjunto espao amostral, temos n() = 500 A: o nmero sorteado formado por 3 algarismos; A = {100, 101, 102, ..., 499, 500}, n(A) = 401 e p(A) = 401/500 B: o nmero sorteado mltiplo de 10; B = {10, 20, ..., 500}. Para encontrarmos n(B) recorremos frmula do termo geral da P.A., em que a1 = 10 an = 500 r = 10 Temos an = a1 + (n 1) . r 500 = 10 + (n 1) . 10 n = 50 Dessa forma, p(B) = 50/500. A B: o nmero tem 3 algarismos e mltiplo de 10; A B = {100, 110, ..., 500}. De an = a1 + (n 1) . r, temos: 500 = 100 + (n 1) . 10 n = 41 e p(AB) = 41/500 Por fim, p(A.B) = 06. Sejam A1, A2, A3, A4 as bolas amarelas, B1, B2 as brancas e V1, V2, V3 as vermelhas. Temos S = {A1, A2, A3, A4, V1, V2, V3 B1, B2} n(S) = 9 A: retirada de bola amarela = {A1, A2, A3, A4}, n(A) = 4 B: retirada de bola branca = {B1, B2}, n(B) = 2

Como AB = , A e B so eventos mutuamente exclusivos; Logo: P(AB) = P(A) + P(B) = 07. Se apenas um deve acertar o alvo, ento podem ocorrer os seguintes eventos: (A) A acerta e B erra; ou (B) A erra e B acerta. Assim, temos: P (A B) = P (A) + P (B) P (A B) = 40% . 70% + 60% . 30% P (A B) = 0,40 . 0,70 + 0,60 . 0,30 P (A B) = 0,28 + 0,18 P (A B) = 0,46 P (A B) = 46%
Didatismo e Conhecimento
159

MATEMTICA E RACIOCNIO LGICO


08. Sendo A e B eventos independentes, P(AB) = P(A) . P(B) e como P(AB) = P(A) + P(B) P(AB). Temos: P(AB) = P(A) + P(B) P(A) . P(B) 0,8 = 0,3 + P(B) 0,3 . P(B) 0,7 . (PB) = 0,5 P(B) = 5/7. 09. Representando por a probabilidade pedida, temos:

10. Supondo que a lanchonete s fornea estes trs tipos de sucos e que os nove primeiros clientes foram servidos com apenas um desses sucos, ento: I- Como cada suco de laranja utiliza trs laranjas, no possvel fornecer sucos de laranjas para os nove primeiros clientes, pois seriam necessrias 27 laranjas. II- Para que no haja laranjas suficientes para o prximo cliente, necessrio que, entre os nove primeiros, oito tenham pedido sucos de laranjas, e um deles tenha pedido outro suco. A probabilidade de isso ocorrer :

ANOTAES

Didatismo e Conhecimento

160