biconditional as implication
...tive law) A→B⇔¬B→¬A • 归谬论(A→B )∧( A→¬B )⇔¬A常用逻辑等值式(关于↔) • 等价等值式(biconditional as implication) A↔B⇔(A→B)∧(B→A) • 等价否定等值式A↔B⇔¬A↔¬B等值式模式• A ，B ，C代表任意的公式• 上述等值式称为等值式模式• 每个...
基于8个网页-相关网页
biconditional as implication
双条件的暗示
以上为机器翻译结果，长、整句建议使用 人工翻译 。