送交者: eng 于 2007-10-15, 09:32:58:
回答: 能否补充一下你的“过程”? 由 立鑫 于 2007-10-15, 00:32:20:
先用P代表“所有的猫是动物”,Q代表“有些动物是狗”。
前提:P和非P(即假设P为真时同时知道P为假)如果非Q,则:由P和非P(这是前提)可以导出悖论,所以“非Q”必不为真,即Q为真。
同理可以导出任何命题Q。
加跟贴
标题:
内容: (BBCode使用说明)