Validade -- IU
20 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Teste de validade de argumentos para colocar em forma normal silogística.
Regras primitivas do Cálculo de Predicados: Instanciação Universal.
20 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Teste de validade de argumentos para colocar em forma normal silogística.