条件称述：当、仅当、当且仅当
- A当B：称述的是“在B为真时A一定为真”，意味着B是A的充分条件。
- A仅当B：称述的是“B为真的前提下A可能为真或者假，B为假的前提下A一定为假”，意味着B是A的必要条件。
- 事实上：B为真的前提下“A仅当B”并没有提供任何有效的称述；B为假的前提下“A仅当B称述了A为假。
- A当且仅当B：称述的是“B是A的充分条件，且B是A的必要条件”，意味着B是A的充分必要条件。
Q：有网友提出这样的疑问：“数学书中的「当且仅当」可以替换成「仅当」吗？"
A：答案是“不可以”。因为“仅当”与“当且仅当”含义不同。
命题逻辑的推论规则
在命题逻辑中,形式推演是从给定的前提(可以为空)利用给定的推理规则,得出给定结论的过程。命题逻辑的推论的规则（共20条）。
八条整推规则（只能用于主联结词）
- 肯定前件
- 否定后件
- 否定析取支
- 化简
- 合取
- 二难推理
- 附加
- 假言三段论
