top of page

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.

Classic Title

bottom of page