Sumários

AP02 Lógica Proposicional

21 fevereiro 2019, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Propriedades da consequência semântica: extensividade, monotonia e idempotência. Consequência semântica do conjunto vazio. Consequência semântica faze a uniões e intersecções
de conjuntos de fórmulas. Condições suficientes para termo livre para varável em fórmula.

AT02 Linguagem de Primeira Ordem

21 fevereiro 2019, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Variável muda em fórmula. Substituição de variável por termo em termo e em fómrula. Termo livre para variável em fórmula: condições suficientes.

AP01 Lógica Proposicional

18 fevereiro 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Conjunto de símbolos proposicionais. Linguagem proposicional. Lema dos símbolos omissos. Valoração e satisfação de fórmula por valoração. Fórmulas válidas ou tautologias, fórmulas contraditórias e satisfazíveis. Consequência semântica.

AT01 Linguagem da Lógica de 1ª ordem

18 fevereiro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Apresentação e bibliografia. Assinatura de 1ª ordem. Exemplos. Variáveis e termos. Conjunto de variáveis em termo. Conjunto de fórmulas ou linguagem. Abreviaturas. Conjunto de variáveis livres em fórmula.