基本解釋范疇邏輯英漢例句雙語例句We need to provide a method, describing the flexible word order in Chinese, from Categorical Type Logic.從范疇類型邏輯角度看，需要提供說明漢語靈活語序的工具。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īng)于邏輯上直言否定命題和復(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.范疇類型邏輯把自然語言的毗連組合歸結(jié)成運算和推演，而運算和推演所依賴的毗連組合則遵循“鄰近原則”逐層逐級進行。categorical logic更多例句詞組短語短語categorical type logic 范疇類型邏輯intensional logic and categorical grammar 第八章categorical logic更多詞組專業(yè)釋義心理學范疇邏輯數(shù)學范疇邏輯