Curso De Semântica Formal

Marcelo Ferreira – Curso De Semântica Formal O sistema interpretativo que desenvolveremos neste livro parte de três considerações, até certo ponto, intuitivas. A primeira delas é a de que saber o significado de uma sentença (declarativa) parece relacionado a saber as condições para que a sentença seja verdadeira.