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.