This project consists in the development of a kind of system known as Proof Assistant.The aim is to let the user prove any formula or a set of formula from Propositional Logic using Natural Deduction.
CategoriesComputer Aided Instruction (CAI)
Follow ADENA - Assistente p/ Dedução Natural
Rate This ProjectLogin To Rate This Project
Be the first to post a review of ADENA - Assistente p/ Dedução Natural!