T_18
14 Dezembro 2021, 10:30 • Mário Jorge Edmundo
Regras de inferência: introdução do quantificador universal. Exemplo de demonstração informal e formal; um contra-exemplo; mais exemplos de demonstrações formais incluindo uma das segundas leis de De Morgan.