原子公式(atomic formulas)是由一个谓词符号和若干个项组成的谓词演算。形 如：P(t1,t2,t3,…
基于18个网页-相关网页
The atomic formulas are statements, and they can be combined by logical connectives like propositions.
原子公式是语句，它们能够像命题一样用逻辑连接词结合起来。
youdao
应用推荐
模块上移
模块下移
不移动