tag:blogger.com,1999:blog-8698801679947257999.post6355619305981499392..comments2023-05-01T23:31:46.973+08:00Comments on 啊啊哲學: 語句邏輯的證明系統rossignolhttp://www.blogger.com/profile/17041488975102441736noreply@blogger.comBlogger9125tag:blogger.com,1999:blog-8698801679947257999.post-2904409922387014152011-04-01T23:17:32.959+08:002011-04-01T23:17:32.959+08:00啊 誤會誤會 尷尬啊 誤會誤會 尷尬Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-8698801679947257999.post-51162296925324526652011-04-01T12:18:06.159+08:002011-04-01T12:18:06.159+08:00@Anonymous
你大概誤會了,原文的最後兩行並不是「同一組輸入值」。
你的輸入輸出的寫法是:[...@Anonymous<br />你大概誤會了,原文的最後兩行並不是「同一組輸入值」。<br />你的輸入輸出的寫法是:[輸入],[輸入],[輸出]。<br />而Note裡的寫法則是[輸入],[輸出],[輸入]。<br />所以沒有衝突。isaacstnhttps://www.blogger.com/profile/02246343179725030228noreply@blogger.comtag:blogger.com,1999:blog-8698801679947257999.post-78106677143706130202011-04-01T08:29:25.277+08:002011-04-01T08:29:25.277+08:00定義中, v'(φ|ψ)=1 iff v'(φ)=0 or v'(ψ)=0 ...定義中, v'(φ|ψ)=1 iff v'(φ)=0 or v'(ψ)=0 包含3種情況:<br />A,B,A|B<br />F F T<br />F T T<br />T F T<br /><br />v'(φ|ψ)=0 iff v'(φ)=1 and v'(ψ)=1 則僅指<br />A,B,A|B<br />T T F<br /><br />按照這連接詞「|」定義 則真值表最後一行則應改為:<br />F F T<br /><br />且不論定義為何 原來的3,4行<br />F T T<br />F T F<br />就衝突<br /><br />有趣的連接詞 我還沒找到應用題Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-8698801679947257999.post-38045358194333509932011-04-01T01:47:03.474+08:002011-04-01T01:47:03.474+08:00這個運算符號的定義可以寫成這樣:
v'(φ|ψ)=1 iff v'(φ)=0 or ...這個運算符號的定義可以寫成這樣:<br />v'(φ|ψ)=1 iff v'(φ)=0 or v'(ψ)=0<br />v'(φ|ψ)=0 iff v'(φ)=1 and v'(ψ)=1<br /><br />那些奇怪的符號的意思可以參考<a href="http://aaphi.blogspot.com/2011/02/syntax-and-semantics-for-sentential.html" rel="nofollow">這篇文章</a>的語意的部分。rossignolhttps://www.blogger.com/profile/17041488975102441736noreply@blogger.comtag:blogger.com,1999:blog-8698801679947257999.post-16343153642986916752011-03-31T09:17:10.043+08:002011-03-31T09:17:10.043+08:00嗯 我不知這"|"是一個怎樣的運算 但看到同一組A,B輸入值(F,T), 產生不...嗯 我不知這"|"是一個怎樣的運算 但看到同一組A,B輸入值(F,T), 產生不同的輸出值 就覺得不對. 要不 在定義上就可以說它對(F,T)輸入 沒有定義.<br />是否我有基本觀念上的錯誤?謝謝撥空回覆.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-8698801679947257999.post-18364805042777408022011-03-31T08:26:23.701+08:002011-03-31T08:26:23.701+08:00你覺得末兩行應該怎麼修正才不會矛盾?
不過,「|」的真值表是被規定成這樣的,你頂多只能說這個規定很...你覺得末兩行應該怎麼修正才不會矛盾?<br /><br />不過,「|」的真值表是被規定成這樣的,你頂多只能說這個規定很奇怪,不能說這樣規定是不可行的。rossignolhttps://www.blogger.com/profile/17041488975102441736noreply@blogger.comtag:blogger.com,1999:blog-8698801679947257999.post-71704228503981897952011-03-31T01:37:18.273+08:002011-03-31T01:37:18.273+08:00矛盾是指"|"連接詞真值表的末兩行.
應該是typo矛盾是指"|"連接詞真值表的末兩行.<br />應該是typoAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-8698801679947257999.post-60587249910280255252011-03-30T00:56:29.008+08:002011-03-30T00:56:29.008+08:00我目前還不曉得要怎麼寫它才會比較好懂…
哪裡有矛盾?我目前還不曉得要怎麼寫它才會比較好懂…<br /><br />哪裡有矛盾?rossignolhttps://www.blogger.com/profile/17041488975102441736noreply@blogger.comtag:blogger.com,1999:blog-8698801679947257999.post-52108739807110410252011-03-29T09:44:50.629+08:002011-03-29T09:44:50.629+08:00看不懂. 不過文章最後 Note 中似有矛盾.看不懂. 不過文章最後 Note 中似有矛盾.Anonymousnoreply@blogger.com