Lógica proposicional modal – os sistemas B, S4 e S5.

24 Outubro 2016, 10:00 • Ricardo Santos

Correcção do teste escrito.

Questões para avaliação da lógica T: (i) Será que “É possível que p” e “Possivelmente é possível que p” são equivalentes? (ii) Será que a verdade de uma proposição implica, não apenas a sua possibilidade, mas que essa possibilidade seja necessária? (iii) Haverá possibilidades que o são apenas contingentemente? Ou seja, é consistente dizer algo do género: “Tal é possível mas poderia ser impossível”?

Reforçando a lógica modal T: acessibilidade reflexiva, transitiva e simétrica. Os sistemas resultantes: B e S4 são extensões independentes de T; e S5 é uma extensão de B e também de S4. Novas regras para as árvores para os sistemas mais fortes.