T_19

15 Dezembro 2020, 10:30 • Mário Jorge Edmundo

A regra de inferência introdução do quantificador universal; exemplos de demonstrações (informal e formal); contra-exemplos; mais exemplos de demonstrações formals (incluindo uma das segundas leis de de Morgan).