数理逻辑蕴含_如何理解离散数学逻辑学中的蕴含表达式 -> ?

**********************************************

我觉得应当这么理解:

首先 -> 不能完全等同于"如果那么".

p -> q 的定义为: 当p为真而q为假时,条件语句p -> q为假, 否则为真.

转换成自然语言应当是这样:

p -> q 等价于“如果p那么q” 不能被证明是假的.

因为仅当p为真而q为假的时候, (如果p那么q)才能被证明是假的.

**********************************************

现在解释楼主的例子

p: 我是外星人

q: 苏格拉底是永生的

p->q: “如果我是外星人,那么苏格拉底是永生的” 不能被证明是假的.

**********************************************

现在在来理解一下书上的这个定理:

p->q 等价于 !p | q

这就表示, “如果p那么q” 不能被证明是假的等价于如果p为假, 或者q为真.

因为条件为假的就没办法证明 “如果p那么q” 不能被证明是假的.

结果为真的也没法证明 “如果p那么q” 不能被证明是假的.

**********************************************

进一步解释:

感觉命题的定义, 命题那么为真, 要么为假, 不能既真又假, 也不能既不真也不假. 而简单的简单(如果p那么q)根本就不符合命题的要求. (如果p那么q)不是合格的命题.

“如果p那么q” 不能被证明是假的才是一个合格的命题.

!(p->q) 等价于: “如果p那么q” 能被证明是假的.

要是简单的把p->q看作是(如果p那么q). 则 !(p->q) 的含义就更模糊不清了.