中的正式术语命题演算对于连接的 暗示.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“条件。”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Conditional.html网站
