Owing to the utilization of the formalized method, logical calculus is more abstract and strict than the traditional logic in the study of the valid inferential form.

 
  • 邏輯演算對推理形式有效性的研究,比傳統邏輯更抽象、更嚴格,其原因是形式化方法的運用。形式化方法包括構造形式系統(語(yǔ)法的)和對該系統進(jìn)行解釋(語(yǔ)義的)兩個(gè)階段。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan