作者somedoubt (人獨立燕雙飛)
看板logic
標題Re: [請益] 命題邏輯
時間Wed Sep 26 10:24:23 2007
※ 引述《william0612 (Will)》之銘言：
: 這學期拿了一堂課叫 Logic for computer science
: 但是才剛開始就被搞的有些不知所措..
: 現在在上的這部分叫做 Proposional Logic..
: 第一個作業就不知該從何下手..希望有高手能夠教教我...並建議該從何處下手^^"
: (a)
: Prove that the LAST symbol of a formula cannot be ^
: (b)
: Prove that the string ^ V cannot appear as a substring in any formula.
: Prove by Induction On Formulae, or by Analysing Formula-calculations.
: (^ 應該是 and,V 是 or, 另外..請問這些數學符號怎麼打阿? 為什麼我按出來都是亂碼)
: 感恩蛤 T_T
若以歸納法的方式解題，大略方式如下
先證atomic formula不具備上述性質，再證不管多複雜的語句A，C只要A，C不具備上述性
質，則從A，C以合法的規則（例如加上～，AC以or或and連接，或者A是一個以C為前件的
條件句，AC做MP）獲得的語句B亦不具備上述性質，則證明步驟結束。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.165.156
1F：→ somedoubt:如果你念的是英文版，建議你先從增強英閱能力下手。 09/26 10:27
2F：→ somedoubt:畢竟作業中建議你使用的方法應該在該章節中即有介紹，應 09/26 10:28
3F：→ somedoubt:該是你漏讀了。 09/26 10:29
※ 編輯: somedoubt 來自: 218.168.173.146 (09/26 11:44)
4F：推 william0612:感謝解答 我再試試 10/03 09:51