Sumários
AP09 Semântica
20 março 2018, 12:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre consequência semântica, validade, e de caracterização da denotação da implicação como pseudo-complemento.
AT09 Lemas semânticos
19 março 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Lema das variáveis omissas em termo e em fórmula. Correcção do axioma Ax5 do cálculo de Hilbert. Lema da fórmula
fechada.
AP08 Semântica
14 março 2018, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Execícios sobre validade, consequência semântica e propriedades da consequência semântica. Exercício sobre denotação de fórmulas.
AT08 Semântica
14 março 2018, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Satisfação global. Fórmula verdadeira em estrutura de interpretação. Fórmula válida. Consequência semântica e algumas propiedades. Exemplos.
AP07 Metateoremas
13 março 2018, 12:30 • Maria Cristina De Sales Viana Serôdio Sernadas
EXercícios de aplicação da regra da substituição da varáivel muda em quantificação e sobre validade e não validade de fórmulas.