DEFINTION2 PropOSItIonal Equvalence 命题 The propositions p and g are called logically equivalent if p t,q is a tautotogy. The notation p e q denotes that p and g are logically equivalent. 逻辑等值,或逻辑等价 2/24/202111:14PM Deren Chen Zhejiang univPropositional Equivalences 命题演算 2/24/2021 11:14 PM Deren Chen, Zhejiang Univ. 6 DEFINITION 2 The propositions p and q are called logically equivalent if p q is a tautotogy. The notation p q denotes that p and q are logically equivalent. ⎯→  逻辑等值，或逻辑等价