Deductions 1.3

Déductions est un logiciel éducatif conçu pour aider les élèves à apprendre preuves dans la logique formelle. Il est destiné à être utilisé par les enseignants et les étudiants de cours de logiques de niveau collégial dans la philosophie, les...