Sumários
T21_10
25 Março 2019, 10:00 • Mário Jorge Edmundo
Conjuntos definiveis, exemplos (Lagrange e Julia Robinson); definibilidade e operações de conjuntos; definibilidade e automorfismos, exemplos; eliminação de quantificadores; critério para eliminação de quantificadores.
T21_9
22 Março 2019, 10:30 • Mário Jorge Edmundo
Substituição e interpretação de um termo numa fórmula, contra-exemplo; existência de variante alfabética; forma normal prenex, exemplos. Linguagem alargada por constantes, exemplos.
T21_8
18 Março 2019, 10:00 • Mário Jorge Edmundo
Equivalência lógica, propriedades; regras de substituição para os conectivos, formal normal conjuntiva e forma normal disjuntiva; regras de substituição para os quantificadores; substituição de uma variável por um termo num termo, substituição e interpretação de um termo, substituição de uma variável por um termo numa fórmula e termo substituível por uma variável numa fórmula.
T21_7
15 Março 2019, 10:30 • Mário Jorge Edmundo
Exemplos (cont.): sub-estruturas elementares em conjuntos totalmente ordenados, densos e sem extremidades; sub-estruturas elementares em grupos abelianos, divisíveis e livres de torsão; sub-estruturas elementares em espaços vectorias; sub-estruturas elementares em corpos algébricamente fechados.