?逻辑等价式
2-5谓词演算的等价式 定义5：逻辑等价式 (logically equivalent ) ： 给定任何两个谓词公式wff A和wff B，设它们有 共同的个体域E，若对A和B的任一组变元进行赋值所 得的命题的真值相同，则称谓...
[计]?逻辑等效的
... logically compatible逻辑相容的 logically equivalent逻辑等效的 logically proper name逻辑专名 ...
?论理等值
... logically true 逻辑正确 ; 永真 logically equivalent 论理等值 ; In Logically 在逻辑上 ...
逻辑等效电路
逻辑等价式
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。