形式化方法：把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。

已阅 10850 次 | 喜欢 7301 次 ❤

我已阅我喜欢

上一篇：形识

下一篇：形式逻辑

荐词

马台

马台：1.旧时高门大户前供上下马的石台。
睦友

睦友：1.和睦友爱。
梳子

梳子：1.整理头发或胡须的用具。
共事

共事：在一起工作我和他～多年，对他比较了解。
一网尽扫

一网尽扫：1.犹一网打尽。
痴云騣雨

痴云騣雨：1.形容男女沉迷恋情。
震烁

震烁：1.亦作"震铄"。 2.震动﹐光耀。
虫蝗

虫蝗：1.以蝗为主的桅庄稼的虫类。
姜后脱簪

姜后脱簪：1.汉刘向《列女传．周宣姜后》"周宣姜后者，齐侯之女也。贤而有德，事非礼不言，行非礼不动。宣王常早卧晏起，后夫人不出房，姜后脱簪珥，待罪于永巷，使其傅母通言于王曰'妾之不才，妾之淫心见矣，至使君王失礼而晏朝，以见君王乐色而忘德也……敢请婢子之罪。'王曰'寡人不德，實自有过，非夫人之罪也。'遂复姜后，而勤于政事。"后用为后妃辅主以礼的典实。
相见恨晩

相见恨晩：1.只恨相见得太晩。形容一见如故，意气极其相投。语本《史记．平津侯主父列传》"天子召见三人，谓曰'公等皆安在？何相见之晩也。'"
吁吸

吁吸：1.谓嘘气与吸气;呼吸。
依山傍水

依山傍水：1.指地理位置靠近山岭和水流。
谘求

谘求：1.询求﹐访求。