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.
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.