作者dementia (这就是妖精尾巴的魔导士!)
看板logic
标题Re: [请益] 想请问一个问题
时间Thu Feb 28 05:00:10 2008
如果没有所谓的「模糊地带」
也就是 有的否定是无
活跃的否定是不活跃
那麽4对
: 柏拉图说:有良知的人 在活跃的政治中是无容身之处的
P → ( Q → ~ R )
我个人的方法是透过一个转换
P → ( Q → ~ R )
= ( P & Q ) → ~ R
= Q → ( P → ~ R )
: 1.无良知的人 在活跃的政治中是有容身之处的
~ P → ( Q → R )
= Q → ( ~ P → R )
: 2.有良知的人 在不活跃的政治中是有容身之处的
P → ( ~ Q → R )
: 3.无良知的人 在不活跃的政治中是无容身之处的
~ P → ( ~ Q → ~ R )
= ( ~ P & ~ Q ) → ~ R
: 4.在活跃的政治中 有容身之处的为无良知的人
Q → ( R → ~ P )
= Q → ( P → ~ R )
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.104.131.70
1F：推 JieJuen:~ P → R 只能等於 ~ R → P (?) 03/02 18:28
2F：推 JieJuen:没有所谓的「模糊地带」 也一样 03/02 18:34
3F：→ JieJuen:因为就算有部分P→~R及另部分P→~R都无损~P→R 03/02 18:35
4F：→ JieJuen:没有模糊地带只是说 P的否定就是~P 03/02 18:39
5F：→ JieJuen:上面写错= =有部分P→~R及另部分P→R都无损~P→R 03/02 18:40
6F：推 JieJuen:举例:不出国领低薪。出国? 03/02 18:50
7F：→ dementia:1.((~P→R)=(~R→P))可以被逻辑证明为恒真句 03/03 23:47
8F：→ dementia:2.(~P→R)不只等於(~R→P)，例如(PvR) 03/03 23:49
9F：→ dementia:3.如果P→~R及P→R，那就是P→(Rv~R)。因为任何句子可以 03/03 23:54
10F：→ dementia:导出恒真句，所以(P→(Rv~R))为真。但是P→~R是否为真， 03/03 23:59
11F：→ dementia:则不得知。 03/04 00:01
12F：→ dementia:更正︰如果P→R或P→~R，"及"更正为"或" 03/04 00:02
13F：→ dementia:4.不出国领低薪 意思是:不(出国领低薪)还是:不出国则领低 03/04 00:03
14F：→ dementia:薪？ 如果是不出国则领低薪，则出国领不领低薪则不得知。 03/04 00:08
15F：推 JieJuen:呃...那文章中~P→R下一步P→~R怎麽来的? 4."则"之意 ^^ 03/04 01:11
16F：→ dementia:关於4."不出国则领低薪"我应该改说"(不出国)领低薪" 这样 03/04 07:33
17F：→ dementia:表示比较清楚 至於~P→R下一步P→~R 可以用deduction或真 03/04 07:35
18F：→ dementia:值表得知 03/04 07:38
19F：推 luciferii:我想看一下"~P→R下一步P→~R" 怎麽可能推得出来??? 03/04 09:11
20F：推 luciferii:上面人是提醒你，你1,2都推论错误 03/04 09:32
21F：→ dementia:歹势 我弄错 03/04 13:54
感谢指正 已修改
※ 编辑: dementia 来自: 140.129.77.1 (03/04 13:57)