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:有网友提出这样的疑问:"数学书中的"当且仅当"可以替换成"仅当"吗?"
在命题逻辑中形式推演是从给定的前提(可以为空)利用给定的推理规则得出给定结论的过程.命题逻辑的推论的规则(共20条).