Proof Symbols Quantifiers And Propositional