主题：【原创】下棋与打仗——也谈形式逻辑与因明逻辑 -- 语迟
共:💬35 🌺11
因为原命题和逆否命题为等价命题（如果没记错的话）。
那么加入A->F成立，那么~F->~A也成立。
那么就是“同性恋家里一定没有割草机”——显然非真。
刚才又看到了LZ的回复。这个笑话确实是说 A->B->C->D->E->F的错误的。
- 相关回复 上下关系8
压缩 3 层
🙂抬扛 一里 字484 2006-07-13 01:18:37
🙂其实只要将“必然”改成“多半”(more likely)， 1 煮酒正熟 字513 2006-07-13 01:33:31
🙂形式逻辑不关心命题本身的含义 1 泰让 字247 2006-07-13 10:34:15
🙂我看原命题就不成立
🙂可能你理解的也不对。 语迟 字72 2006-07-18 12:23:08
🙂已经说过了，具体命题的含义不是形式逻辑关心的问题 泰让 字0 2006-07-18 09:05:14
🙂什么是命题本身的含义？形式逻辑与之有什么关系？能否解释一二？ 语迟 字0 2006-07-18 12:21:03
🙂用个比喻说 泰让 字432 2006-07-18 12:45:43