Sumários

AP07 Semântica

14 março 2019, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Fórmulas válidas e fórmulas não válidas, Construção de contra-exemplos. Denotação de fórmula.

AT07 Semântica

14 março 2019, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Denotação de termo. Satisfação de fórmula por estrutura de interpretação e atribuição, Fórmulas verdadeiras em estrutura de interpretação. Fórmulas válidas.
Exemploe e contra-exemplos.

AP06 Metateoremas

11 março 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Aplicação dos metateoremas da contradição e da substituição de equivalentes em derivações.

AT06 Metateoremas

11 março 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Metateorema da contradição e metateorema da substituição de equivalentes.

AP05 Metateoremas

7 março 2019, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Utlização dos metateoremas em deruvações.