2-5谓词演算的等价式 定义5：逻辑等价式 (logically equivalent ) ： 给定任何两个谓词公式wff A和wff B，设它们有 共同的个体域E，若对A和B的任一组变元进行赋值所 得的命题的真值相同，则称谓...
基于20个网页-相关网页
... logically compatible逻辑相容的 logically equivalent逻辑等效的 logically proper name逻辑专名 ...
基于16个网页-相关网页
Some modes are logically equivalent but differ in their purpose.
有些模式逻辑上是等价的，但是用途却不同。
Structure that is logically equivalent to a more complex structure.
提供一个在逻辑上与更复杂的结构等效的标准。
The identity transformation copies each node in the source to the output to provide a logically equivalent tree.
标识转换将源中的每个节点复制到输出以提供逻辑等效树。
应用推荐