AULA 19
25 Novembro 2016, 09:30 • Fernando Ferreira
Mais exemplos da aplicação do algoritmo de unificação mais geral.
Fórmulas atómicas (com variáveis). A noção de satisfação. Introdução à quantificação. Quantificadors universais e existenciais. Universais afirmativas e particulares afirmativas.