Estudo em grupo

CONTEÚDOS PROGRAMÁTICOS DE MATEMÁTICA A
* 10.º ANO DE ESCOLARIDADE
Introdução à Lógica bivalente e à Teoria dos conjuntos
Proposições
-
Valor lógico de uma proposição; Princípio de não contradição;
-
Operações sobre proposições: negação, conjunção, disjunção, implicação e equivalência;
-
Prioridades das operações lógicas;
-
Relações lógicas entre as diferentes operações;
-
propriedade da dupla negação;
-
Princípio do terceiro excluído;
-
Princípio da dupla implicação;
-
-
Propriedades comutativa e associativa, da disjunção e da conjunção e propriedades distributivas da conjunção em relação à disjunção e da disjunção em relação à conjunção;
-
Leis de De Morgan;
-
Implicação contrarrecíproca;
-
Resolução de problemas envolvendo operações lógicas sobre proposições.
Condições e Conjuntos
-
Expressão proposicional ou condição; quantificador universal, quantificador existencial e segundas Leis de De Morgan;contraexemplos;
-
Conjunto definido por uma condição; Igualdade entre conjuntos; conjuntos definidos em extensão;
-
União (ou reunião), interseção e diferença de conjuntos e conjunto complementar;
-
Inclusão de conjuntos;
-
Relação entre operações lógicas sobre condições e operações sobre os conjuntos que definem;
-
Princípio de dupla inclusão e demonstração de equivalências por dupla implicação;
-
Negação de uma implicação universal; demonstração por contrarrecíproco;
-
Resolução de problemas envolvendo operações sobre condições e sobre conjuntos.