1 Planificao semanal

Lgica e teoria dos conjuntos 1.a semana (Manual: pginas 10 a 30)

1. aula

Sumrio
Atividade de diagnstico

Sugestes metodolgicas

Incio da aula com a atividade de diagnstico (pginas 10 e 11).

Em alternativa pode propor-se aos alunos a resoluo prvia desta atividade como trabalho de casa.

Correo dos exerccios realizados.

Resoluo da ficha de reviso 1 do Mximo do Professor.

Esta aula permite aos alunos recordar/recuperar capacidades de clculo algbrico que sero utilizadas no
estudo do domnio.

Recursos didticos
Manual
Pginas 10 e 11 da parte 1 e correspondentes resolues no Mximo do Professor
Mximo do Professor
Ficha de reviso 1
1 Planificao semanal
Lgica e teoria dos conjuntos 1.a semana (Manual: pginas 10 a 30)

2. aula
Sumrio
Proposio. Valor lgico de uma proposio. Proposies equivalentes. Negao

Descritores

1.1. Designar por proposio toda a expresso suscetvel de ser verdadeira ou falsa, designar estes
atributos por valores lgicos e por princpio do terceiro excludo o facto de apenas se
considerarem como proposies as expresses a que se atribua um daqueles dois valores lgicos.

1.2. Saber que uma proposio no pode ser simultaneamente verdadeira e falsa e designar esta propriedade
por princpio de no contradio.

1.3. Saber, dadas proposies p e q, que p equivalente a q uma proposio, designada por
equivalncia entre p e q, que verdadeira se e somente se p e q tiverem o mesmo valor lgico e
represent-la tambm por p q .

1.4. Saber, dada uma proposio p, que no p uma proposio, designada por negao de p, que
verdadeira se p for falsa e falsa se p for verdadeira e represent-la tambm por ~ p.

1.5. Justificar, dada uma proposio p, que : ( : p ) p , designando esta propriedade por lei da dupla
negao.

Sugestes metodolgicas

Iniciar a aula com a atividade inicial ou outra situao idntica utilizando, por exemplo, a disjuno.

Refletir sobre a palavra suscetvel da definio de proposio e utilizando o princpio de no

contradio concluir que a afirmao como Amanh vou ao cinema. uma proposio.

Definir proposies equivalentes.

Resolver as questes 1, 2, 3 e 4 das pginas 14 e 15.

Introduzir a operao lgica negao e resolver a questo 5 da pgina 17.

Terminar a aula com a aplicao didtica da Escola Virtual.

Recursos didticos
Manual
Pginas 12 a 18 da parte 1 e correspondentes resolues no Mximo do Professor
Mximo do Professor
Miniteste 1 e questo-aula 1
Recursos Digitais do Professor
Aplicao didtica da Escola Virtual: Operaes sobre proposies: negao e lei da dupla negao
1 Planificao semanal
Lgica e teoria dos conjuntos 1.a semana (Manual: pginas 10 a 30)

3. aula

Sumrio
Conjuno. Disjuno. Princpio do terceiro excludo

Descritores

1.6. Saber, dadas proposies p e q, que p e q uma proposio, designada por conjuno de p e q ,
que verdadeira se e somente se p e q forem simultaneamente verdadeiras, e represent-la tambm por
p q .

1.7. Saber, dadas as proposies p e q, que p ou q uma proposio, designada por disjuno de p e q,
que falsa se e somente se p e q forem simultaneamente falsas, represent-la tambm por p q e
justificar que p : q uma proposio verdadeira, designando esta propriedade por princpio do
terceiro excludo.

Sugestes metodolgicas

Iniciar a aula com exemplos em contexto real onde se utiliza a conjuno.

Construir a tabela de verdade da conjuno.

Chamar a ateno que a palavra e em linguagem natural nem sempre corresponde conjuno. Por
exemplo, as solues da equao x 2 = 1 so 1 e 1. Neste contexto, a palavra e no pode ser escrita
como , pois tem sentido aditivo e no de conjuno.

Resolver as questes 6 e 7 da pgina 19.

Introduzir a disjuno e a respetiva tabela de verdade.

Referir que a disjuno j foi utilizada em vrias situaes, como a lei do anulamento do produto e na
utilizao da frmula resolvente das equaes do 2. grau.

Resolver as questes 8, 9, 10 e 11 das pginas 15.

Como trabalho de casa sugerir a resoluo da ficha para praticar 1 do Caderno de Fichas.

Recursos didticos
Manual
Pginas 18 a 25 da parte 1 e correspondentes resolues no Mximo do Professor
Caderno de Fichas
Ficha para praticar 1 e correspondentes resolues no Mximo do Professor (parte 2)
1 Planificao semanal
Lgica e teoria dos conjuntos 1.a semana (Manual: pginas 10 a 30)

4. aula

Sumrio
Implicao. Equivalncia. Convenes

Descritores

1.8. Saber, dadas as proposies p e q, que p implica q uma proposio, designada por implicao
entre p e q, que falsa se e somente se p for verdadeira e q for falsa, represent-la tambm por
p q , designar p por antecedente e q por consequente da implicao e reconhecer, dada uma
proposio r, que se p q e q r , ento p r .

1.9. Saber que, por conveno, em qualquer sequncia de operaes lgicas, a menos de utilizao de
parnteses, se respeitam as seguintes prioridades: negao; conjuno e disjuno; implicao e
equivalncia.

Sugestes metodolgicas

Utilizando um exemplo introduzir a implicao e construir a tabela de verdade.

Resolver as questes 12, 13 e 14 da pgina 23.

Introduzir equivalncia como operao lgica.

Resolver as questes 15 e 16 da pgina 24.

Apresentar as convenes.

Como trabalho de casa sugerir a resoluo da ficha para praticar 2 do Caderno de Fichas.

Recursos didticos
Manual
Pginas 22 a 24 da parte 1 e correspondentes resolues no Mximo do Professor
Caderno de Fichas
Ficha para praticar 2 e correspondentes resolues no Mximo do Professor (parte 2)
Mximo do Professor
Miniteste 2 e questo-aula 2
Caderno de Apoio: exerccio 1 da pgina 4 (descritor 116) e correspondentes resolues no
Mximo do Professor
1 Planificao semanal
Lgica e teoria dos conjuntos 1.a semana (Manual: pginas 10 a 30)

5. e 6. aulas
Sumrio
Propriedades das operaes lgicas.

Descritores
1.10. #Provar, dadas as proposies p e q, que a proposio : ( p q ) equivalente proposio p : q .
1.11. #Provar, dadas as proposies p e q, que a proposio p q verdadeira se e somente se p q e
q p forem ambas proposies verdadeiras e designar esta propriedade por princpio da dupla
implicao.
1.12. #Provar, dada uma proposio p e representando por V (respetivamente F) uma qualquer proposio
verdadeira (respetivamente falsa), que p V p , p V V , p F p e p F F
1.13. #Provar, dadas as proposies p e q, que : ( p q ) : p : q e que : ( p q ) : p : q e
designar estas equivalncias por primeiras leis de De Morgan.
1.14. #Provar, dadas as proposies p, q e r, que ( p q ) r p ( q r ) , p q q p e que
( p q ) r ( p r ) ( q r ) , bem como as que se obtm permutando em todas as ocorrncias os
smbolos e , e design-las respetivamente por associatividade, comutatividade e
distributividade.
1.15. #Provar, dadas duas proposies p e q, que a proposio p q equivalente proposio
: q : p e designar esta ltima implicao por implicao contrarrecproca da implicao p q .

Sugestes metodolgicas
Em alternativa apresentao do manual, as propriedades das operaes lgicas podem ser apresentadas
numa lista (ver pgina 33 correspondente sntese do subdomnio).
Utilizando tabelas de verdade demonstrar algumas propriedades (ter em ateno que o programa sugere
apenas que se procedam a algumas provas).
Provar pelo menos uma das propriedades por argumentao (pginas 27 ou 28).
Resolver as questes 17, 18, 19, 20, 21, 22 e 23 das pginas 26 a 30.
Como trabalho de casa concluir a resoluo das questes que no foram resolvidas nas aulas.
Nota: As propriedades das operaes devem ser memorizadas. Por exemplo, o aluno deve memorizar que
: ( p q ) p : q .

Recursos didticos
Manual
Pgina 25 a 30 da parte 1 e correspondentes resolues no Mximo do Professor
Mximo do Professor
Miniteste 3 e questo-aula 3
Recursos Digitais do Professor
Aplicaes didticas da Escola Virtual: Primeiras leis de De Morgan; propriedades da conjuno e
da disjuno; implicao contrarrecproca da implicao e princpio da dupla implicao
1 Planificao semanal
Lgica e teoria dos conjuntos 2.a semana (Pginas 31 a 49)

7. aula
Sumrio
Simplificao de expresses envolvendo operaes com proposies.

Descritor
1.16. +Simplificar expresses envolvendo operaes com proposies, substituindo-as por proposies
equivalentes envolvendo menos smbolos, e determinar o respetivo valor lgico sempre que
possvel.

Sugestes metodolgicas

A resoluo destas questes ajuda a memorizar as propriedades das operaes lgicas. Ter em ateno a
questo 16.2, onde necessrio substituir p por p F para aplicar a propriedade distributiva da
disjuno relativa conjuno, pois esta substituio pode no ocorrer aos alunos.

Estas questes esto apresentadas por grau de dificuldade crescente, pois nem todos os alunos sero
capazes de resolver as questes mais complexas.

Recursos didticos
Manual
Pgina 31 parte 1 e correspondentes resolues no Mximo do Professor
Caderno de Fichas
Ficha para praticar 3 e correspondentes resolues no Mximo do Professor (parte 2)
Mximo do Professor
Miniteste 4 e questo-aula 4
Caderno de Apoio: exerccio 1 da pgina 4 (descritor 1.16) e correspondentes resolues no
Mximo do Professor

1 Planificao semanal
Lgica e teoria dos conjuntos 2.a semana (Pginas 31 a 49)

8. aula
Sumrio
Resolver problemas envolvendo operaes lgicas sobre proposies.

Descritor
3.1. +Resolver problemas envolvendo operaes lgicas sobre proposies.

Sugestes metodolgicas

Resolver problemas das atividades complementares que ainda no tenham sido resolvidas.

Recursos didticos
Manual
Pginas 32 a 37 da parte 1 e correspondentes resolues no Mximo do Professor
Mximo do Professor
Caderno de Apoio: exerccios 2, 3 e 4 da pgina 4 (descritor 1.16) e correspondentes resolues no
Mximo do Professor

9. aula

Sumrio
Atividades de consolidao e avaliao

Descritor

3.1. +Resolver problemas envolvendo operaes lgicas sobre proposies.

Sugestes metodolgicas

Resolver as questes da avaliao 1 em trabalho individual ou de grupo.

Para trabalho de casa sugerir a resoluo da ficha de teste 1.

Recursos didticos
Manual
Pginas 38 a 39 da parte 1 e correspondentes resolues no Mximo do Professor
Caderno de Fichas
Ficha de teste 1 e correspondentes resolues no Mximo do Professor (parte 2)
Mximo do Professor
Caderno de Apoio: exerccios 1 a 6 das pginas 11 e 12 (descritor 3.1) e correspondentes resolues
no Mximo do Professor
1 Planificao semanal
Lgica e teoria dos conjuntos 2.a semana (Pginas 31 a 49)

10. aula

Sumrio
Condies. Quantificador universal. Quantificador existencial. Classificao de condies

Descritores

2.1. Designar por expresso proposicional ou por condio uma expresso p ( x ) envolvendo uma
varivel x tal que, substituindo x por um objeto a , se obtm uma proposio p ( a ) .

2.2. Saber, dada uma condio p ( x ) , que qualquer que seja x , p ( x ) uma proposio que verdadeira
quando e apenas quando se obtm uma proposio verdadeira sempre que se substitui x em p ( x ) por
um objeto arbitrrio, represent-la por "x , p ( x ) , e designar o smbolo " por quantificador
universal.

2.3. Identificar uma condio p ( x ) como universal se "x , p ( x ) for uma proposio verdadeira e
reconhecer que a disjuno de qualquer condio com uma condio universal uma condio
universal.

2.4. Saber, dada uma condio p ( x ) , que existe x tal que p ( x ) uma proposio que verdadeira se e
somente se, para pelo menos um objeto a , p ( a ) for verdadeira, represent-la por $x : p ( x ) e
designar o smbolo $ por quantificador existencial.

2.5. Identificar uma condio p ( x ) como possvel se $x : p ( x ) for uma proposio verdadeira, como
impossvel se no for possvel e reconhecer que a disjuno de qualquer condio com uma
condio possvel uma condio possvel e a conjuno de qualquer condio com uma condio
impossvel uma condio impossvel.

Sugestes metodolgicas

Distinguir proposio de condio.

Definir condio. Resolver a questo 1 da pgina 40.

Introduzir o quantificador universal. Resolver a questo 2 da pgina 41.

Classificar condio. Resolver as questes da pgina 44.

Utilizar a aplicao da Escola Virtual para classificar condies e aplicar propriedades da conjuno e
disjuno de condies.

Recursos didticos
Manual
Pginas 40 a 44 da parte 1 e correspondentes resolues no Mximo do Professor
Mximo do Professor
Miniteste 5 e questo-aula 5
Caderno de Apoio: exerccios 1 a 6 da pgina 6 (descritores 2.3 e 2.5) e correspondentes resolues
no Mximo do Professor
Recursos Digitais do Professor
Aplicao didtica da Escola Virtual: Condies universais, possveis e impossveis: propriedades
1 Planificao semanal
Lgica e teoria dos conjuntos 2.a semana (Pginas 31 a 49)

11. aula

Sumrio
Segundas leis de De Morgan

Descritores

2.6. Saber, dada uma condio p ( x ) , que a negao da proposio "x , p ( x ) equivalente proposio
$x : : p ( x ) , que a negao da proposio $x : : p ( x ) equivalente proposio "x , : p ( x ) ,
designar estas propriedades por segundas leis de De Morgan, reconhecendo-as informalmente em
exemplos, e justificar que a negao de uma condio universal uma condio impossvel e vice-
versa.

Sugestes metodolgicas

Utilizar a aplicao da Escola Virtual para introduzir as segundas leis de De Morgan.

Resolver a questo 5 da pgina 45 e 6 da pgina 46.

Para trabalho de casa sugerir a resoluo da ficha para praticar 4 do Caderno de Fichas.

Recursos didticos
Manual
Pginas 45 e 46 da parte 1 e correspondentes resolues no Mximo do Professor
Caderno de Fichas
Ficha para praticar 4 e correspondentes resolues no Mximo do Professor (parte 2)
Mximo do Professor
Miniteste 6 e questo-aula 6
Recursos Digitais do Professor
Aplicao didtica da Escola Virtual: Segundas leis de De Morgan
1 Planificao semanal
Lgica e teoria dos conjuntos 2.a semana (Pginas 31 a 49)

12. aula
Sumrio
Negao de uma condio

Descritores

2.7. Representar, dada uma condio p ( x ) e um conjunto U , a proposio, "x, x U p ( x ) por

"x U , p ( x ) , e, no caso de ser verdadeira, designar p ( x ) por condio universal em U .

2.8. Representar, dada uma condio p ( x ) e um conjunto U , a proposio $x : x U p ( x ) por

$ x U : p ( x ) , no caso de ser verdadeira designar p ( x ) por condio possvel em U e, no caso
contrrio, por condio impossvel em U .

2.9. +Reconhecer, dada uma condio p ( x ) e um conjunto U , que a negao da proposio "x U , p ( x )
equivalente proposio $x U : : p ( x ) , que a negao da proposio $x U : p ( x ) equivalente
proposio "x U , : p ( x ) e designar um elemento a U tal que : p ( a ) como um
contraexemplo para a proposio "x U , p ( x ) .

2.10. Representar, dada uma condio p ( x ) , por { x : p ( x ) } um conjunto A tal que "x, x A p ( x ) ,
designando a igualdade A = { x : p ( x ) } por definio em compreenso do conjunto pela condio
p ( x ) .

Sugestes metodolgicas

Utilizando exemplos verificar que a negao de uma condio universal uma condio impossvel e que
a negao de uma condio impossvel uma condio universal.

Resolver a questo 7 da pgina 46.

Referir a negao de uma implicao.

Resolver as questes 8 e 9 da pgina 47, a questo 10 da pgina 48 e a questo 11 da pgina 49.

Recursos didticos
Manual
Pginas 46 a 49 da parte 1 e correspondentes resolues no Mximo do Professor
Caderno de Fichas
Ficha para praticar 5 e correspondentes resolues no Mximo do Professor (parte 2)
Mximo do Professor
Caderno de Apoio: exerccios 1 e 2 da pgina 8 (descritores 2.7 e 2.8); exerccios 1 a 6 das pginas
8 e 9 (descritor 2.9) e correspondentes resolues no Mximo do Professor
1 Planificao semanal
Lgica e teoria dos conjuntos 3.a semana (Pginas 50 a 67)

13. e 14. aulas

Sumrio
Conjuntos e condies

Descritores

2.11. Saber, dados os conjuntos A e B, que A=B se e somente se "x, x A x B .

2.12. Designar, dado um objeto a e um conjunto A, por elemento de A quando a A , dados objetos
a1 ,..., ak ( k ) , representar por { a1 ,..., ak } o conjunto A cujos elementos so exatamente
a1 ,..., ak e designar a igualdade A = { a1 ,..., ak } por definio em extenso do conjunto A de
elementos a1 ,..., ak .

2.13. Identificar, dada uma condio p ( x ) e um conjunto U, o conjunto { x : x U p ( x ) } como

conjunto definido por p ( x ) em U (ou conjunto-soluo de p ( x ) em U) e represent-lo tambm
por A B { x : x A x B} .

2.14. Identificar, dados os conjuntos A e B, o conjunto-unio (ou reunio) de A e B e o conjunto-

-interseo de A e B respetivamente como A B { x : x A x B} e A B { x : x A x B} .

2.15. Identificar, dados os conjuntos A e B, como estando contido em B ( A B ) quando

"x, x A x B , e, nesse caso, designar A por subconjunto de B ou por uma parte de B.

2.16. Designar, dados os conjuntos A e B, por diferena entre A e B o conjunto { x A: x B} e

represent-lo por A\B ou simplesmente por B quando B A e esta notao no for ambgua,
designando-o, ento, por complementar de B em A.

Sugestes metodolgicas
Recordar as definies de conjuntos em extenso e em compreenso.
Definir conjunto-soluo de uma condio.
Definir igualdade de conjuntos e condies equivalentes.
Resolver a questo 12 da pgina 51.
Recordar as operaes com conjuntos introduzindo quantificadores.
Introduzir a operao diferena de conjuntos.
Resolver as questes 13, 14 e 15 da pgina 53.

Recursos didticos
Manual
Pginas 50 a 53 da parte 1 e correspondentes resolues no Mximo do Professor
Mximo do Professor
Miniteste 7 e questo-aula 7
1 Planificao semanal
Lgica e teoria dos conjuntos 3.a semana (Pginas 50 a 67)

15. aula

Sumrio
Implicao entre condies

Descritores

2.17. Justificar, dadas as condies p ( x ) e q ( x ) , que a proposio "x , p ( x ) q ( x ) equivalente

proposio "x , ( p ( x ) q ( x ) ) ( q ( x ) p ( x ) ) e designar uma demonstrao da segunda
proposio por demonstrao por dupla implicao da primeira.

2.18. Reconhecer, dados os conjuntos A e B, que A = B se e somente se e A B e B A , e designar esta

propriedade por princpio da dupla incluso.

2.19. +Reconhecer, dadas as condies p ( x ) e q ( x ) , que a negao da proposio "x , p ( x ) q ( x )

equivalente proposio $x : p ( x ) : q ( x ) , isto , que essa proposio falsa se e somente se
existir a tal que p ( a ) verdadeira e q ( b ) falsa.

2.20. Justificar, dadas as condies p ( x ) e q ( x ) , que a proposio "x , p ( x ) q ( x ) equivalente

proposio "x , : q ( x ) : p ( x ) , designar a segunda proposio por contrarrecproco da primeira
e uma demonstrao da segunda proposio por demonstrao por contrarrecproco da primeira.

Sugestes metodolgicas
Identificar condio necessria e condio suficiente.
Definir dupla implicao.
Demonstrar o princpio da dupla implicao,
Utilizar a aplicao da Escola Virtual para introduzir a demonstrao por contrarrecproco.
Como trabalho de casa sugerir a resoluo da ficha para praticar 6 do Caderno de Fichas.

Recursos didticos
Manual
Pginas 54 e 55 da parte 1 e correspondentes resolues no Mximo do Professor
Caderno de Fichas
Ficha para praticar 6 e correspondentes resolues no Mximo do Professor (parte 2)
Mximo do Professor
Caderno de Apoio: exerccios 1 a 6 das pginas 10 e 11 (descritores 2.19 e 2.20) e correspondentes
resolues no Mximo do Professor (parte 2)
Recursos Digitais do Professor
Aplicao didtica da Escola Virtual: Demostrao por contrarrecproco
1 Planificao semanal
Lgica e teoria dos conjuntos 3.a semana (Pginas 50 a 67)

16. aula
Sumrio
Resoluo de problemas envolvendo operaes sobre conjuntos.

Descritor
3.2. +Resolver problemas envolvendo operaes sobre condies e sobre conjuntos.

Sugestes metodolgicas

Resolver os problemas das atividades complementares que ainda no tenham sido resolvidos.

Recursos didticos
Manual
Pginas 58 a 59 da parte 1 e correspondentes resolues no Mximo do Professor
Mximo do Professor
Caderno de Apoio: exerccios 1 a 5 das pginas 12 e 13 (descritor 3.2) e correspondentes resolues
no Mximo do Professor

17. aula

Sumrio
Atividades de consolidao e avaliao.

Descritor
3.2. +Resolver problemas envolvendo operaes sobre condies e sobre conjuntos

Sugestes metodolgicas

Resolver as questes das pginas 62 e 63 como trabalho individual ou de grupo.

Para trabalho de casa sugerir a resoluo da ficha de teste 2 do Caderno de Fichas.

Recursos didticos
Manual
Pginas 62 e 63 da parte 1 e correspondentes resolues no Mximo do Professor
Caderno de Fichas
Ficha de teste 2 e correspondentes resolues no Mximo do Professor (parte 2)

18. aula
1 Planificao semanal
Lgica e teoria dos conjuntos 3.a semana (Pginas 50 a 67)

Sumrio
Avaliao global

Descritores

3.1. +Resolver problemas envolvendo operaes lgicas sobre proposies.

3.2. +Resolver problemas envolvendo operaes sobre condies e sobre conjuntos

Sugestes metodolgicas

Resoluo, em grupo, da ficha de avaliao global como preparao para a avaliao do domnio da
Lgica e teoria dos conjuntos.

Como trabalho de casa sugerir a resoluo das questes que no tenham sido resolvidas na aula.

Recursos didticos
Manual
Pginas 64 a 67 da parte 1 e correspondentes resolues no Mximo do Professor
Mximo do Professor
Ficha de preparao para o teste de avaliao e teste de avaliao 1

4.a semana

19. a 24. aula

Sumrio
Resoluo de problemas e avaliao