PROGRAMA

e
Metas Curriculares
Matemtica A

Lgica e Teoria dos Conjuntos

Antnio Bivar, Carlos Grosso, Filipe Oliveira, Lusa Loura, Maria Clementina Timteo

Lgica e Teoria dos Conjuntos

O tema de Lgica e Teoria dos Conjuntos faz parte do programa ainda em vigor, ainda
que como Tema transversal:

Lgica e Teoria dos Conjuntos

Tambm se explicita como devem (e como no devem) ser tratados os temas
transversais, incluindo portanto a Lgica e Teoria dos Conjuntos:

Lgica e Teoria dos Conjuntos

Assim, o tema de Lgica e Teoria dos Conjuntos no constitui uma novidade do
Programa de 2014, relativamente ao ainda em vigor.
No entanto, de acordo com a filosofia do novo programa, tal como em todos os outros
domnios, muito maior a explicitao dos contedos, embora, como se verificou, j
fossem genericamente referidos no programa anterior.

Em contrapartida, tambm de acordo com os propsitos expressos no novo programa,

no h directivas rgidas relativamente ao modo como os contedos devem ser
abordados, para alm de se estabelecer o ano lectivo no fim do qual determinados
contedos j devem ter sido lecionados, divergindo-se neste caso expressamente do
que o programa em vigor recomenda.
Deste modo, no se impede nem se desaconselha aos professores a abordagem destes
temas como contedo em si ou de os localizarem temporalmente na lecionao,
ou seja, de dedicarem aulas ou partes de aulas a esclarecer questes e introduzir temas
de Lgica e Teoria dos Conjuntos enquanto tais.
No entanto, tambm no se impede, nem se desaconselha, que os professores utilizem
muitas vezes ou at preferencialmente, situaes concretas de temas a lecionar ou de
reviso do Ensino Bsico para introduzirem e utilizarem os conceitos e resultados
bsicos deste domnio, como era exclusivamente recomendado no programa em vigor.

Lgica e Teoria dos Conjuntos

O programa de 2014 determina:
O domnio Lgica e Teoria dos Conjuntos pode ser considerado central neste ciclo de
estudos, uma vez que rene temas fundamentais e transversais a todo o Ensino
Secundrio. Comea-se por introduzir algumas operaes sobre proposies, de forma
intuitiva e no contexto de uma Lgica bivalente em que valem os Princpios de no
contradio e do terceiro excludo. Em seguida, estudada a quantificao universal e
existencial de condies e a relao entre operaes sobre condies e sobre os
respetivos conjuntos-soluo, assunto que j tinha sido visitado, de forma menos
especfica, no Ensino Bsico. , ainda, a oportunidade para traduzir numa linguagem
prpria das teorias aqui desenvolvidas algumas tcnicas elementares de demonstrao,
como a prova da igualdade entre conjuntos por dupla incluso ou a prova de uma
implicao pelo contrarrecproco. De acordo com os princpios gerais de interpretao
das Metas Curriculares, tal como esto enunciados na respetiva introduo, este estudo
pode, naturalmente, ser integrado no tratamento de contedos pertencentes a outros
domnios assim como em revises de contedos de anos anteriores.

Lgica e Teoria dos Conjuntos

J no Ensino Bsico, tanto no programa de 2007 como no novo programa se referia o
raciocnio matemtico e questes afins, como a axiomatizao enquanto temas a
serem tratados, mas tambm aqui, no novo programa do Bsico, houve uma maior
explicitao (GM9-1):

Lgica e Teoria dos Conjuntos

(Observao: no descritor 1.3 no se pretende contradizer o 1 Teorema de Gdel! As
proposies verdadeiras que se referem so as que podem ser demonstradas
utilizando os processos dedutivos admitidos na teoria em questo, pelo que no se
nega a existncia de verdades semnticas como as que Gdel mostrou existirem, cuja
veracidade pode ser argumentada logicamente mas que no podem ser demonstradas
formalmente na teoria em que se podem exprimir, desde que esta tenha as
caractersticas das hipteses do referido Teorema. A este nvel tambm no se est,
evidentemente, a formalizar rigorosamente o que se entende por demonstrar ou
deduzir logicamente.)
Noes informais acerca de conjuntos tambm j vinham a ser introduzidas desde o
primeiro ano de escolaridade:
NO1-1:

Lgica e Teoria dos Conjuntos

OTD1-1:

NO2-7:

OTD2-1:

OTD2-3:

Lgica e Teoria dos Conjuntos

ALG7-3:

GM9-4:

Ao longo de todo o Ensino Bsico utiliza-se extensamente a linguagem dos conjuntos e

desde o 1 ciclo se relacionam conjuntos com condies, por exemplo, ao relacionaremse diagramas de Venn com diagramas de Carroll, na definio de conjunto-soluo de
equao ou no conceito de lugar geomtrico, em que expressamente se traduz essa
relao na linguagem tradicional da Geometria elementar.
No 10 ano sistematizam-se conhecimentos acerca de operaes lgicas sobre
proposies e consequentemente sobre condies e as respectivas relaes com
operaes sobre conjuntos, o que ser completado no 12 ano. Trata-se de uma boa
ocasio para rever contedos abordados no Ensino bsico, nomeadamente de
Geometria (mas no s), agora com ateno especial ao rigor e correco do raciocnio.

Lgica e Teoria dos Conjuntos

Essas ocasies vo multiplicar-se ao longo de todo o Ensino secundrio, permitindo uma
consolidao dos conceitos e propriedades abordados neste domnio.
No 10 os contedos especificados para este domnio so os seguintes, comeando com
os conceitos mais bsicos (LTC10-1):

Lgica e Teoria dos Conjuntos

Em seguida pretende-se provar algumas propriedades das operaes acima

introduzidas, tal como se pediu a justificao (elementar) da lei da dupla negao.

Lgica e Teoria dos Conjuntos

No se pretende que se demonstrem exaustivamente todas as propriedades que se
seguem, mas que se exemplifiquem algumas dessas demonstraes (o que se assinala
com o smbolo #).
Para o efeito podem utilizar-se tanto tabelas de verdade como, em alternativa,
argumentos que as dispensem baseados nas definies ou em propriedades antes
verificadas. Tambm ser oportuno examinarem-se exemplos concretos em diversos
domnios dentro e fora da Matemtica. Temos assim:

Lgica e Teoria dos Conjuntos

Por exemplo, para estabelecer a propriedade distributiva da conjuno relativamente

disjuno podemos utilizar a seguinte tabela:

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Sistematiza-se em seguida a relao entre condies e conjuntos e introduzem-se os
quantificadores.
Note-se que a relao estabelecida entre condies e proposies dispensa que se
tenham de definir as operaes atrs introduzidas no quadro das condies.
Refiram-se algumas das principais limitaes da abordagem seguida, resultantes da
preocupao de no aumentar indevidamente o grau de complexidade deste domnio:

- No se referiu explicitamente a distino entre termo ou designao e objecto

nem se introduziu a noo de expresso designatria.
- Neste domnio apenas se tratam explicitamente condies com uma s varivel e
consequentemente as quantificaes mltiplas so tratadas em todo o programa de
modo menos formalizvel do que as simples.

Lgica e Teoria dos Conjuntos

Analisemos agora uma das opes do programa relativa introduo das condies. A
discusso que se segue no se destina, evidentemente aos alunos, mas pretende-se que
esclarea algumas dvidas que se podem colocar a professores e autores de manuais.
Na definio de expresso proposicional ou condio optou-se por no fixar partida um
universo como domnio para a varivel. Com efeito, as condies mais primitivas que
permitem a construo dos conjuntos bsicos que intervm nas teorias matemticas
envolvem variveis representadas por letras e que, intuitivamente, representam objectos
genricos da Matemtica os quais no constituem, partida, um conjunto.
Desta forma, nesses casos, as variveis podem ser substitudas por quaisquer termos
(expresses representando objectos matemticos), sem que se limite partida essa
substituio a elementos de um conjunto pr-fixado, e tal substituio conduz sempre a
uma expresso admissvel, trate-se ou no de uma proposio verdadeira.

Lgica e Teoria dos Conjuntos

A possibilidade de construir um conjunto atravs de uma dada condio com uma varivel
fica regulada pelos axiomas utilizados para a Teoria dos Conjuntos, sendo certo que nem
todas as condies admissveis permitem definir um conjunto no sentido acima referido.

medida que se vo definindo conjuntos atravs de condies progressivamente mais

elaboradas e introduzindo as habituais abreviaturas da linguagem matemtica depois
usual utilizar condies em cuja formulao fica explcito ou implcito que todos os
objectos que a transformam numa proposio verdadeira, por substituio da varivel
por um termo representando um desses objectos, pertencem a determinado conjunto j
definido.
Uma tal condio pode assim considerar-se associada a determinado conjunto que pode
ser designado por universo dessa condio e que se sabe a priori conter todos os
objectos que satisfazem a referida condio. Do mesmo modo, nas condies utilizadas
na linguagem comum, habitualmente considera-se implcita ou explicitamente que a
varivel representa um objecto genrico de determinado domnio de variao que se
supe fixado.

Lgica e Teoria dos Conjuntos

Como exemplo envolvendo condies para as quais no faz sentido fixar um universo a
priori temos, no caderno de apoio do 10 ano o seguinte (a propsito das noes de
condio universal, impossvel e possvel LCT10-2.3 e 2.5):

Lgica e Teoria dos Conjuntos

Temos assim, neste objectivo geral relativo a condies e conjuntos (LTC10-2):

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Requer-se tambm neste domnio que sejam resolvidos problemas envolvendo as
operaes lgicas sobre proposies e sobre condies acima referidas; tanto para esse
efeito como para levar a cabo os reconhecimentos e justificaes pedidas podem
utilizar-se ilustraes relativas a tpicos de reviso do Ensino bsico e a matria especfica
do Ensino secundrio, como se exemplifica no caderno de apoio do 10 ano e depois em
domnios como a Geometria analtica em que h larga oportunidade para se exemplificar
o uso de operaes lgicas relacionadas com operaes sobre conjuntos (neste caso de
pontos do plano ou do espao).
Por exemplo, relativamente s segundas Leis de De Morgan, no descritor LTC10-2.6
indica-se, sem partida se exigir qualquer justificao, como se relacionam os
quantificadores universal e existencial atravs da negao. No entanto, como se refere
no mesmo descritor, estas relaes traduzem propriedades intuitivas que podem ser
motivadas pela anlise de exemplos concretos de utilizao dos quantificadores na
linguagem corrente, como por exemplo em (cf. texto de apoio ao descritor LTC10-2.9):

Lgica e Teoria dos Conjuntos

Tambm se podem utilizar exemplos invocando conhecimentos matemticos
constituindo revises do Ensino bsico:

Lgica e Teoria dos Conjuntos

Deve acentuar-se que o facto de se introduzirem smbolos para os quantificadores no

significa, evidentemente, que em textos de Matemtica se abuse da utilizao desses
smbolos ou dos smbolos das operaes lgicas. Em muitos casos dever utilizar-se a
linguagem comum para exprimir da maneira mais clara possvel os contedos
matemticos que se pretende transmitir.

Lgica e Teoria dos Conjuntos

Tambm h outras convenes e abusos de linguagem usuais na utilizao dos
quantificadores e das operaes lgicas, nomeadamente a equivalncia e implicao que
convm assinalar.

Lgica e Teoria dos Conjuntos

Pretende-se, com esta apresentao, indicar a conjuno de todas as equivalncias
representadas. Pode utilizar-se a mesma conveno com conjunes de implicaes ou
mesmo de equivalncias e implicaes.

Em primeiro lugar h que notar que se se tratar de uma cadeia de implicaes apenas
poderemos concluir que as solues da equao ou inequao inicial so solues
tambm da ltima, ou seja o conjunto-soluo da primeira est contido no conjuntosoluo da ltima (cf. o descritor LTC10-2.15). Este processo apenas circunscreve o
conjunto no qual deveremos ainda procurar as solues pretendidas, testando-se, para o
efeito, por algum processo (uma a uma, por exemplo, se se tratar de um conjunto finito),
quais so efectivamente solues da equao ou inequao inicial ( o caso de algumas
equaes com radicais).

Se se tratar de uma cadeia de equivalncias, j poderemos garantir que os conjuntossoluo da primeira e ltima condies so iguais (cf. o descritor 2.11) e a ltima
condio ento o que muitas vezes se designa por soluo da equao ou inequao
inicial, de acordo com o que requerido para cada tipo de problema.

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Lgica e Teoria dos Conjuntos

Para terminar esta resenha acerca deste domnio no 10 ano recorde-se que, como atrs
vimos no 9. ano abordam-se algumas noes acerca da axiomatizao das teorias
matemticas. Introduziram-se nessa altura alguns termos usuais nesse contexto, como
teorema, hiptese, tese, demonstrao, bem como o smbolo de implicao e
as noes de condio necessria e de condio suficiente.
Estas questes devem evidentemente ser revistas a propsito destes tpicos do programa
do 10 ano, devendo levar-se particularmente em conta que os alunos que frequentaro
o novo programa do 10 ano em 2015/16 no frequentaram ainda o novo programa do
Ensino bsico, se bem que estes temas fossem genericamente referidos no programa de
2007.
Em muitos casos a demonstrao de um teorema pode ser entendida como a verificao
de que determinada implicao verdadeira ou, mais propriamente, que uma
condio universal, o que pode ser traduzido indicando que determinada condio
suficiente para uma outra ou que esta condio necessria para a primeira; noutros
casos trata-se de verificar que uma implicao falsa ou, mais propriamente, que no
uma condio universal.

Lgica e Teoria dos Conjuntos

Neste domnio do 10 ano apresentam-se determinadas equivalncias envolvendo
implicaes quantificadas e exploram-se os processos de demonstrao de certos
teoremas que delas resultam, introduzindo-se designaes adequadas para esses
processos, que podem ser exemplificados com inmeras situaes constituindo revises
do Ensino bsico ou matria nova do secundrio. Apresentam-se alguns exemplos do
Caderno de apoio (textos de apoio aos descritores LTI10-2.19 e 2.20):

Teoria dos Conjuntos e Combinatria

No 12 ano retomam-se algumas questes relativas Teoria dos Conjuntos, a propsito
da Combinatria (CC12-1):

Teoria dos Conjuntos e Combinatria

A relao de equipotncia assim definida entre conjuntos pode ser interpretada como
uma relao binria num dado domnio e fcil concluir que se trata sempre de uma
relao de equivalncia ( reflexiva porque a aplicao identidade num dado conjunto
uma bijeco, simtrica porque a inversa de uma bijeco uma bijeco e transitiva
uma vez que a composio de bijeces uma bijeco); cada classe de equivalncia
para uma dessas relaes num domnio pr-fixado constituda por conjuntos que, por
definio, tm todos o mesmo cardinal.

Teoria dos Conjuntos e Combinatria

Teoria dos Conjuntos e Combinatria

Teoria dos Conjuntos e Combinatria

No que diz respeito aos resultados bsicos da combinatria, importa assinalar que o
processo geral para contar o nmero de elementos de determinado conjunto
estabelecer uma correspondncia biunvoca (ou seja, definir uma bijeo) entre o
conjunto que se pretende contar e um conjunto cujo cardinal , de algum modo, j
conhecido.

Teoria dos Conjuntos e Combinatria

Trata-se muito simplesmente de uma extenso natural dos processos mais elementares
de contagem, que utilizam, para conjuntos-padro, por exemplo, os dedos das mos ou a
lista dos nomes dos nmeros, que se obtm pela memorizao de um conjunto de
palavras-base e de regras de formao dos nomes dos nmeros consecutivos a partir
dessas palavras, ou ainda as respectivas representaes simblicas, utilizando um dado
sistema de numerao.
Temos assim (CC12-2):

Teoria dos Conjuntos e Combinatria

Teoria dos Conjuntos e Combinatria

No caderno de apoio do 12 ano apresentam-se diversos textos e exemplos relativos ao

que requerido neste objectivo geral, correspondentes a diversos nveis de
desempenho.
A ttulo de exemplo apresentam-se os exerccios relativos ao nmero de subconjuntos de
um conjunto finito:

Teoria dos Conjuntos e Combinatria