added implication, biconditional and negation syntax