Sumários

Início do estudo do Cálculo de Predicados de 1ª Ordem

21 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Indivíduos e propriedades.

Constantes predicativas.
Constantes individuais.
Variáveis individuais.
Quantificadores: o quantificador existencial e o quantificador universal.
Variáveis livres e ligadas.
Fórmulas abertas e fechadas.

[11.11.2021] - Teste

18 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Primeiro teste escrito da disciplina.

[8.11.2021] - Reductio ad Absurdum

14 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Demonstração por redução ao absurdo.

Exercícios.

[4.11.2021] - Demonstração Condicional

11 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Demonstração condicional.

Exercícios.

[28.10.2021] - Regras de Equivalência

7 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

As Regras de Equivalência do Cálculo Proposicional:

Negação Dupla, Comutatividade (de & e de V), Associatividade (de & e de V), Distributividade (de V sobre & e de & sobre V), Leis de De Morgan, Implicação, Contraposição, Equivalência, Importação/Exportação e Tautologia.
Exercícios.