5语法与逻辑
5.1一阶谓词逻辑
从符号应用来看，领域语言本身可以是用自然语言的文本词汇与语句形式，领域语言也可以是数学符号与公式表现的。我们把上述二种类型领域语言看作二个端点，在这二个端点之间是各种混杂形式的应用。并不是说不会有其它形式的符号应用，因为这是自由的，只是想创新出一种符号方式不是易事。近代的化学里，也有元素周期表，化学方程式这样的专门符号形式应用，但很难说这些符号的应用统驭了这门科学。从符号应用来看，领域语言本身可以是用自然语言的文本词汇
阅读背景：
5.1一阶谓词逻辑
来源：互联网
分享到：
