T_17

18 Novembro 2022, 09:30 • Mário Jorge Edmundo

Regras de inferência para os quantificadores, vários exemplos de demonstrações incluindo uma das segundas leis de De Morgan.