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.