Sumários
AT11 Semântica da lógica de primeira ordem
29 março 2017, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Matateorema da substituição da variável de quantificação. Estrutura de interpretação. Denotação de termo. Satisfação local e global de fórmulas.
Fórmula válida.
P10 - Metateoremas
24 março 2017, 14:30 • Jaime Ramos
Exercícios sobre cálculo de Hilbert usando metateoremas. Demonstração do metateorema da substituição por equivalentes.
P09 - Metateoremas
23 março 2017, 16:30 • Jaime Ramos
Exercícios de cálculo de Hilbert recorrendo a metateoremas.
AT10 Cálculo de Hilbert para a lógica de primeira ordem
23 março 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Demonstração do metateorema da dedução. Exemplos de aplicação. Metateorema da contradição. Exemplos de aplicação.
Conjunto de subfórmulas de uma fórmula. Enunciado do metateorema da substituição de equivalentes.
T09 Cálculo de Hilbert para a lógica de primeira ordem
22 março 2017, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da demonstração da semidecidibilidade do conjunto de consequências de conjunto de fórmulas computavelmenet enumerável.
Dependente de hipótese. Metateorema da hipótese inútil. Generalização essencial sobre dependente da hipótese. Enunciado do metateorema da dedução.