Sumários
T11_18
17 Novembro 2023, 09:30 • Mário Jorge Edmundo
Regras de inferência para os quantificadores: eliminação do quantificado universal e introdução do quantificado existencial, exemplo; eliminação do quantificado existencial, exemplo; introdução do quantificador universal, exemplos (incluindo uma das segundas leis de De Morgan).
TP14: Demonstrações formais e consequência lógica.
15 Novembro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 75(2), (3), 76 e 3.