Introdução à lógica temporal. Exercício escrito.

2 Novembro 2017, 16:00 • Ricardo Santos

Introdução ao estudo da lógica temporal. Verdades eternas e verdades temporárias: a relativização da verdade ao tempo. Os operadores temporais: H (“foi sempre o caso que”), P (“foi alguma vez o caso que”), G (“será sempre o caso que”), F (“será alguma vez o caso que”). Interpretações da linguagem da lógica temporal. Conjuntos de instantes temporais, e a relação de anterioridade.

Realização do primeiro exercício escrito.