Deductions 1.3

As deduções é um software educativo projetado para ajudar os alunos a aprender provas de lógica formal. Destina-se a ser utilizado por professores e alunos de cursos de lógica de nível universitário de filosofia, matemática e ciência da computação. Ele dá...