Revisão da lógica de predicados clássica

23 Novembro 2017, 16:00 • Ricardo Santos

Breve apresentação da linguagem e da semântica da Lógica de Predicados clássica (LPr). A semântica dos quantificadores e os objectos sem nome. O predicado lógico de identidade: convenções sintácticas. A semântica da Lógica de Predicados com identidade. Exercícios de formalização. Método das árvores: novas regras para os quantificadores e para a identidade. Exemplos de árvores. A construção de contramodelos a partir de caminhos abertos de árvores completas.