Re: [請益] 想請問一個問題

看板logic作者 (這就是妖精尾巴的魔導士!)時間16年前 (2008/02/28 05:00), 編輯推噓6(6推 0噓 16→)
留言22則, 4人參與, 最新討論串5/7 (看更多)
如果沒有所謂的「模糊地帶」 也就是　有的否定是無 　　　　活躍的否定是不活躍 那麼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
推
03/02 18:28, , 1F
~ P → R 只能等於 ~ R → P (?)
03/02 18:28, 1F
推
03/02 18:34, , 2F
沒有所謂的「模糊地帶」 也一樣
03/02 18:34, 2F
→
03/02 18:35, , 3F
因為就算有部分P→~R及另部分P→~R都無損~P→R
03/02 18:35, 3F
→
03/02 18:39, , 4F
沒有模糊地帶只是說 P的否定就是~P
03/02 18:39, 4F
→
03/02 18:40, , 5F
上面寫錯= =有部分P→~R及另部分P→R都無損~P→R
03/02 18:40, 5F
推
03/02 18:50, , 6F
舉例:不出國領低薪。出國?
03/02 18:50, 6F
→
03/03 23:47, , 7F
1.((~P→R)=(~R→P))可以被邏輯證明為恆真句
03/03 23:47, 7F
→
03/03 23:49, , 8F
2.(~P→R)不只等於(~R→P)，例如(PvR)
03/03 23:49, 8F
→
03/03 23:54, , 9F
3.如果P→~R及P→R，那就是P→(Rv~R)。因為任何句子可以
03/03 23:54, 9F
→
03/03 23:59, , 10F
導出恆真句，所以(P→(Rv~R))為真。但是P→~R是否為真，
03/03 23:59, 10F
→
03/04 00:01, , 11F
則不得知。
03/04 00:01, 11F
→
03/04 00:02, , 12F
更正︰如果P→R或P→~R，"及"更正為"或"
03/04 00:02, 12F
→
03/04 00:03, , 13F
4.不出國領低薪 意思是:不(出國領低薪)還是:不出國則領低
03/04 00:03, 13F
→
03/04 00:08, , 14F
薪？ 如果是不出國則領低薪，則出國領不領低薪則不得知。
03/04 00:08, 14F
推
03/04 01:11, , 15F
呃...那文章中~P→R下一步P→~R怎麼來的? 4."則"之意 ^^
03/04 01:11, 15F
→
03/04 07:33, , 16F
關於4."不出國則領低薪"我應該改說"(不出國)領低薪" 這樣
03/04 07:33, 16F
→
03/04 07:35, , 17F
表示比較清楚 至於~P→R下一步P→~R 可以用deduction或真
03/04 07:35, 17F
→
03/04 07:38, , 18F
值表得知
03/04 07:38, 18F
推
03/04 09:11, , 19F
我想看一下"~P→R下一步P→~R" 怎麼可能推得出來???
03/04 09:11, 19F
推
03/04 09:32, , 20F
上面人是提醒你，你1,2都推論錯誤
03/04 09:32, 20F
→
03/04 13:54, , 21F
歹勢 我弄錯
03/04 13:54, 21F
感謝指正 已修改 ※ 編輯: dementia 來自: 140.129.77.1 (03/04 13:57)
→
07/07 21:05, , 22F
歹勢 我弄錯 http://yofuk.com
07/07 21:05, 22F
‣ 更多 dementia 的文章
文章代碼(AID): #17nSzTi- (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 5 之 7 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共7篇)
‣ 更多 dementia 的文章
文章代碼(AID): #17nSzTi- (logic)