Re: [請益] 命題邏輯
※ 引述《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
→
09/26 10:27, , 1F
09/26 10:27, 1F
→
09/26 10:28, , 2F
09/26 10:28, 2F
→
09/26 10:29, , 3F
09/26 10:29, 3F
※ 編輯: somedoubt 來自: 218.168.173.146 (09/26 11:44)
推
10/03 09:51, , 4F
10/03 09:51, 4F
討論串 (同標題文章)