Agrupamento de Escolas de

Ferreira do Zêzere Escola EB2,3/S Pedro Ferreiro Matemática 3.º Ciclo e Ensino Secundário

LTC 10 – Lógica e Teoria de Conjuntos – Conteúdos – Tópico 4 (moodle)

 Proposições (PPT 01a)

 Designação
 Definição de proposição
 Valor lógico de uma proposição
 Princípio da não contradição
 Proposições equivalentes
 Operações Lógicas (PPT 01b)
 Negação
 Exemplos em linguagem natural e simbologia
 Definição e /ou tabela de verdade
 Lei da Dupla Negação
 Conjunção
 Exemplos em linguagem natural e simbologia
 Exemplos com conjunção e negação
 Definição e /ou tabela de verdade
 Disjunção
 Exemplos em linguagem natural e simbologia
 Definição e /ou tabela de verdade
 Definição de Tautologia e Contradição
 Princípio do 3.º excluído
 Princípio da não contradição
 Implicação
 Exemplos em linguagem natural e simbologia
 Definição e /ou tabela de verdade
 Equivalência
 Exemplos em linguagem natural e simbologia
 Definição e /ou tabela de verdade
 Prioridades das operações
 Propriedades das Operações Lógicas (PPT 1c)
 Propriedades da conjunção e da disjunção
 Propriedade Comutativa e Propriedade Associativa
 Existência de Elemento Neutro e Existência de Elemento Absorvente
 Idempotência
 Propriedade distributiva da conjunção em relação à disjunção
 Propriedade distributiva da disjunção em relação à conjunção
 Primeiras Leis de De Morgan
 Relação da Implicação com a disjunção
 Propriedades da implicação
 Implicação Contrarrecíproca
 Propriedade Transitiva da Implicação
 Negação da Implicação

Matemática A 1
 Agrupamento de Escolas de
Ferreira do Zêzere Escola EB2,3/S Pedro Ferreiro Matemática 3.º Ciclo e Ensino Secundário

 Dupla Implicação
 Simplificação de Expressões
 Condições e Quantificadores (PPT 2a)
 Definição de condição ou expressão proposicional
 Quantificador universal
 Condições verdadeiras
 Quantificador existencial
 Condições verdadeiras
 Classificação de condições: Possíveis, Universais e Impossíveis
 Propriedades da:
 Disjunção de condições
 Conjunção de condições
 Segundas leis de De Morgan
 Negação de uma condição
 Universal
 Impossível
 Negação de uma implicação
 Negação de uma proposição quantificada num conjunto
 Contraexemplo
 Conjuntos e Condições (PPT 2b)
 Conjuntos
 Extensão
 Compreensão
 De uma condição impossível
 De uma condição universal
 Igualdade de conjuntos
 Equivalência de condições
 Operações com conjuntos:
 Interseção de conjuntos
 Reunião de conjuntos
 Inclusão de conjuntos
 Diferença de conjuntos
 Implicação entre condições
 Condição suficiente e Condição necessária
 Dupla implicação
 Princípio da dupla implicação
 Contrarrecíproco
 Fichas e Testes (Tópico 4 e Tópico 22)
 Fichas e testes dos manuais:
 Máximo
 Novo Espaço
 Ípsilon
 Areal

Matemática A 2