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
可以将文章内容翻译成中文,广告屏蔽插件可能会导致该功能失效(如失效，请关闭广告屏蔽插件后再试):
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
