AULA 7
11 Outubro 2022, 09:30 • Fernando Ferreira
Recapitulação da matéria dada. Tautologias e o problema P vs NP. Leis lógicas, métodos demonstrativos, quantificações, ordem dos quantificadores, etc.
Discussão mais detalhada das leis de De Morgan para a quantificação.