Sumários
AP 6 Sequências de derivação
15 abril 2010, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre derivações recorrendo aos metateoremas.
Mini-teste sobre termo livre e propriedades da consequência.
AT14 Apresentações e teorias
15 abril 2010, 15:00 • Amilcar Sernadas
Conclusão da aula anterior: metateorema da substituição de equivalentes e regra da substituição de variável quantificada.
Teorias e apresentações. Teorias axiomatizáveis, teorias coerentes, teorias exaustivas, teorias decidíveis e teorias semi-decidíveis. Resultados fundamentais: decidibilidade de teoria exaustiva e semi-decidível; enumerabilidade computável de teoria axiomatizável; teorema de Craig (toda a teoria semi-decidível é axiomatizável).
AT13 Metateoremas
13 abril 2010, 15:00 • Amilcar Sernadas
Metateorema da hipótese inútil. Noção de generalização essencial. Metateorema da dedução (MTD). Referência ao metateorema da contradição e ao metateorema da contraposição como corolários do MTD.
AP 5 Termos e fórmulas derivadas
8 abril 2010, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre a noção de termo livre para variável em fórmula e sobre as duas noções de fórmula derivada.
AT12 Semidecidibilidade da lógica de primeira ordem
8 abril 2010, 15:00 • Amilcar Sernadas
Noção de metateorema e de regra admissível.