粗略而言,所謂形式化,其實就是把自然語言中的句子翻譯成人工語言的程式。 ... 要形式化論證,我們先要寫出一個翻譯架式(translation scheme):把語句字母與論証中的 ...
確定! 回上一頁