Referencing logical operators

问题

I want to store tuples {a implies c, not c,...}. How do I reference the operators? Is there a specific vocabulary I should use?

edited after first comment

来源：https://stackoverflow.com/questions/38776523/referencing-logical-operators