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
... read more