Sumários

AULA 4

24 Setembro 2020, 11:00 • Fernando Ferreira

Resolução de exercícios e esclarecimento de dúvidas.

AULA 3

22 Setembro 2020, 11:00 • Fernando Ferreira

Demonstração do teorema da compacidade para o cálculo proposicional. Deduções formais à Hilbert para o cálculo proposicional.

AULA 2

18 Setembro 2020, 15:00 • Fernando Ferreira

Exemplos de tautologias. Fórmulas equivalentes. Exemplos. Completude vero-funcional.

A noção de satisfação. Conjuntos de fórmulas maximalmente satisfazíveis. Formulação do teorema da compacidade do cálculo proposicional. Começo da demonstração do teorema.

AULA 1

17 Setembro 2020, 11:00 • Fernando Ferreira

Apresentação da disciplina e do docente. Recomendações por causa da situação pandémica.

Letras proposicionais. Fórmulas do cálculo proposicional. Valorações. Tautologias.