2. Aula 2: Lógica de Predicados e Conjuntos🔗

Esta aula estende a lógica proposicional com quantificadores e introduz conjuntos, seguindo os capítulos 2 e 3 de How To Prove It with Lean (HTPIwL). Ela apresenta as regras de prova dos quantificadores universal e existencial, as leis que os relacionam sob negação e conjuntos como predicados em Lean.

1. 2.1. Predicados e Quantificadores
2. 2.2. O Quantificador Universal
3. 2.3. O Quantificador Existencial
4. 2.4. Leis de Negação dos Quantificadores
5. 2.5. A Ordem dos Quantificadores
6. 2.6. Conjuntos
7. 2.7. Exercícios