Sumários

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.