Lógica modal proposicional e a semântica de mundos possíveis (5)

Em meu último texto da série sobre lógica, falei sobre a lógica de predicados de primeira ordem, o que envolve o que foi abordado anteriormente, sobre lógica proposicional, além de novos conceitos. Vimos sobre predicados e seus usos na linguagem, funções proposicionais, relações entre indivíduos e suas propriedades, como a transitividade e a reflexividade; falamos … Continue lendo Lógica modal proposicional e a semântica de mundos possíveis (5)