Sumários
AT02 Conceitos Básicos
19 setembro 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Embebimento entre estruturas de interpretação. Exemplos de não preservação e não reflexão da satisfação local. Preservação e reflexão da satisfação local para fórmulas sem quantificadores. Aplicações elementares. Relacionamento com o conceito de embebimento. Subestrutura e subestrutura elementar.
AT01 Conceitos Básicos
17 setembro 2019, 13:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Apresentação e bibliografia. Assinaturas. Conjunto de termos e linguagem. Estrutura de interpretação, atribuições e denotação de termo.
Satisfação de fórmulas: contextual e geral. Lemas das variáveis omissas e da fórmula fechada.