Sumários
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.
Quantificadores: traduções - continuação da aula anterior
13 Dezembro 2021, 12:00 • Maria João Antunes Dias Gouveia
Resolução de um exercício extra com traduções de frases para linguagem de LPO.
Resolução dos exercícios 99 e 122.
Esclarecimento de dúvidas (a aula teve início 30 minutos mais cedo e uma duração de 2 horas).