拜读逻辑讲义时看到下面几句,一直没搞清楚A-->B 是什么意思。 是说A 推出B, 还是说A发生,那么B一定发生,(必要条件)?
unless :=if not 即 not A unless B表达为 A→B
A unless B表达为非A→B
only if: A only if B表达为A→B
if only: A if only B表达为B→A
A is necessary to B: B→A
Whenever, whoever, wherever :=if
only if: A only if B表达为A→B
A only if B=only if B,then A;一般情况下没A,只有当B的时候才有A,所以有A一定有B,A-> B
if only: A if only B表达为B→A
转化一下,A if only B= if only B,then A= if B,then A=B->A
----------------------
If 后随便什么就算是only也当是没有的一样,但是only在if 前,关系就倒转
欢迎光临 ChaseDream (https://forum.chasedream.com/) | Powered by Discuz! X3.3 |