Sumários
AT07 Metateoremas e semântica
12 março 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Regra da substituição da variável muda. Estrutura de interpretação sobre assinatura e atribuição. Denotação de termos e satisfação local de fórmulas.
AP06 Metateoremas
7 março 2018, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios de aplicação do metateorema da contradição.
AT06 Metateoremas
7 março 2018, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da demonstração do metateorema da dedução. Metateorema da contradição. Sufórmula. Metateorema da substituição de equivalentes.
AP05 Metateoremas
6 março 2018, 12:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios de aplicação do metateorema da dedução.
AT05 Metateoremas
5 março 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Dependência de hipótese. Metateorema da hipótese inútil. Generalização essencial sobre dependente da hipótese. Metateorema da dedução.