biconditional proposition

biconditiona... ... biconditional statement1. 双条件叙述 biconditional proposition1. 等值命题 biconditional gate1. 同门 ...

1.8 双条件命题 (biconditional proposition)：p 当且仅当 q， 记作 p ? q， 定义为：p ? q ≡ ( p →q ) ∧ ( q → p )。