作者ivanos (Peel quickly and see)
看板logic
标题[轻松] 如果你是人
时间Mon Oct 27 20:11:33 2008
一个论证如下：
如果你是人，那麽你是动物。
因此如果你是人且你不需要靠氧气过活，那麽你是动物。
此论证有效 (valid).
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 219.70.171.248
1F：推 maylaw:所以你想说什麽？(化成符号，以条件证法马上就可证出来) 10/27 20:48
2F：→ ivanos:可以帮忙证一下吗 10/27 21:16
3F：推 maylaw:把三个成份句各设成"P"、"Q"、"R"，然後再假设结论的前件 10/27 21:27
4F：→ maylaw:为真，与前提一起，便可导出结论的後件。 10/27 21:27
5F：→ maylaw:证法就是这麽简单 10/27 21:28
6F：→ ivanos:可以帮忙完整证一下吗 10/27 21:30
7F：推 maylaw:你自己不能做吗＝ ＝？ 10/27 21:31
8F：→ ivanos:你嘴巴一直讲很简单一开始乾脆一个字都不用劳烦了 10/27 21:32
9F：→ ivanos:讲一半然後一直说很简单 用意是？ 10/27 21:32
10F：推 maylaw:我明明证法都讲出来了。煮东西给你吃还要帮你送到嘴巴吗？ 10/27 21:33
11F：推 dementia:ㄜ…是真的很简单吧 10/27 21:34
12F：→ ivanos:证法在哪？ 10/27 21:34
13F：→ maylaw:你功力不够看不懂是我的错吗？ 10/27 21:35
14F：→ ivanos:逻辑学里有这种证法吗？ 10/27 21:36
15F：→ dementia:原po其实是来请益的吧…XD 10/27 21:36
16F：→ maylaw:是来请益的吗？ 10/27 21:36
17F：→ maylaw:林正弘的《逻辑》4.3就是教这种证法 10/27 21:37
18F：→ ivanos:是对"条件证法"感到好奇的 10/27 21:37
19F：→ ivanos:"林正弘的逻辑的4.3就是教这种证法" 这是一个推论吗？ 10/27 21:38
20F：→ ivanos:因为林正弘的逻辑4.3就是教这种证法y 10/27 21:39
21F：→ ivanos:所以如果你是人且你不需要靠氧气过活，你是动物。 10/27 21:39
22F：推 dementia:我心里很想把"请益"二字换掉…XD 10/27 21:39
23F：推 A1Yoshi:结论要整个条件句一起读，如果那样读得出语意的话。 10/27 22:12
24F：→ ivanos:结论的语意是？ 10/27 22:27
25F：→ A1Yoshi:条件句的整句语意....是个好问题啊。 10/27 23:57
26F：→ A1Yoshi:在中文里尤其如此。中文使用者时常只读前半或後半，而不大 10/27 23:57
27F：→ A1Yoshi:能够整句，连那个"假设..则.."的意涵一起读进去。教过大븠 10/27 23:57
28F：→ A1Yoshi:学部逻辑就知道，如言那边会停一阵子，因为学生掌握不到。 10/27 23:58
29F：→ A1Yoshi:一个方式是用前句後句都为假，但整句为真的句子做训练吧。 10/27 23:59
30F：→ A1Yoshi:这是在一开始最常让人觉得奇怪的形式。 10/27 23:59
31F：→ A1Yoshi:比方说：若陈水扁是老鼠，则马英九是蟑螂。 10/28 00:00
32F：推 A1Yoshi:对，你问我语意：语意就是那整句在重述一遍罗。但不表示 10/28 00:02
33F：→ A1Yoshi:你是动物或你是人或你不需要氧气任一句为真。 10/28 00:02
34F：→ A1Yoshi:是那整句为真。如果...那麽...，为真。 10/28 00:03
35F：→ A1Yoshi:还有，一般逻辑教科书也一定会说明，为什麽如言的真值表长 10/28 00:04
36F：→ A1Yoshi:那样。尤其是後两个：前件为假的情况，无论後件真或假，整 10/28 00:05
37F：→ A1Yoshi:句为真。 10/28 00:05
38F：→ A1Yoshi:这不是没有理由的。一个理由是完备性。若不那样会让MP规则 10/28 00:05
39F：→ A1Yoshi:不成立的样子。有点忘了细节。 10/28 00:05
40F：→ A1Yoshi:对条件句有兴趣可以用"conditional"当关键字查。这是一个 10/28 00:06
41F：→ A1Yoshi:特别的哲学议题。 10/28 00:06
42F：推 Hseuler:可以用集合论直接看吧 10/28 22:17