请教eng如何导出悖论

请教eng如何导出悖论

所有跟贴·加跟贴·新语丝读书论坛

送交者: 立鑫于 2007-10-15, 20:40:05:

eng说：

先用Ｐ代表“所有的猫是动物”，Ｑ代表“有些动物是狗”。

前提：Ｐ和非Ｐ（即假设Ｐ为真时同时知道Ｐ为假）
如果非Ｑ，则：由Ｐ和非Ｐ（这是前提）可以导出悖论，所以“非Ｑ”必不为真，即Ｑ为真。

我想请教的是，非Q（所有的动物都不是狗），如何从P和非P中（所有的猫是动物和有些猫不是动物）导出什么悖论？

谢谢！本人学过一些逻辑的皮毛。

P和非P本身就是悖论 - eng (345 bytes) 2007-10-15, 21:38:23 (176887)
- this is not the definition of logical paradox. - steven (517 bytes) 2007-10-15, 23:40:41 (176905)
  - contradiction用中文怎么说？ - eng (19 bytes) 2007-10-16, 00:06:50 (176908)
    - 矛盾。 (无内容) - steven (0 bytes) 2007-10-16, 00:08:59 (176909)
  - I meant "it has to be at least a first-order theory." (无内容) - steven (0 bytes) 2007-10-15, 23:48:04 (176906)
- 是我理解错了你的“悖论”的概念 - 立鑫 (216 bytes) 2007-10-15, 23:01:56 (176899)