Início do Estudo do C. Predicados de 1ª ordem

6 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Início do Estudo do C. Predicados de 1ª ordem.

Indivíduos e propriedades.
A sintaxe do Cálculo.