Breve revisão da lógica clássica (3)

29 Setembro 2016, 10:00 • Ricardo Santos

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.