Lógica temporal proposicional básica: o sistema Kt.

6 Novembro 2017, 16:00 • Ricardo Santos

A lógica temporal proposicional básica: o sistema Kt. A linguagem formal e a semântica de Kt. Condições de verdade para os operadores temporais. Regras para o método das árvores aplicado à lógica temporal básica. Exame de algumas tautologias temporais.