Cálculo de Predicados de Primeira Ordem.

24 Novembro 2015, 14:00 • Maria Adriana Sequeira da Silva Graça

Indivíduos e propriedades. constantes individuais e variáveis. Variáveis livres e ligadas. Os dois quantificadores: universal e existencial.