作者a5378623 (黑云)
看板W-Philosophy
标题Re: [请益] 「基础逻辑」书上一题树枝法请教
时间Wed May 14 00:32:45 2014
※ 引述《a82k7 (跳着说)》之铭言:
: 1.最後产出的树枝也有~R 这时是因为有~~R的树枝 因此矛盾吗?
: 所以是不是判断矛盾 除了往上看之外 同时也要与其他树枝做比对呢?
: (抱歉非挑战语气 实在是我自己对定义的不了解故有此问)
往上看就好,它上面就有~~R
: 2.我想请教为何最後一支树枝 ~O分枝~R
: 会摆在~E的下方呢?一定要摆那吗?若是的话 原因是什麽?
应该说,其他的分支都要摆,只是他们已经矛盾了,不用多此一举
只有~E还没有矛盾,所以继续往下做
: 3.请问树枝法可以判断逻辑是否一致吗?
: 书中说『所谓p命题和q命题逻辑上不一致,就是说由它们构成的
: 连言命题「p^q」是一个矛盾句。』
: 但树枝法似乎只能判断是否为恒真句
: 假设我透过树枝法 判断出一个连言命题非恒真句
: 那是否有可能该连言命题为1.矛盾句 2.偶真句 这样我如何分辨是否逻辑一致呢?
: 若1 则不一致
: 若2 则一致(?)
: ------------------------------------
: 还是其实若树枝法拆解完发现是矛盾的
: 就是矛盾句 就是逻辑不一致?
: (所以是我想太多吗= =)
所以这章节是「归谬法」,我们先假设原本的命题为假,发现他矛盾,就知道他为真
直接对原命题进行树枝法,就会碰到你现在问得这个问题
: 4.目前就我所知
: 逻辑运算子 好像有两种写法啊 考试的时候用那一种来写
: 对分数会有影响吗QQ
: 不好意思啊
: 问题越抛越多 希望各位帮我解惑 谢谢!
什麽意思?哪两种写法可以说明一下吗?太久没碰了。
不过题目通常会告诉你他希望你怎麽做,不过我也不确定,你可以看看考古题
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 140.112.218.91
※ 文章网址: http://webptt.com/cn.aspx?n=bbs/W-Philosophy/M.1399998767.A.2A4.html
1F:推 a82k7:譬如(A∩B)→~C 跟彭教授基础逻辑上的写法似乎就不一样了 05/14 01:26
2F:→ a82k7:另外感谢大大的回覆 我终於找到那个~~R了 = = 05/14 01:28
3F:→ a82k7:所以问题3 大大的意思是指树枝法无法判断逻辑是否一致 是吗? 05/14 01:31
4F:推 sommerbrisen:到底是毛虫还是上引号,其实都没差,指通常卷头就会 05/15 17:55
5F:→ sommerbrisen:先定义符号。 05/15 17:56