Validade -- GU, IE, GE
21 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Regras primitivas do Cálculo de Predicados: Generalização Universal, Instanciação Existencial e Generalização Existencial.
O funcionamento básico da 4 regras primitivas. Suas principais restrições.
Validade -- GU, IE, GE
.
Validade -- GU, IE, GE
.