A LGICA MATEMTICA E A SEMNTICA AUXILIANDO NA

APRENDIZAGEM DE ALUNOS DO ENSINO MDIO

Patrcia de Castro Neves
1

Universidade Catlica de Braslia DF
Orientador: Prof. Dr. Ailton Paulo de Oliveira Jnior

RESUMO

A Lgica Matemtica e a Semntica esto relacionadas, na medida que a Lgica a
cincia que coloca ordem nas operaes da razo, a fim de se atingir a verdade. E a tarefa
da Semntica estabelecer em que circunstncias no mundo uma determinada sentena
verdadeira. Este trabalho tem como objetivo mostrar a importncia de se estudar a Lgica
Matemtica aliada Semntica com os alunos do Ensino Mdio, buscando um melhor
desenvolvimento do raciocnio lgico-matemtico, bem como das estruturas da
linguagem. Foram sujeitos da pesquisa 56 alunos do Ensino Mdio de uma escola
particular do Distrito Federal, aos quais foram submetidos a: um pr-teste explorando os
conhecimentos lgico-matemticos e semnticos; uma micro-aula elucidando os temas
abordados no pr-teste; e um ps-teste avaliando a aprendizagem adquirida nos itens
anteriores.

Palavras-chave: lgica matemtica, semntica, ensino, raciocnio lgico-matemtico;
estrutura de linguagem.


1. INTRODUO

O dilogo a seguir uma demonstrao clara de como a lgica matemtica est
intrinsicamente ligada semntica.

- Bom dia senhor Ailton.
- Bom dia meu caro.
- H quanto tempo o professor leciona matemtica?
- H uns 20 anos, por qu?
- Eu deduzi exatamente isso, pois o senhor demonstra amplos conhecimentos na matria.

O ato de perguntar sucede um impulso cerebral do locutor, que sustentado por suposies
e concluses individuais, externa as idias em frases prontas e inteligveis para um
receptor. Este, por sua vez, recebe a mensagem, "decifra-a" e baseado em suas acepes

1
patlinho@hotmail.com
individuais responde a pergunta e elabora uma nova, reiniciando o ciclo de dilogo entre
locutor e receptor. Portanto, semntica estabelecer em que circunstncias no mundo
uma determinada sentena verdadeira

Fazemos julgamentos e construes lgicas constantemente. Por exemplo: ao acordar
temos que decidir se trocamos de roupa ou escovamos os dentes; ao atravessar a rua,
precisamos nos certificar se o semforo est fechado para os carros; quando montamos
um quebra-cabeas, as figuras geomtricas escolhidas devero encaixar-se. Paralelamente
ao raciocnio lgico, entra em ao a semntica, quando o significado das idias que
brotam da nossa cabea, transformam-se em novas circunstncias inteligveis.

Segundo Copi (1978), uma pessoa com conhecimentos de lgica tem mais probabilidades
de raciocinar corretamente do que aquela que no se aprofundou no estudo desse tema. A
lgica auxilia no desenvolvimento do raciocnio, da ordem das idias e juzos. Ora, a
linguagem, para Tobias (1966), no seno a expresso de idias, juzos e raciocnios.

A lgica matemtica, que tambm conhecida por lgica formal proposicional, pode
auxiliar no discurso da linguagem, assim como o discurso da linguagem pode auxiliar no
desenvolvimento lgico-matemtico. O raciocnio lgico-matemtico auxilia na
compreenso e coerncia de textos, evitando assim os problemas de ambigidade na
interpretao, pois de acordo com Montague (1974) citado por Oliveira (2001), as lnguas
naturais so sistemas lgicos.

Sendo assim, a importncia desse trabalho est no intuito de adentrarmos no paralelo
entre lgica matemtica e semntica, buscando justificar a necessidade de incluirmos esse
assunto nas disciplinas curriculares do ensino de Matemtica.

2. LGICA MATEMTICA E SEMNTICA

De acordo com Tobias (1966), a Lgica a cincia que coloca ordem nas operaes da
razo para se atingir verdade. A Lgica natural aquela que todo ser humano dotado do
uso normal de suas faculdades mentais possui. Ainda segundo Tobias (1966) a Lgica
artificial a lgica natural adquirido por meio de livros e experincias, e tambm
chamada lgica cientfica ou simplesmente lgica. A seguir, iremos definir alguns
conceitos importantes para uma melhor compreenso da Lgica Matemtica.

Desta forma, proposio um conjunto de palavras ou smbolos que exprimem um
pensamento. Para Copi (1978), os termos proposio e enunciado no so sinnimos, mas
no contexto da investigao lgica, so usados numa acepo quase idntica. As
proposies simples so usualmente designadas por letras latinas minsculas, tais como
p, q, r, s, dentre outras. As proposies compostas so geralmente designadas por letras
latinas maisculas A, B, C, e outras. Tem-se, por exemplo:

p: Marte um planeta.
P: Brasil um pas e sia um continente.

A Lgica Matemtica definida por Tobias (1966) dotada de smbolos, tendo como
princpios bsicos: o princpio da no contradio e o princpio do terceiro excludo.

O Princpio da no contradio diz que uma proposio no pode ser falsa e verdadeira
simultaneamente. Por exemplo, a proposio Maria casada e solteira vai contra este
princpio, pois ou ela casada ou ela solteira, no podendo possuir os dois estados
civis. Segundo Silva (1978) impossvel que uma coisa seja e no seja ao mesmo tempo.

O Princpio do terceiro excludo quer dizer que toda proposio ou verdadeira ou
falsa, no assumindo um outro valor lgico, ou seja, toda proposio tem um, e s um
valor lgico, ou a verdade (V) ou a falsidade (F).
Para o semanticista Chierchia (2003), o conceito de verdade tem a ver com a relao
entre um enunciado e a realidade que ele descreve. Segundo ele, existem trs
possibilidades para um enunciado: ele pode ser verdadeiro, falso ou inadequado
(destitudo de valor de verdade). Um enunciado inadequado aquele em que no
possvel determinar se o mesmo verdadeiro ou falso. Segundo o lgico Frege (1978)
citado por Oliveira (2001), negamos ou afirmamos uma sentena se admitimos que sua
pressuposio de existncia verdadeira. Se a pressuposio de existncia falsa, ento
no podemos afirmar que a sentena ou falsa ou verdadeira, ou seja, a sentena
destituda de valor de verdade. Considere as seguintes proposies a seguir:

p: A Terra gira em torno do Sol.
q: O Sol gira em torno da Terra.

O valor lgico da proposio p verdade, e denotamos como V(p) = V; o valor lgico da
proposio q falsidade, ou seja, V(q) = F.

Os conectivos so palavras que so utilizadas para a formao de proposies compostas
a partir de proposies simples. Os conectivos usuais da Lgica matemtica que faro
parte deste estudo so: e, ou, no e se... ento.... O conectivo que chamamos de
bicondicional, ...se e somente se..., no foi abordado nesse estudo devido a percepo
do nvel de dificuldade dos alunos, pois no tinham noes sobre Lgica Matemtica e
tambm devido ao curto tempo para a aula terica. Desta forma, foi preciso escolher
conectivos mais simples, e que fossem possveis de estud-los mais rapidamente.

H uma simbologia utilizada para os conectivos na lgica matemtica:

- no (negao) designado pelo smbolo ~ ;
- e (conjuno) designado pelo smbolo ;
- ou (disjuno) - h dois tipos de disjuno: a disjuno inclusiva, que
representada pelo smbolo e a disjuno exclusiva, que representada
pelo smbolo ;
- se ...ento... (condicional) designado pelo smbolo .

As seguintes sentenas so exemplos de proposies compostas obtidas atravs de
proposies simples e dos conectivos. Sejam as proposies simples p e q definidas a
seguir e a formao, a partir das proposies simples, de proposies compostas
utilizando os conectivos acima apresentados. Faremos a representao das proposies
seguintes na estrutura de tabela-verdade, que ser definida posteriormente.

p: O nmero 5 mpar.
q: O nmero 16 quadrado perfeito.
~p: O nmero 5 no mpar. (negao)
P: O nmero 5 mpar e o nmero 16 quadrado perfeito. (conjuno)
Q: O nmero 5 mpar ou o nmero 16 quadrado perfeito. (disjuno)
R: Se o nmero 5 mpar, ento o nmero 16 quadrado perfeito. (condicional)

A tabela-verdade um dispositivo na qual aparecem todos os valores lgicos possveis de
proposies compostas correspondentes a todos os valores lgicos possveis atribudos s
proposies simples componentes. Assim, por exemplo, a tabela-verdade de uma
proposio simples p apresentada da seguinte forma:

p
V
F

Os primeiro valor lgico para a proposio p a Verdade e o segundo e ltimo valor
lgico possvel a Falsidade.

A tabela-verdade de duas proposies simples p e q apresentada a seguir:


p q
V V
V F
F V
F F

As possveis atribuies de valores lgicos para duas proposies simples so as
combinaes VV, VF, FV e FF, arranjos binrios com repetio dos elementos V e F.
Consideremos as proposies simples p e q e a formao de proposies compostas
explicitadas a seguir:

Se p designado como: O nmero 5 mpar ento, ~p ( que se l: no p)
designado por O nmero 5 no mpar. Temos desta forma, utilizando a tabela-
verdade que, sendo p uma Verdade, ~p transformasse em uma afirmao Falsa; sendo
que o contrrio tambm se observa: sendo p uma afirmao Falsa, ~p transformasse em
uma afirmao verdadeira. Do exemplo acima exposto temos que p uma afirmao
verdadeira, portanto, a sua negao transformasse em uma afirmao Falsa. Agora se p
for uma afirmao falsa como p: O nmero 5 par, ento: ~p: O nmero 5 no par,
passa a ser uma afirmao verdadeira. E, portanto, podemos observar na tabela-verdade a
seguir.



p ~p
V F
F V

Se p designada como O nmero 5 mpar, e q designada como O nmero 16
quadrado perfeito, ento a conjuno p q (que se l: p e q) designada por p q:
O nmero 5 mpar e o nmero 16 quadrado perfeito.



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

Note na tabela-verdade acima que uma proposio composta formada pela juno de duas
proposies simples pela conjuno e () s verdadeira quando ambas proposies
simples so verdadeiras. Basta que uma delas seja falsa para a conjuno ser igualmente
falsa.

Partindo da juno das proposies p e q definidas anteriormente, temos que a disjuno
inclusiva ou ( ) designada por p q (que se l: p ou q): O nmero 5 mpar ou o
nmero 16 quadrado perfeito.



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

Na disjuno inclusiva, o valor lgico verdade (V) quando ao menos uma das
proposies p e q verdadeira e falsidade (F) quando as proposies p e q so falsas.

Foi escolhida outra proposio composta para exemplificarmos a disjuno exclusiva, a
partir das proposies r e s, pois ao nosso ver torna-se mais simples a compreenso, uma
vez que na tabela-verdade da disjuno exclusiva quando ocorre de as proposies
simples serem ambas verdadeiras, o valor lgico resultante a falsidade. Considere as
seguintes proposies simples:

r: Maria baiana.
s: Maria paulista.

A disjuno exclusiva ou ( ) designada por r s (que se l: r ou s ou ou r ou
s).



r s r s
V V F
V F V
F V V
F F F

Na disjuno exclusiva, o valor lgico verdade (V) somente quando r verdadeira ou s
verdadeira, mas quando r e s so ambas verdadeiras ou ambas falsas, seu valor lgico
falsidade (F). Podemos perceber na proposio T que somente uma das proposies
simples Maria baiana ou Maria paulista verdadeira, no podendo ocorrer que as
duas o sejam. Ento excluda a possibilidade de ambas proposies simples serem
verdadeiras.

Note que h duas formas de fazer a leitura da proposio composta T:

T: Maria baiana ou Maria paulista.
T: Ou Maria baiana ou Maria paulista.

Na linguagem, quando utilizada a segunda forma de leitura ou...ou..., fica claro para o
ouvinte que trata-se de uma disjuno exclusiva, mesmo sem conhecer ou entender o
contedo das proposies simples. Isso no ocorre quando utilizada a primeira forma de
leitura ...ou..., pois essa disjuno poder ser tanto a inclusiva como a exclusiva, da
ser preciso conhecer as proposies simples para julgar de qual disjuno se trata.

Considerando as mesmas proposies p e q, temos que a condicional representada por
pq (que se l: se p ento q): Se o nmero 5 mpar ento o nmero 16 quadrado
perfeito.



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

Na condicional pq, p chamado de antecedente e q de conseqente. O nico caso em
que o valor lgico da condicional falsidade (F) quando o antecedente possui valor
lgico de verdade (V) e o conseqente possui valor lgico da falsidade (F), pois o
antecedente condio suficiente para q. Logo, sendo o antecedente verdadeiro, o
conseqente tambm precisa ser.

3. APLICAO E RESULTADOS

A pesquisa ocorreu em trs momentos distintos: no primeiro momento foi aplicado um
pr-teste para alunos da primeira srie do Ensino Mdio, envolvendo questes de lgica,
sendo que os alunos no sabiam sobre qual tema seria o teste. O objetivo desse teste foi
sondar o conhecimento dos alunos acerca do tema abordado. Aproximadamente dois
meses depois foi ministrada uma micro-aula aos alunos, em que foram abordadas
questes sobre Lgica Matemtica com o auxlio da semntica, bem como a correo e
comentrios de algumas questes do pr-teste. Finalmente, no dia seguinte, foi aplicado
um ps-teste envolvendo o assunto tratado anteriormente de forma similar ao pr-teste. O
objetivo do ps-teste foi verificar se houve melhora significativa na compreenso do
assunto abordado.

3.1. PR-TESTE

A aplicao do pr-teste, anexo I, ocorreu no dia 11 (onze) de agosto de 2006 (dois mil e
seis) com 59 (cinqenta e nove) alunos do 1 ano do Ensino Mdio de uma escola
particular localizada na Asa Sul, no Distrito Federal, e teve durao de 30 (minutos).
Estes alunos esto divididos em duas turmas: 1 ano A com 30 (trinta) alunos e 1 ano B
com 29 (vinte e nove) alunos. A aplicao aconteceu no perodo de aula dos alunos, mais
especificamente durante aula de matemtica.

Os alunos foram esclarecidos sobre o que deveriam fazer e em que consistia essa
pesquisa. A princpio, tiveram alguma resistncia: uns tiveram medo de no saber
responder o teste; outros se preocuparam com o tempo de aula perdido.

Quando foi entregue o teste, alguns alunos perguntaram o que aquela aula tinha a ver com
a matemtica. Para eles, o teste estava mais para a disciplina de portugus do que para a
disciplina de matemtica. Eles no viram nenhuma relao do teste com a matemtica, a
no ser no que diz respeito ao raciocnio. No entanto, a maioria dos alunos no primeiro
momento no achou o teste difcil de se responder ou de grande complexidade para
entender.

Foi feita a leitura do teste juntamente com os alunos antes que comeassem a resolv-lo.
E nesta etapa comearam a aparecer os problemas. Alguns alunos tiveram muita
dificuldade para entender os enunciados das questes. Eles no sabiam o que era para
fazer, a comear da primeira questo, em que o enunciado pedia para reescrever algumas
sentenas prontas, fazendo a negao das mesmas, por exemplo, foi dada a sentena:
No verdade que Maria cantora. Os alunos deveriam reescrev-la da seguinte forma:
verdade que Maria cantora ou apenas Maria cantora, pois ambas as frases so a
negao da primeira.

Outra grande dificuldade foi entender o enunciado da terceira e ltima questo, que
tratava dos silogismos, em que eram apresentados alguns argumentos e eles precisavam
escrever o que acreditavam ser a concluso de cada um deles. O primeiro argumento
estava pronto, com as premissas e a concluso, para servir de exemplo, porm, isso no
serviu de ajuda para alguns alunos. Eis um dos argumentos que eles precisavam concluir:

Se uma mulher careca, ela infeliz.
Se uma mulher infeliz, ela morre jovem.
Logo,... .

Os alunos deveriam ser capazes de deduzir a concluso do argumento acima apresentado,
que Se uma mulher careca, ela morre jovem. Segundo Oliveira (2001), o fenmeno
de deduzir sentenas de outras sentenas tem sido chamado de acarretamento ou
conseqncia lgica.

A maioria dos alunos fez o teste em aproximadamente 20(vinte) minutos, sendo que
poucos levaram entre 21 (vinte e um) e trinta (minutos). E alguns, ao final do teste, me
perguntaram quando poderiam ter os resultados e a correo do mesmo.

3.2. MICRO-AULA SOBRE LGICA MATEMTICA

A micro-aula sobre Lgica Matemtica aconteceu no dia 05 (cinco) de outubro de 2006 e
teve durao de aproximadamente 25 (vinte e cinco) minutos. A princpio, havia sido
pensado em 50 (cinqenta) minutos para abordar o tema, porm, no foi possvel devido
ao nmero de aulas que os alunos ainda precisavam ter para concluir o ano letivo.

Para otimizar o tempo que teramos para ministrar a micro-aula, foi explicado aos alunos
que eles no precisariam copiar nada, mas que era preciso muita ateno no momento da
explicao, e que seria aceitvel qualquer pergunta acerca do contedo explicado.

Os alunos de ambas as turmas no se demonstraram muito interessados no assunto.
Observamos que alguns deles ficaram conversando com os colegas enquanto estvamos
frente da turma tentando explicar; outros abaixaram a cabea e tentaram dormir e; outros
fazendo desenhos no caderno. Portanto, totalmente dispersos, e em quase nenhum
momento estiveram atentos ao contedo que a eles era ministrado.

Os alunos mostraram-se impacientes com aquele contedo j que no pertence grade
curricular deles. Mesmo assim podemos observar durante o ano letivo que em vrias
aulas alguns alunos no se demonstraram interessados nem por assuntos do contedo
programtico. Percebemos que desejavam que eu falasse sobre esse tema apenas por no
terem que continuar no contedo que eles esto estudando no momento, como se fosse
uma fuga aos contedos do currculo.

Pelo tempo disponvel para a apresentao do contedo, precisamos reduzir ao mximo o
que seria tratado. Resolveu-se abordar os seguintes tpicos: princpios da no contradio
e do terceiro excludo; proposies; valor lgico; conectivos e; silogismos; sempre
acompanhados de exemplos. Alguns desses tpicos constam tanto no Pr-teste quanto no
Ps-teste que os alunos fizeram, e outros, como os dois princpios e valor lgico so
imprescindveis no estudo da Lgica Matemtica. Posteriormente, fizemos a correo do
pr-teste feito por eles em agosto. Decidiu-se fazer essa correo porque os alunos
pediram que fosse feita, j que estavam curiosos para saber como tinham se sado, sendo
que pelo pouco tempo disponibilizado, foi feita oralmente.

Conforme a aula discorria, alguns alunos diziam no estarem entendendo o contedo e
com freqncia perguntavam se era mesmo uma aula de matemtica. Percebemos que a
grande maioria dos alunos acredita que matemtica feita somente de nmeros, clculos
e formas. Alguns disseram que a aula estava parecendo mais uma aula de portugus e no
de matemtica.

Foi possvel perceber durante a aula que os alunos no tinham noes sobre lgica
matemtica, ou muito provavelmente nunca ouviram falar sobre tal tema. Alguns se
demonstraram interessados em saber mais sobre Lgica ao final da aula. Eles disseram
que acharam o assunto bem interessante e diferente de tudo o que eles esto acostumados
a estudar, no s em matemtica, mas tambm em outras disciplinas. Nunca outro
professor abordara tal assunto ou algo parecido.

3.3. PS-TESTE

A aplicao do ps-teste, anexo II, aconteceu no dia 06 (seis) de outubro de 2006 (dois
mil e seis) com 61 (sessenta e um) alunos do 1 ano do ensino mdio da mesma escola
particular no Distrito Federal onde ocorreu a aplicao do pr-teste e a micro-aula sobre o
tema, e teve durao de 25 (vinte e cinco) minutos. Na aplicao do ps-teste, 27 (vinte e
sete) alunos estavam presentes, ou seja, dois a mais do que na aplicao do pr-teste.

Os alunos foram esclarecidos sobre o que deveriam fazer em cada uma das questes,
assim como no pr-teste e insisti para que colaborassem. Na aplicao do ps-teste
percebemos um melhor desenvolvimento do que no pr-teste, pois os alunos j estavam
cientes do que trata a pesquisa, e alm do mais, o ps-teste foi elaborado de forma
parecida com o pr-teste, para possibilitar futuras comparaes.

Na primeira questo os alunos deveriam reescrever as sentenas propostas de forma que
fosse feita a negao das mesmas. Na segunda questo foram apresentadas sentenas
utilizando o conectivo ou (disjuno), e os alunos precisavam identificar qual era o tipo
de disjuno (inclusiva ou exclusiva) presente em cada frase Um delas, por exemplo,
propunha que: Carlos mdico ou professor e a terceira e ltima questo eram sobre
argumentos do tipo:

Se chove, Paloma fica resfriada.
Paloma no ficou resfriada.
Logo, no choveu.

Os alunos deveriam deduzir a concluso dos argumentos a partir das premissas
apresentadas.

Muitos alunos fizeram o teste em aproximadamente 15 (quinze) minutos, e quase todos
terminaram em 20 (vinte) minutos. Ao final do teste ficaram comentando as questes e
me perguntaram as respostas, principalmente as respostas da ltima questo, sobre os
silogismos. Antes mesmo que eu perguntasse, eles declararam que o ps-teste fora mais
fcil que o pr-teste e que a micro-aula foi muito vlida para a resoluo das questes do
ps-teste.

3.4. RESULTADOS

Foi utilizado o Teste de Normalidade de Kolmogorov-Smirnov para testar a hiptese de
normalidade das variveis quantitativas do estudo, ou seja, se a distribuio dos dados
seguem uma curva de Gauss. Como foi confirmada a hiptese de normalidade, a
utilizao do teste t-Student para amostras independentes, que visa determinar diferenas
significativas entre mdias, ou seja, se estas so suficientemente grandes para que se
possa afirmar que a probabilidade de que tenham ocorrido por mero acaso seja menor que
0,05. Ao aceitar o nvel de 0,05 como nosso critrio, quer dizer que estamos dispostos a
aceitar um risco de 5% de estarmos errados.

Em todas as anlises ser calculado o p-value associado hiptese de nulidade (H
0
), ou
seja, no h diferena estatisticamente significativa entre os grupos comparados.
O p-value mede a evidncia a favor de H
0
e, desse modo, um grande valor desta medida
corresponde a uma grande evidncia a favor da hiptese nula. Ser considerado um valor
inferior a 0,05 para que a medida seja estatisticamente significante, ou seja, que apresente
diferena estatisticamente significativa entre os grupos.

Tabela 1 Estatstica t student e o respectivo p-value para a comparao do pr-teste e do ps-
teste da turma A, da turma B e das turmas A e B conjuntamente.
Turma A Turma B Turmas A e B
Estatstica t 0,1736 2,7257 1,9755
p-value 0,8635 0,0109* 0,0532
* p-value < 0,05 apresenta diferena estatisticamente significativa.

Observamos na tabela 1 que no houve diferena significativa entre o pr e o ps-teste na
turma A, porm, na turma B os alunos, em geral, obtiveram melhores resultados no pr-
teste. Quando os resultados foram considerados conjuntamente (turmas A e B) possvel
verificar que no h diferena significativa entre o pr e o ps-teste. A tabela 2 mostra
estatsticas descritivas que vem a corroborar os resultados obtidos pelo teste t para
comparao de mdias.


Tabela 2 Estatsticas Descritivas para o pr-teste e o ps-teste da turma A, da turma B e das turmas
A e B conjuntamente.
Turmas Estatstica Mdia Desvio Padro Mximo Mnimo
Pr-teste 59,6 16,3 90 20 Turma A
Ps-teste 58,8 18,5 100 30
Pr-teste 56,6 17,4 100 20 Turma B
Ps-teste 46,2 22,1 80 0
Pr-teste 58,0 16,8 100 20 Turma C
Ps-teste 52,3 21,2 100 0


Acredita-se que os fatores que influenciaram o baixo rendimento dos alunos no ps-teste
foram: o tempo destinado micro-aula, ou seja, apenas vinte e cinco minutos, portanto,
insuficiente para que eles tivessem um bom entendimento acerca do assunto; os alunos
no haviam estudado lgica; desinteresse dos alunos pela pesquisa; falta de interesse nas
diversas matrias do contedo programtico do currculo escolar, bem como de
contedos extracurriculares.

Cabe ressaltar o contexto do momento em que os alunos foram submetidos micro-aula e
tambm ao ps-teste. Eles estavam se preparando para um momento repleto de trabalhos,
exerccios e pesquisas a serem entregues para os professores de quase todas as
disciplinas, justamente aps um perodo de feriado, e prximo semana de provas.
Acreditamos que estivessem estressados com tantas atividades e com tantos contedos a
serem estudados para as provas.

4. CONCLUSES E RECOMENDAES

O dia a dia de um ser humano em so juzo regido por uma seqncia de decises e
aes que perfeitamente encontram explicao nos fundamentos da Lgica Matemtica e
da Semntica. O Ensino Mdio tem a obrigao de formar mentes que saibam pensar,
criticar e tomar decises certas no meio em que vivem. A insero desse contedo nas
disciplinas de matemtica e lngua portuguesa ir fomentar o crescimento do pensamento
lgico nos estudantes, abrindo o leque tambm para uma anlise crtica de outras
disciplinas.

As empresas exigem profissionais com apurado raciocnio lgico; o mercado de trabalho
premia as carreiras que tm essa competncia; concursos pblicos e vestibulares exigem
isso dos candidatos nas provas de matemtica e interpretao de textos.

Sugerimos que o estudo da Lgica Matemtica com o auxlio da semntica faa parte do
contedo programtico para o Ensino Mdio, tornando-o obrigatrio na rea de
matemtica e lngua portuguesa, e estendendo-o facultativamente s demais disciplinas,
como um projeto de interdisciplinaridade.

5. REFERNCIAS BIBLIOGRFICAS

CHIERCHIA, Gennaro. Semntica. So Paulo: Eduel, 2003.
COPI, Irving Marner. Introduo Lgica. Traduo de lvaro Cabral. 2
a
ed. So Paulo:
Mestre Jou, 1978.
FREGE, Gottlob. Lgica e Filosofia da Linguagem. So Paulo: Cultrix, 1978 apud
OLIVEIRA, Roberta Pires de. Semntica Formal: uma breve introduo. So Paulo:
Mercado de Letras, 2001.
MONTAGUE, Richard. Formal Philosophy: Selected Papers of Richard Montague. New
Haven: Yale University Press, 1974 apud OLIVEIRA, Roberta Pires de. Semntica
Formal: uma breve introduo. So Paulo: Mercado de Letras, 2001.
OLIVEIRA, Roberta Pires de. Semntica Formal: uma breve introduo. So Paulo:
Mercado de Letras, 2001.
SILVA, Edson Nunes da. Elementos Estruturais da Lgica. Bahia,1978.
TOBIAS, Jos Antnio. Lgica e Gramtica. So Paulo: Herder, 1966.
ANEXO I
Questo 1 - Escreva a negao de cada sentena abaixo:

a) O Sol um planeta. __________________________________________________________

b) Buenos Aires no a capital do Brasil.___________________________________________

c) falso que Maria cantora. ___________________________________________________

d) Nenhuma baleia vive fora dgua._______________________________________________

e) No verdade que no est frio ou que est nevando.________________________________

Questo 2 - Imagine que voc esteja em uma banca de jornal com R$ 10,00 para comprar
duas revistas: a revista A e a revista B. Considere as seguintes situaes:

a) O vendedor lhe diz: Com R$10,00, voc pode levar a revista A e a revista B.
Explique o que voc entendeu da frase acima, e responda quantas revistas voc poder levar.
______________________________________________________________________________
______________________________________________________________________________
______________________________________________________________________________
b) O vendedor lhe diz: Com R$10,00, voc pode levar a revista A ou a revista B.
Explique o que voc entendeu da frase acima, e responda quantas revistas voc poder levar.
______________________________________________________________________________
______________________________________________________________________________
______________________________________________________________________________
c) O vendedor lhe diz: Com R$10,00, voc pode levar ou a revista A ou a revista B.
Esta sentena quer dizer a mesma coisa da sentena anterior? Responda quantas revistas voc
poder levar.
______________________________________________________________________________
______________________________________________________________________________
______________________________________________________________________________
Questo 3 Complete as lacunas de acordo com o que voc pode concluir de cada
argumento conforme o exemplo a seguir.

Toda criana gosta de brincar.
Pedrinho uma criana.
Logo, Pedrinho gosta de brincar.

a) Se 6 no par, ento 3 no primo.
Mas 6 par.
Logo, ____________________________
c) Se trabalho, no posso estudar.
Trabalho ou passo em matemtica.
Trabalhei.
Logo, ____________________________
b) Se uma mulher careca, ela infeliz.
Se uma mulher infeliz, ela morre jovem.
Logo, ____________________________
d) Os bebs so ilgicos.
Ningum que consiga dominar um crocodilo desprezado.
As pessoas ilgicas so desprezadas.
Logo, ______________________________________

ANEXO II
Questo 1 - Escreva a negao de cada sentena abaixo:

a) No verdade que hoje no domingo. ____________________________________________

b) Hoje sbado e Joo
mdico.______________________________________________________________

c) Todos os homens so mortais.
______________________________________________________________

d) 0 1
2
+ x ___________________________________________________________________

e) 7 3 4 = + ____________________________________________________________________

Questo 2 Diga se nas sentenas abaixo a disjuno (ou) inclusiva ou exclusiva.

a) Carlos mdico ou professor. ___________________________________________________

b) Paula Gacha ou
mineira._________________________________________________________________

c) Eu viajarei para Roma ou
Paris.______________________________________________________________

d)Suely fala ingls ou alemo.
_________________________________________________________________

e) 0 = x ou 0 > x ________________________________________________________________

Questo 3 Complete as lacunas de acordo com o que voc pode concluir de cada
argumento conforme o exemplo a seguir.

Toda criana gosta de brincar.
Pedrinho uma criana.
Logo, Pedrinho gosta de brincar.

a) Se chove, Paloma fica resfriada.
Paloma no ficou resfriada.
Logo, ____________________________
c) Se y x , ento z x
Se z x , ento 0 x
Mas 0 = x
Logo, _________________________________________

b) Se 8 par, ento 3 no divide 7.
Ou 5 no primo ou 3 divide 7
Mas 5 primo
Logo, ____________________________

d) Os bebs so ilgicos.
Ningum que consiga dominar um crocodilo desprezado.
As pessoas ilgicas so desprezadas.
Logo, ______________________________________