Sumários
Resolução e Avaliação
9 dezembro 2021, 11:00 • Ricardo Costa Dias Rei
Resolução de exercícios relativos à Forma Clausal e Resolução (CP). Avaliação.
Forma Clausal e o algoritmo de Unificação
9 dezembro 2021, 09:00 • Luísa Coheur
O sistema dedutivo (4.2) (conclusão). Como construir provas (2.2.2). 2. Lógica de Primeira Ordem (II): Forma clausal. Composição de substituições (5.2). Algoritmo de unificacão.
Lógica Proposicional (I)
7 dezembro 2021, 14:00 • Luísa Coheur
Resolução dos exercícios referentes à ficha sobre Lógica Proposicional (I). Demonstração de teoremas correspondendo a aplicações das leis de De Morgan.
Sistema Dedutivo da LPO
7 dezembro 2021, 10:00 • Luísa Coheur
Lógica de Primeira Ordem: Linguagem da lógica de primeira ordem (4.1). O sistema dedutivo (4.2).
Lógica Proposicional (I)
7 dezembro 2021, 08:30 • Luísa Coheur
Resolução dos exercícios referentes à ficha sobre Lógica Proposicional (I). Demonstração de teoremas correspondendo a aplicações das leis de De Morgan.