It is different from existing logics by using a term-oriented language, an experience-grounded semantics, and a set of syllogistic inference rules.

 
  • 不同于現存的其它邏輯系統,它包含一個(gè)面向詞項的語(yǔ)言、一個(gè)基于經(jīng)驗的語(yǔ)義學(xué)、和一組三段論推理規則。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan