Introdução às modalidades. Os operadores modais.

2 Outubro 2017, 16:00 • Ricardo Santos

Exercícios de lógica proposicional com árvores. A construção de contramodelos a partir de um ramo aberto de uma árvore acabada; verificação do contramodelo.

Introdução à lógica modal. As noções modais de necessidade, possibilidade, impossibilidade e contingência; sua representação simbólica por meio de operadores frásicos unários. A caixa e o diamante; sua interdefinibilidade. Os operadores modais não são verofuncionais. Iteração de operadores.