Sumários

16 Outubro 2020, 15:00 • Fernando Ferreira

Skolemização. Um conjunto de fórmulas fechadas tem um modelo se, e somente se, o seu conjunto skolemizado tem um modelo.

15 Outubro 2020, 11:00 • Fernando Ferreira

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

13 Outubro 2020, 11:00 • Fernando Ferreira

O teorema de Herbrand.

9 Outubro 2020, 15:00 • Fernando Ferreira

A expansão de Herbrand duma teoria universal.

8 Outubro 2020, 11:00 • Fernando Ferreira

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