subformulas

网络释义

1.	子公式设 X 是在采纳子公式(subformulas)下闭合的公式的集合。模型 <W,R,<math>\Vdash</math>> 的 X-过滤是从W 到模型 <W’,R’,<… baike.baidu.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。