离散数学---符号解释

→

比如，F(x)→Q(y)是什么意思？
单条件的意思。你可以读为“如果F(x)，那么Q(y)”。
当F(x)为假时，Q(y)不论真假，F(x)→Q(y)都为真。
当F(x)为真时，Q(y)为真，则F(x)→Q(y)为真。
当F(x)为真时，Q(y)为假，则F(x)→Q(y)为假。

←→

双条件（同等价于）,即(P∧Q)∨(┐P∧┐Q)）

┐ ∧ ∨

┐命题的 “非”运算

∧ 命题的 “合取 ”（“与”）运算

∨ 命题的 “析取 ”（“或”，“可兼或 ”）运算

命题推法

除非才和只有才，后面推前面
只要就，只要才，只有仅当，前推后