Sumários
Cálculo de sequentes
23 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Satisfação de sequente. Consequência semântica. Correcção das regras de inferência.
Cálculo de Gentzen
21 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Sequente. Sistema dedutivo. Derivação. Consequência ao nível dos sequentes e das fórmulas.
Embebimentos
17 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre embebimentos.
Embebimentos
16 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Homomorfismos e embebimentos. Contra-exemplos sobre preservação da satisfação local. Preservação da satisfação local para fórmulas sem quantificadores.
Apresentação
14 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Apresentação. Panorâmica da disciplina, bibliografia e avaliação. Breve revisão de aspectos sintácticos e semânticos da lógica de primeira ordem.