A Propositionlogic-, naturaldeduction-proof app(lication)

Abstract

It has been over 2 years ago, my fellow freshmen Cognitive Artificial Intelligence and I learned something relatively new: Propositional Logic. At that point the most of us only knew two kinds of syntaxes: math and natural language, no Propositional Logic. We also had no familiarity with Natural Deduction. In that situation, when constructing a natural deduction proof, it might be hard to know the valid actions. At this point, Vincent van Oostrom and I developed an ambition to provide students with a tool or framework that would enable the student to construct a valid proof and allow only all the valid actions. Finally we created an implementation of this tool in the form of an iOS-app, which runs on both iPad and iPhone. The ultimate goal is to enhance the logic skills of students all over the world. We declared our main ideas and philosophy in the article Clickable Proofs [3]. This article grew as the app grew and might be considered as a set of answers to questions we encountered. This app has already been approved by the Apple staff and will be available in the Apple app store as soon as this document has been reviewed.