ANLISE E DESENVOLVIMENTO DE SISTEMAS

WEBAULA 1
Unidade 1 Argumentao1
Neste primeiro contato, ou seja, nessa primeira undidade, vamos analisar
alguns tpicos introdutrios do estudo da lgica, que visa complementar e
contribuir os assuntos j abordados nas teleaulas.
Muitas vezes as pessoas pensam que estudar lgica uma tarefa muito
difcil, mas vamos perceber que a lgica est presente em nosso cotidiano
e que ela necessria para estruturarmos nossos pensamentos de forma
coerente e transmiti-los de maneira clara e compreensvel.
Os objetivos fundamentais do estudo da Lgica so basicamente a busca
pela argumentao, pela compreenso das nossas prprias razes e das
razes alheias e as tomadas de posio diante dos acontecimentos e as
escolhas.
Aprofundando o conhecimento: Um pouco de histria...
A lgica teve sua origem como disciplina com Aristteles, entre 300 e 400
anos antes de Cristo. Com Aristteles teve incio a caracterizao das
formas legtimas de argumentao, em contraposio a outras formas que
pareciam corretas, mas que eram inadequadas (as falcias).

Aristteles 384-322 a. C.

Eliane Maria Oliveira Araman, UNOPAR, 2009.

Seu ponto de partida para esses estudos foi a estrutura da lngua grega e
a pressuposio de que precedendo uma argumentao coerente
encontra-se o uso adequado das palavras e das frases, de modo a evitar
as ambigidades e incertzas. De acordo com sua prprias palavras, um
argumento se configura por uma srie de palavras em que, sendo
admitidas certas coisas, delas resultar necessariamente alguma outra,
pela simples razo de se terem admitido as primeiras.
Seus trabalhos foram
denominada Organon.

posteriormente

reunidos

em

uma

obra

Na lgica aristotlica h uma delimitao entre a forma e o contedo de

uma argumentao. Como assim? Os contedos das sentenas que fazem
parte de um argumento no so considerados, mas apenas a forma como
esto articulados ou o modo como umas so deduzidas das outras.
Veja esse exemplo:
Se me garantem que Todo homem feliz e que Djalma um homem, logo
posso concluir que Djalma feliz, e essa concluso depende apenas da
forma da argumentao.
como se eu dissesse: Todo a b e que x a. Disso podemos concluir que x

 b, independentemente do que significa a, b ou x.

Aristteles tratou apenas das formas adequadas de argumentao, por
isso seus estudos so conhecidos como Lgica Formal. Por meio desses
estudos, Aristteles procurou explicar leis ou regras que garantam uma
argumetao adequada e competente.
Na lngua corrente usual, normalmante no separamos o contedos das
sentenas. De modo geral, em nosso cotidiano, misturamos forma com
contedo, mas para um estudo introdutrio de lgica vamos observar a
distino entre as formas legtimas de argumentao das queno so
aceitveis, independentemente de conhecermos ou no a verdade das
sentenas
envolvidas.

Frases e argumentos
Quantas vezes voc j utilizou a expresso lgico quando estava
conversando a respeito de diversos assuntos, como futebol, sua marca de
refrigerante
preferida,
sobre
economia
ou
poltica?
Na maioria das vezes, a expresso lgico utilizada por ns quando
queremos nos referir a algo que nos parece evidentemente certo ou muito
fcil de ser defendido. Como por exemplo:
lgico que o Brasil vai ser campeo.
lgico que um avio custa mais que uma bicicleta.
lgico que a Terra no plana.
Aps usarmos uma frase desse tipo, comum aparecer uma srie de
razes que procuram sustentar a CONCLUSO, proferida na afirmao
inicial. Esse encadeamento de razes que conduzem concluso pode ser
considerado um ARGUMENTO. As razes expressas so as PREMISSAS do
argumento.
Veja

esse

exemplo:

lgico que Juvenal ser aprovado no concurso, pois ele

inteligente e estuda muito e todos as pessoas inteligentes e
estudiosas
so
aprovadas.
Temos, nesse caso, o seguinte argumento:
CONCLUSO:
RAZES
(PREMISSAS):

Juvenal ser aprovado.

Juvenal inteligente.
Juvenal estudioso.

Todas as pessoas inteligentes e estudiosas so

aprovadas.

Os exemplos utilizados foram adaptados de MACHADO (2005).

Podemos concluir: um ARGUMENTO
mais PREMISSAS e de umaCONCLUSO.

constitudo

de

uma

ou

Enquanto conversamos na linguagem corrente, a concluso de um

argumento pode serenunciada primeiramente, como no nosso exemplo,
em seguida so enunciadas as premissas. Mas tambm pode ocorrer de
outra forma, com as premissas aparecendo primeiro e a concluso
surgindo logo aps.
Veja mais esse exemplo:
Como a gasolina extrada do petrleo, que importado, e todos
os produtos importados so caros, a gasolina cara.
Temos, nesse caso, o argumento a seguir:
A gasolina extrada do petrleo.
PREMISSAS

O petrleo importado.
Todos os produtos impostados so caros.

CONCLUSO

A gasolina cara.

Tambm pode ocorrer que a concluso seja enunciada entre as premissas,

como nesse outro exemplo:
Romilda mdica. Logo, Romilda estudou em uma faculdade pois
todos os mdicos estudaram em faculdades.
PREMISSAS
CONCLUSO

Romilda mdica.
Todos os mdicos estudaram em faculdades.
Romilda estudou em uma faculdade.

Uma das primeiras preocupaes que devemos ter ao iniciarmos os

estudos de lgica aprender a diferenciar um argumento de fato de um
mero agrupamento de frases. Para isso, vamos analisar algumas frases
abaixo:
Comeou a chover. H pouco, o sol estava brilhando. A meteorologia no
previu chuva alguma.
Amanh dever fazer sol porque o servio de meteorologia previu uma
2
chuva e ele sempre erra em suas previses.
1

Joaquim portugus. Ele dono da padaria do bairro, que fabrica dez mil
pes por dia.
Joaquim no portugus pois ele nasceu no Brasil e quem nasce no Brasil
4
brasileiro.
5
Penso muito na minha vida.
6
Se penso, logo existo.
As frases que correspondem aos nmeros pares so argumentos,
enquanto que as correspondentes aos nmeros mpares so apenas uma
coleo de frases que no caracterizam um argumento. No difcil
distinguir, nos argumentos, a concluso das premissas. Por exemplo, na
frase dois a concluso que Amanh dever fazer sol; na frase quatro,
a concluso Joaquim no portugus; e na seis temos como
concluso
Existo.
3

Para saber mais:

Vamos praticar um pouco. Para isso, nos argumentos a seguir, indique
quais so as premissas e qual a concluso de cada argumento:

lgico que o time A o melhor do atual campeonato uma vez que tal time tem o mel
aque, a defesa menos vazada e o maior nmero de pontos ganhos.
nibus da escola dever chegar atrasado amanh porque a meteorologia prev mu
uvas para amanh cedo e sempre que chove muito, o nibus chega atrasado.
caf no um produto importado; portanto no deveria ser caro, uma vez que todos
odutos importados que so caros.
mo nenhum rptil voa e as serpentes so rpteis, as serpentes no voam.
dos os alemes so europeus;logo existem europeus que so alemes.
be-se que todas as coisas verdes tm clorofila. Como alguns automveis so verd
demos concluir que alguns automveis tm clorofila.
vidade no frum:
Outro aspecto dos estudos da lgica so os que envolvem a resoluo de
problemas. Existem vrios problemas de lgica de vrios nveis de
dificuldade, mas que so muito divertidos. Apresento abaixo dois desafios
que para serem resolvidos no necessrio nenhum conhecimento prvio
de matemtica, apenas o raciocnio lgico mesmo.
Para
acessar
os
jogos,
clique
nos
anexos "Desafio
dos
Sapinhos" e "Desafio dos Canibais". O jogo vai se abrir e voc pode
jogar vontade. Veja se consegue resolver os desafios e faa a postagem
no frum de como voc conseguiu resolv-los.
Para saber mais:
Existem na internet muitos desafios lgicos que voc pode acessar. O
mais famoso de todos o desafio de Einstein. Voc encontra esse desafio
com uma animao que facilita a soluo no site abaixo. Acesse e confira!
http://www.profcardy.com/desafios/aplicativos.php?id=11

Bibliografia:
MACHADO, N.J.; DA CUNHA, M.O. Lgica e linguagem cotidiana:
verdade,
coerncia,
comunicao,
argumentao. Coleo
Tendncias em Educao Matemtica, Autntica, 2005.

WEBAULA 2
Unidade 1 Argumentao e Verdade
Nesta aula, ns daremos continuidade aos assuntos que comeamos a
abordar na web aula anterior, quando vimos como se d a construo de
um argumento. Agora, porm, vamos analisar a verdade ou a falsidade de
um argumento.
Ento vamos comear. Em nosso dia-a-dia usamos muitas frases que
podem ser consideradas falsas ou verdadeiras, como nos exemplo a
seguir:
VERDADEIRAS:
Um ano tem doze meses.
Trs vezes dois igual a seis.
Quito a capital do Equador.
FALSAS:
Uma semana tem doze dias.
Dois mais dois igual a cinco.
La Paz a capital da Argentina.
Entretanto, existem muitas outras frases que no podem ser classificadas
dessa forma:
Hoje vai chover?
No faa isso.
Dessas observaes podemos concluir: uma frase que pode ser
classificada como VERDADEIRA ouFALSA, no podendo ser as duas
coisas ao mesmo tempo, chamada de PROPOSIO.
Nem todas as frases que dizemos so consideradas proposies. Uma
proposio uma sentena declarativa que pode ser considerada
verdadeira ou falsa. De modo geral, apenas frases declarativas podem ser
assim consideradas.
Quando decidimos defender uma concluso em uma argumetao
porque tal concluso uma proposio e pretendemos que ela seja
verdadeira. Para fazer essa defesa, encadeamos uma srie de razes,

chamadas premissas, que fundamentam a concluso, permitindo que o

argumento seja construdo.
Quando fazemos um argumento bem construdo, as premissas devem
evidenciar razes suficientes para que aceitemos a concluso. Em um
argumento mal construdo, mesmo que a concluso seja verdadeira, as
premissas no so razes suficientes para garanti-la.
Agora, quando entre as premissas e a concluso existe uma ligao de tal
forma que impossvel termos, simultaneamente, as premissas
verdadeiras e a concluso falsa, o argumento bem construdo e
podemos consider-lo VLIDO ou COERENTE.
Entretanto, quando possvel termos todas as premissas verdadeiras e a
concluso falsa, podemos considerar que o argumento no bem
construdo e dizemos que ele NO VALIDO, ou NO COERENTE, ou
ainda que uma FALCIA ou um SOFISMA.
Vamos agora analisar alguns exemplos:
ARGUMENTO COERENTE
PREMISSAS

Todos os cariocas so brasileiros.

Jos carioca.

CONCLUSO

Jos brasileiro.

Nesse exemplo podemos notar que sendo as duas premissas verdadeiras

simultaneamente, segue-se inevitavelmente, a verdade da concluso.
Dessa forma, impossvel termos as premissas verdadeiras e a concluso
falsa.
ARGUMENTO NO COERENTE
PREMISSAS

Todos os cariocas so brasileiros.

Jos no carioca.

CONCLUSO
Jos no brasileiro.
Nesse caso, as premissas no so suficientes para garantirem a
concluso.
possvel que termos as duas premissas verdadeiras e a concluso falsa,
com por exemplo se Jos fosse mineiro.
Mas tambm poderia ocorre de Jos ser alemo e isso nos daria uma
concluso verdadeira, mas ainda assim o argumento no seria vlido, pois
a verdade da concluso no seria consequncia da verdade das
premissas.
Vamos relembrar o que estudamos at aqui:

Nem toda frase ou sentena que usamos na linguagem corrente

uma proposio.

Para ser uma proposio necessrio que exista a possibilidade de

ser classificada como verdadeira ou falsa, no podendo haver uma
terceira opo, nem a possibilidade de ser considerada ao mesmo
tempo verdadeira e falsa.

Um argumento uma construo cujos elementos so proposies,

em que existe uma concluso que sustentada por uma ou mais
premissas.

Argumentar significa garantir a verdade da concluso tendo por

base a verdade das premissas.

Um argumento no pode ser considerado verdadeiro ou falso.

Verdadeiras ou falsas so as premissas e a concluso. Um
argumento vlido ou no vlido, coerente ou no coerente,
dependendo da relao que se estabelece entre as premissas e a
concluso.

Argumentao e verdade
Quando construmos um argumento, nossa inteno justificar a verdade
da concluso a partir da verdade das premissas. Ento encontramos duas
condies necessrias para garantir a verdade de uma concluso: a
verdade das premissas e um argumento coerente.
Se ao menos uma das premissas for falsa, mesmo o argumento estando
construdo de forma coerente, no podemos garantir a verdade da
concluso. Ainda se partirmos de premissas verdadeiras e recorremos a
uma argumentao no coerente, a verdade da concluso no pode ser
garantida.
Vamos analisar algumas situaes:
1) Partir de PREMISSAS FALSAS;
usar um SOFISMA;
e chegar a uma CONCLUSO FALSA.
Exemplo:
Existem cubanos que so europeus. (F)
Existem mexicanos que so cubanos. (F)
Logo, existem mexicanos que so europeus.(F)
2) Partir de PREMISSAS FALSAS;
usar um SOFISMA;
e chegar a uma CONCLUSO VERDADEIRA.
Exemplo:

Existem cubanos que falam espanhol.(V)

Existem mexicanos que so cubanos.(F)
Logo, existem mexicanos que falam espanhol. (V)
3) Partir de PREMISSAS FALSAS;
usar um ARGUMENTO COERENTE;
e chegar a uma CONCLUSO FALSA.
Exemplo:
Todo cubano europeu.(F)
Todo mexicano cubano. (F)
Logo, todo mexicano europeu. (F)
4) Partir de PREMISSAS FALSAS;
usar um ARGUMENTO VLIDO;
e chegar a uma CONCLUSO VERDADEIRA.
Exemplo:
Todos os cubanos falam ingls. (F)
Existem americanos que so cubanos. (F)
Logo, existem americanos que falam ingls. (V)
5) Partir de PREMISSAS VERDADEIRAS;
usar um SOFISMA;
e chegar a uma CONCLUSO FALSA.
Exemplo:
Alguns automveis so verdes. (V)
Algumas coisas verdes so comestveis. (V)
Logo, alguns automveis so comestveis. (F)
6) Partir de PREMISSAS VERDADEIRAS;
usar um SOFISMA;
e chegar a uma CONCLUSO VERDADEIRA.
Exemplo:
Alguns brasileiros so ricos. (V)
Alguns ricos so desonestos. (V)
Logo, alguns brasileiros so desonestos. (V)
7) Partir de PREMISSAS VERDADEIRAS;
usar um ARGUMENTO VLIDO;
e chegar a uma CONCLUSO VERDADEIRA.

Exemplo:
Todo pernambucano brasileiro.(V)
Todo recifense pernambucano.(V)
Logo, todo recifense brasileiro. (V)

Os exemplos apresentados foram retirados de MACHADO; DA CUNHA(2005)

Como pudemos perceber, partindo de premissas verdadeiras, um

argumento vlido nunca conduz a uma concluso falsa e isso que
garante a confiabilidade nos resultados da cincia. Resumindo, para
termos a garantia de que uma concluso verdadeira, temos que
observar dois aspectos: as premissas devem ser verdadeiras e o
argumento
deve
ser
coerente.
Aprofundando o conhecimento:
Agora vamos aplicar um pouco do que foi visto at aqui. Faa as
atividades a seguir e faa a postagem no frum dos resultados
encontrados por voc para discusso, bem como suas dvidas. No se
preocupe, os exerccios no so difceis. Vamos tentar!
1) Das frases abaixo, diga quais so proposies:
a) Feliz aniversrio!
b) O cu est claro neste lugar onde estamos.
c) No desista!
d) A Lua feita de queijo.
e) Ser que a Lua feita de queijo?
f) Direita, volver!
2) Classifique as proposies abaixo em verdadeira ou falsa:
a) O Sol um satlite da Terra.
b) Buenos Aires a capital do Brasil.
c) As aranhas tm oito patas.
d) Chile um pas da Amrica do Sul.
e) A raiz quadrada de 144 12.
f) Os cavalos so rpteis.
3) Nos argumentos a seguir, analise as premissas e a construo do
argumento e diga se so vlidos ou no vlidos:

a) Todos os alemes so europeus.

Nietzsche era alemo.
Logo, Nietzsche era europeu.
b) Todos os alemes so europeus.
O prncipe Charles no alemo.
Logo, o prncipe Charles no europeu.
c) Alguns brasileiros so pobres.
Alguns pobres so mendigos.
Logo, todos os brasileiros so mendigos.
d) Todos os apinags so ndios e no existem ndios carecas.
Logo,

nenhum

apinag

careca.

Influente filsofo alemo que viveu no sculo XIX.

Para refletir:
muito comum a associao entre o raciocnio lgico e o pensamento
matemtico, mas, como vimos anteriormente, as origens aristotlicas da
lgica encontram-se nas estruturas da lngua grega.
Podemos perceber com certa facilidade que o primeiro momento de
organizao do pensamento ocorre quando recorremos lngua, mesmo
de
forma
oral.
A influncia da matemtica na tematizao das regras ou das leis do
pensamento lgico muito relevante, mas posterior. O que pode explicar
esta associao to forte entre a lgica e a matemtica o fato que num
estudo inicial da lgica admitimos a possibilidade de separao entre a
forma e o contedo de uma argumentao. Assim:
Todo a b e todo b c acarreta que todo a c, qualquer que seja
o significado dos termos representados por a, b e c.
Esta separao faz com que a lgica formal se parea mais com a
amtemtica
do
que
com
a
lngua.
Bibliografia:

MACHADO,
cotidiana:

N.J.; DA CUNHA, M.O. Lgica

verdade,
coerncia,

e linguagem
comunicao,

argumentao. Coleo Tendncias em Educao Matemtica,

Autntica, 2005.

WEBAULA 3
Unidade 1 Conjuntos
As relaes apresentadas nesta aula j foram estudadas no Ensino Mdio,
portanto o que nos propomos no momento recapitular alguns pontos
bsicos do estudo dos conjuntos.
Vamos iniciar com a definio de conjunto, a notao adequada para
representar conjuntos e elementos e tambm as possveis maneiras de se
representao
Ento vamos comear?
No h um consenso a respeito da definio de conjunto. O que apresento
uma possibilidade de definio:

Idia intuitiva de coleo ou totalidade de objetos.

Esses objetos so denominados elementos.

Devemos representar conjuntos e elementos da seguinte forma:

CONJUNTOS - Letras maisculas: A, B, C, D...
ELEMENTOS - Letras minsculas: a, b, c, d ...
Quando queremos dizer se um determinado elemento pertence ou no
pertence a um conjunto devemos utilizar a seguinte notao:

F: conjunto de filsofos.

s: Scrates

Scrates um filsofo.

s F (o elemento s pertence ao conjunto F)

Scrates no um filsofo.

s F (o elemento s no pertence ao conjunto F)

A relao que se estabelece entre elementos e conjuntos chamada de
relao de pertinncia.
Lembre-se, a relao de pertinncia se d entre elemento e conjunto
Como representar um conjunto?
Podemos representar um conjunto das seguintes maneiras:

Enumerao ou extenso: Listagem de todos os elementos do

conjunto.

Descrio ou compreenso: Propriedade comum aos elementos do

conjunto que permite estabelecer se um elemento pertence ou no
ao conjunto.

Exemplos:

P: conjunto de nmeros pares

Enumerao: {2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30,
...}

Descrio: {x|x nmero par}

S: conjunto dos planetas que formam o sistema solar

Enumerao:{Mercrio, Vnus, Terra, Marte, Jpiter, Saturno,

Urano, Netuno}

Descrio:{x|x planeta do sistema solar}

Evidentemente, quando o conjunto possui muitos elementos mais

conveniente que faamos sua representao por descrio ou
compreenso e quando se trata de um conjunto com poucos elementos, a
enumerao permite melhor visualizao.
Imagine se voc tivesse que representar o conjunto formado por todos os
alunos que estudam Anlise e Desenvolvimento de Sistemas da UNOPAR?
Seria mais adequado que o fizesse por descrio, pois seria uma tarefa
cansativa fazer a enumerao de todos os alunos desse curso.
Agora vamos aplicar um pouco do que vimos at aqui.
Exerccios:
Represente os conjuntos enumerados por descrio:

S:{segunda, tera, quarta, quinta, sexta, sbado, domingo}

P:{1,3,5,7,9,11,13,15...}

Q:{quadrado, tringulo, retngulo, crculo...}

C:{verde, amarelo, azul, branco}

Relaes entre Conjuntos

Ns j vimos acima a relao de pertinncia, que se estabelece entre
elemento e conjunto. Agora vamos ver a relao de incluso, que se d
entre conjuntos.

Incluso: se cada elemento do conjunto A for tambm elemento de

outro conjunto B, dizemos que A est contido em B ou que A
subconjunto de B.

Quando A e B tm exatamente os mesmos elementos, eles so o

mesmo conjunto: A = B

Para essa relao, valem todas essas propriedades:

Operaes com Conjuntos

So vrias as operaes que podemos fazer envolvendo conjuntos. Vamos
focar nossa ateno nas principais.
Unio de Conjuntos:

Exemplo:

Interseco de Conjuntos

Exemplo:
{0,1,2,3,4}
{1,3,5,7}

B = {1, 3}

erena de Conjuntos

A = {1,2,3,4,5}
B = {2,4,6,8}
A B = {1, 3, 5}

Vamos novamente aplicar os conhecimentos desenvolvidos at agora no

exerccio a seguir:
Com base no diagrama, calcule:

Aplicao em Problemas
Os problemas envolvendo operaes com conjunto no so difceis de
resolver. Entretanto necessrio acompanhar o raciocnio para
compreender os passos da resoluo. E isso que vamos fazer agora.
Leia atentamente o problema e acompanhe a resoluo:

Num curso com 630 alunos, 350 deles estudam matemtica, 210
estudam lgica e 90 deles estudam as duas matrias.

Quantos alunos estudam apenas matemtica?

Quantos alunos estudam apenas lgica?

Quantos alunos estudam matemtica ou lgica?

Quantos alunos no estudam nenhuma das duas matrias?

Resoluo:
1. Primeiro de tudo, vamos montar os conjuntos para cada matria. Ento
temos o conjunto de alunos que estudam matemtica, que chamaremos
de M, e o conjunto de alunos que estudam lgica, que chamaremos de L,
assim:

2. Agora no podemos nos esquecer que existem alunos que estudam as

duas matrias, matemtica e lgica, portanto pertencem ao conjunto M e
tambm ao conjunto L. Dessa forma eles devem ser colocados na
interseco:

3. Depois de colocar os elementos da interseco, vamos colocar os

elementos de M e L. Comeando por M: o enunciado nos diz que so 350
alunos que estudam matemtica, ou seja, o conjunto M deve ter
exatamente 350 elementos. Mas no podemos nos esquecer que j
colocamos nesse conjunto 90 elementos (que so os da interseco).
Ateno: se esses elementos esto na interseco, porque fazem parte
de M e j foram colocados nesse conjunto, de forma que precisam ser
retirados do total de 350. Ficamos ento com 350 menos 90 = 260
4. O mesmo raciocnio seguimos para o conjunto L. So 210 alunos que
estudam lgica, mas na interseco j colocamos 90. Se esses 90
pertencem interseco, pertencem tambm ao conjunto L, portanto
precisam ser tirados dos 210. Ficamos ento com 210 menos 90 = 120

5. Agora fica fcil responder as questes. Na primeira: quantos alunos

estudam apenas matemtica? Se vamos contar os alunos que estudam
apenas matemtica, os que esto na interseco no podem ser
contados, pois eles estudam lgica tambm. Ento temos 260 alunos que
estudam apenas matemtica.
6. Para a segunda questo, o raciocnio o mesmo. Se queremos
responder quantos alunos estudam apenas lgica, no podemos
considerar os da interseco, pois estes estudam matemtica tambm.
Ento temos 120 alunos que estudam apenas lgica.
7. Na terceira questo, precisamos prestar ateno no conectivo ou. Ele
define a operao de unio entre conjuntos. Como j vimos, na unio
consideramos tanto os elementos que pertencem a M como os que
pertencem a L. Os que esto na interseco tambm precisam ser
considerados, pois pertencem aos dois conjuntos. Dessa forma temos 260
que pertencem a M mais 120 que pertencem a L e mais 90 que esto na
interseco, num total de 470.
8. Para a ltima questo, precisamos retornar ao enunciado do problema
que nos diz que este curso possui 630 alunos. Bom, se o total so 630 e
470 estudam matemtica ou lgica fcil descobrir quantos no estudam
essas matrias. 630 menos 470 = 160 alunos.
Atividade no frum:
Agora que voc j viu como podemos resolver um problema envolvendo
conjuntos, vamos ver na prtica como voc vai se sair. Resolva o
problema abaixo e faa a postagem no frum, apontando os resultados
que voc encontrou bem como o raciocnio que voc seguiu para resolvlo.
Ateno: nesse problema aparecem trs conjuntos, ento podemos ter
interseco entre os trs ou entre dois. Em qualquer caso, vale o mesmo
raciocnio do problema anterior.
Uma
editora
estuda
a
possibilidade
de
lanar
novamente
as
publicaes:Helena, Senhora e A Moreninha. Para isto efetuou uma pesquisa
de mercado e concluiu que em cada 1000 pessoas consultadas:

a. 600 leram A Moreninha

b. 400 leram Helena
c. 300 leram Senhora
d. 200 leram A Moreninha e Helena
e. 150 leram A Moreninha e Senhora
f. 100 leram Senhora e Helena
g. 20 leram as trs obras

Calcule:
O nmero de pessoas que leu apenas uma das trs obras.
O nmero de pessoas que no leu nenhuma das trs obras.
O nmero de pessoas que leu duas ou mais obras.
Aprofundando o conhecimento:
Toda a matemtica atual formulada na linguagem de conjuntos, assim,
a noo de conjuntos muito relevante pois a partir dela que todos os
conceitos matemticos podem ser expressos. tambm a mais simples
das idias matemticas.
A linguagem dos conjuntos, hoje universalmente adotada na
apresentao da matemtica, ganhou esta posio porque permite dar
aos conceitos e s proposies desta cincia a preciso e a generalidade
que constituem sua caracterstica bsica.

WEBAULA 4
Unidade 1 A Representao do Pensamento
Durante muito tempo, estudar lgica significava aprender regras
formuladas por Aristteles para distinguir bons e maus argumentos. No
entanto, podemos substituir essa anlise pelo uso de alguns diagramas
simples, relacionados com as proposies categricas das quais tratou
Aristteles. A partir de tais diagramas, por inspeo direta, podemos
avaliar a legitimidade de um argumento. Essa aula vai estudar esses
diagramas.
Diagramas de Eler

Por volta de 1770, o matemtico suo Leonhard Eler, recorreu ao uso de

alguns diagramas para representar as premissas e a concluso dos
argumentos, visando facilitar a compreenso das regras da boa
argumentao. Veja o esquema:
Figura 9
A: conjunto dos possuidores da propriedade a
x: possui a propriedade a
y: no possui a propriedade a
Temos ento os seguintes
proposies bsicas:

diagramas,

PROPOSIO

Nenhum a b

Algum
a
no
(ou Existe a que no b)

Vamos ver alguns exemplos:

1 Exemplo:

quatro

DIAGRAMA DE ELER

Todo a b

Algum
a
(ou Existe a que b)

correspondendo

Todos os patos nadam

P: conjunto de patos
N: conjunto dos seres que nadam
2 Exemplo:
Alguns gorilas nadam.
(ou Existem gorilas que nadam.)
G: conjunto dos gorilas
N: conjunto dos seres que nadam
3 Exemplo:
Nenhum gato nada.
G: conjunto dos gatos
N: conjunto dos seres que nadam

4 Exemplo:
Alguns homens no nadam.
H: conjunto de homens
N: conjunto de seres que nadam

5 Exemplo:
Todos os pases exportadores de petrleo so ricos.
E: conjunto dos pases exportadores de petrleo
R: conjunto dos pases ricos
6 Exemplo:

Todos os pases ricos so exportadores de petrleo.

E: conjunto dos pases exportadores de petrleo
R: conjunto dos pases ricos

7 Exemplo:
Existem pases ricos que no so exportadores de petrleo.

E: conjunto dos pases exportadores de petrleo

R: conjunto dos pases ricos

8 Exemplo:
Existem pases ricos que so exportadores de petrleo.
E: conjunto dos pases exportadores de petrleo
R: conjunto dos pases ricos

9 Exemplo:
Nenhum pas exportador de petrleo pobre.

E: conjunto dos pases exportadores de petrleo

P: conjunto dos pases pobres

Os exemplos foram baseados em MACHADO e DA CUNHA (2005)

Para praticar:

1) O diagrama ao lado representa os seguintes conjuntos: Figura 23

A: conjunto dos caranguejos
B: conjunto dos crustceos
Suponhamos verdadeira a seguinte proposio:Todos os caranguejos so crusteos.

A partir da premissa considerada, verifique se as proposies a seguir so verdadeiras

falsas:
(1) Nenhum caranguejo crustceo.
(2) Alguns caranguejos no so crustceos.
Agora vamos analisar:
A primeira proposio falsa, pois pelo diagrama podemos ver que o
conjunto de caranguejos est inteiro contido no conjunto de crustceos,
ento todo elemento que pertence ao conjunto A (conjunto de
caranguejos) pertence tambm ao conjunto B (conjunto dos crustceos).
A segunda proposio tambm falsa pois no temos elementos do
conjunto A (de caranguejos) fora do conjunto B (de crustceoas). Ento
todo caranguejo crustceo.
2) Considere agora os seguintes conjuntos:
H:conjunto de habitantes do Brasil
B: conjunto dos brasileiros
Suponhamos verdadeiras as seguintes proposies, de acordo com os diagramas:
Existem brasileiros que no moram no Brasil.

Existem habitantes do Brasil que no so brasileiros.

A partir das premissas dadas, verifique se as proposies a seguir so verdadeiras ou fa

(1) Nem todos os brasileiros moram no Brasil.
(2) Todos os habitantes do Brasil so brasileiros.
Agora vamos analisar:
A primeira proposio verdadeira, pois, pelos diagramas, podemos notar
que existem brasileiros que no so habitantes do Brasil. Essa afirmao
equivalente premissa "Existem brasileiros que no moram no Brasil".

J a proposio dois falsa, uma vez que podemos perceber pelos

diagramas que existem habitantes do Brasil que no so brasileiros.
Argumentos e diagramas
Podemos utilizar diagramas como os de Eler como um recurso na
avaliao de um argumento. Os diagramas nos possibilitam o
reconhecimento de uma argumentao vlida ou de um sofisma, mas
devemos ter ateno para ver se a representao dos diagramas
correspondem ao que as premissas afirmam. Vamos estudar alguns
casos:
ARGUMENTO 1:
Todos os paulistas so brasileiros.
Joo paulista.
Logo, Joo brasileiro.
ARGUMENTO VLIDO
ARGUMENTO 2:
Todos os paulistas so brasileiros.

Kelvin no paulista.
Logo, Kelvin no brasileiro.
SOFISMA: Kelvin pode ser ou no brasileiro. No caso de ele ser mineiro, por
exemplo, teramos as premissas verdadeiras e a concluso falsa.
ARGUMENTO 3:
Existem brasileiros que so famosos.

Todas as pessoas famosas so chatas.

Logo, existem brasileiros que so chatos.
ARGUMENTO VLIDO: observe que no estamos afirmando que as premissas
so, necessariamente, verdadeiras, mas apenas que, se elas forem verdadeiras,
ento a concluso tambm ser verdadeira.
ARGUMENTO
Nenhum garimpeiro atleta.

4:

Todos os atletas so saudveis.

Logo, nenhum garimpeiro saudvel.

SOFISMA: o diagrama nos mostra que possvel termos duas simultaneamente
verdadeiras e a concluso falsa.
ARGUMENTO 5:
Todos os tubares so antropfagos.

Existem ndios que so antropfagos.

Logo, existem ndios que so tubares.
SOFISMA: pelo diagrama podemos perceber que possvel satisfazer as
condies enunciadas nas premissas e a falsidade da concluso.
Atividade de frum:
Agora que voc j viu as possibilidades de anlise de argumentos por
meio dos diagramas de Eler, analise os argumentos a seguir, construindo
os diagramas em cada caso, e verifique se eles so vlidos ou no.
No se esquea, poste seus comentrios e concluses no frum para
debate, assim voc pode discutir se suas concluses esto adequadas,
compartilhar conhecimento com os demais, alm de aprender tambm.
A. Todos
os
alemes
Richard
no
Logo, Bacon no era europeu.

A. Todo
caranguejo
Joo
no
Logo, Joo no crustceo.

so
era

europeus.
alemo.

crustceo.
caranguejo.

A. Como existem livros que so verdes e existem coisas verdes

que so comestveis, existem livros que so comestveis.

A. Sabemos que quem tem princpios morais nunca se embriaga.

Ora, o papa nunca se embriaga; logo o papa tem princpios
morais.

A. Nenhum
brasileiro

Nenhum
europeu

Logo, nenhum brasleiro sul-americano.

A. Nenhum
ndio
Todos
os
caets
Logo, nenhum caet tem bigode.

europeu.
sul-americano.

tem
so

A. Alguns
escritores
so
Todos
os
escritores
so
Logo, alguns chatos so alfabetizados.

A. No
existem
capitalistas
Todos
os
mendigos
so
Logo, no existem mendigos capitalistas.

bigode.
ndios.

chatos.
alfabetizados.

pobres.
pobres.

Aprofundando o conhecimento:
Por volta de 1880, Venn, um matemtico ingls, aperfeioou os diagramas
j utilizados anteriormente por Eler, representando conjuntos, sempre
por crculos entrelaados. Nesse tipo de representao, uma regio com
os sinais - no tem elementos, enquanto que uma regio com sinal +
no-vazia, isto , tem elementos. Temos as seguintes correspondncias
com as proposies bsicas:
Na maioria das vezes em que diagramas so utilizados na prtica, os de
Eler que so lembrados, entretanto o nome mais frequente atribudo a
eles diagramas de Venn. Tecnicamente, podemos considerar os
diagramas de Venn um aperfeioamento dos diagramas de Eler,
entretando a representao de Eler muito mais compreensvel do que
a de Venn.

Todo a b

Nenhum a b

Algum a b

Algum a no b

Bibliografia:
MACHADO, N.J.; DA CUNHA, M.O. Lgica e linguagem cotidiana: verdade,
coerncia, comunicao, argumentao. Coleo Tendncias em Educao
Matemtica, Autntica, 2005.