3) truth degree of formulas based on interpretatioa model
公式的解释模型真度
4) WFFS ,wffs
公式的永真性
5) validity of WFFS
合取公式的永真式
6) equations calculating the real thicknesses of rock layers
岩层真厚度计算公式
1.
Present equations calculating the real thicknesses of rock layers have two shOrtages:it is imcom-plete and not unique.
现行岩层真厚度计算公式存在两大缺陷：不完备，不具备唯一性。
补充资料：公式
公式
formula
公式[伽丽词匕;中opMy月a} 形式化语言(fol们llb双划langi‘ge)中的一个句子(可能带有参数).在几种专有的形式化语言中公式概念的精确定义可见公理集合论(axl0Inatic Set thoory)，形式算术(a月thn犯tic，fon了以1)，谓词演算(p代过i以te口Ic山LIS)，类型论(ty娜，tl袱〕ryof).在数学的实践中，公式也有语义的意义.它们可能是名字、命题的形式、定义的缩写等等.B.H.r钾也“撰卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条