| 释义 |
equivalence 等价;[等值] A logic operator having the property that if P is a statement, Q is a statement, R is a statement, then the equivalence of P,Q,R,…, is true if and only if all statements are true or all statements are false. 一种逻辑操作符,具有下述性质:若P是一个命题,Q是一个命题,R是一个命题,当且仅当 所有的命题为真或所有的命题为假时,P,Q,R,…的等价才为真。 |