iLogic 3.1 Propositional Logic - Symbolization

Introduces symbolization from natural language, and the symbols and names of 5 compund proposition types