作者TubularBells ( )
看板logic
标题[请益] 矛盾
时间Mon Dec 28 23:32:40 2009
1. P -> Q
2. P -> not Q
一个论证推论出这两个，算矛盾吗？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.27.198.172
1F：推 luciferii:否 12/28 23:47
2F：→ luciferii:这只代表 P 是恒不成立的 12/28 23:48
3F：→ ksmrt0123:L大说的没错. 我怕原po还有疑问所以补充一下 12/29 18:34
4F：→ ksmrt0123:这就是我们在「反证法」采用的方法: 12/29 18:35
5F：→ ksmrt0123:先假设P成立 然後推导出(1)P->Q及(2)P->not Q 12/29 18:37
6F：→ ksmrt0123:这时我们会写「故矛盾」, 因此P是不成立的 12/29 18:39
7F：→ ksmrt0123:上句的意义就是L大所说的那样 12/29 18:40
8F：→ ksmrt0123:hmm.. 好像没有比较清楚 原po有兴趣看一下反证法好了: 12/29 18:44
10F：推 ivanos:楼上你说的反证法弄反了 12/29 20:57
11F：推 ksmrt0123:为了配合原po的写法 12/29 23:39