| 词语 | 形式化方法 |
| 释义 | xíng shì huà/huā fāng fǎ 把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。 |
| 随便看 |
我觉得你很幸福，因为你可以选择爱我或不爱我，而我只能选择爱你或更爱你。-「School Days」
汉语词典收录380531条汉语词语，以字带词，兼具字典、语文词典和百科词典功能，基本涵盖了全部常用词语的释义及用法，是您工作、学习的好帮手。