propositionalCalculusParser