命题逻辑笔记

条件称述：当、仅当、当且仅当

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的充分必要条件。