Inference Rules For Propositional Logic Symbols