Sumários
Aula Teórica 22
3 dezembro 2008, 12:30 • Maria Paula Antunes Abrantes Gouveia
Conclusão da aula anterior. Breve referência às estruturas semânticas para a lógica de 1a ordem. Exemplos. Fórmulas válidas e consequência semântica. Sistema dedutivo T. Exemplos. Propriedades do sistema dedutivo T.
Prática #11
3 dezembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves
Lógica de 1ª ordem: 1.3 g), d), 1.4c) (i),(ii), 1.5 d) (i),(ii) 2.4 relativamente a 1.4c) (i),(ii), 1.5 d) (i),(ii), q)
Prática #11
3 dezembro 2008, 11:00 • Antonio Maria Alarcao Ravara
Lógica de 1ª ordem: 1.3 g), d), 1.4c) (i),(ii), 1.5 d) (i),(ii) 2.4 relativamente a 1.4c) (i),(ii), 1.5 d) (i),(ii), q).
Aula Teórica 21
2 dezembro 2008, 12:30 • Maria Paula Antunes Abrantes Gouveia
Fórmulas válidas e consequência semântica (fragmento proposicional). Sistema dedutivo Tp (sistema de tableaux para o fragmento proposicional). Exemplos. Propriedades do sistema dedutivo Tp .
Aula Teórica 21
2 dezembro 2008, 08:00 • Maria Paula Antunes Abrantes Gouveia
Fórmulas válidas e consequência semântica (fragmento proposicional). Sistema dedutivo Tp (sistema de tableaux para o fragmento proposicional). Exemplos. Propriedades do sistema dedutivo Tp.