逻辑非 (NOT)、合取 (AND)、析取 (OR) 和异或 (XOR) 在每种编程语言中都经常使用。为什么实质蕴涵 (p → q) 不那么常用？
我想说无处不在的“if 语句”代表了实质性的含义
if p then q
如果 p 为真，则 q 如下：p->q
可以用三元条件运算符表示，(p → q) 相当于
p ? q : true