西西河

主题:随便说说《别了,司徒雷登》 -- 锦候

共:💬85 🌺90
全看分页树展 · 主题 跟帖
家园 错了

If A then B valid

If Not A then Not B. Invalid

这个模型翻译成中文是这样:

如果甲成立,那么乙就成立。是真命题的话,那么

如果不是甲,那么不是乙。 是假命题。

这个错了,应该是A->B无法推导出 非A->非B。

至于“非A->非B”是否是假,不一定。只有当A是B的充分非必要条件的时候“非A->非B”才为假。当A是B的充要条件的时候,此命题为真。

都是中学几何里面就学过的...

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河