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.
有些模式逻辑上是等价的，但是用途却不同。
Five SQL queries were defined over the relational schema in Figure 9 that are logically equivalent to our five XQueries over XML columns.
图9中定义了关系模式的5个SQL查询，它们逻辑上等效于xml列的5个XQueries。
The code in Listing 13 is logically equivalent to the XML configuration in Listing 6 and Listing 9, though of course Listing 13 USES Groovy code to define the beans.
清单13中的代码在逻辑上等同于清单6和清单9中的XML配置。当然，清单13是使用Groovy代码来定义bean。
应用推荐