categorical logic

常見(jiàn)例句

雙語(yǔ)例句

• We need to provide a method, describing the flexible word order in Chinese, from Categorical Type Logic.
  從范疇類型邏輯角度看，需要提供說(shuō)明漢語(yǔ)靈活語(yǔ)序的工具。
• Negative sentences in Chinese are corresponding to two kinds of different propositions in logic. They are categorical negative proposition and the negative proposition of compound proposition.
  漢語(yǔ)的否定句對(duì)應(yīng)于邏輯上直言否定命題和復(fù)合命題中的負(fù)命題兩種不同類型的命題。
• In categorical type logic, the concatenation of natural language is viewed as the process of computation and deduction, which, based on the principle of adjacency, is implemented hierarchically.
  范疇類型邏輯把自然語(yǔ)言的毗連組合歸結(jié)成運(yùn)算和推演，而運(yùn)算和推演所依賴的毗連組合則遵循“鄰近原則”逐層逐級(jí)進(jìn)行。
返回 categorical logic