充分必要条件

充分必要條件英语:sufficient and necessary condition)簡稱為充要條件

逻辑学中:

  • 当命题「若A則B」为真时,A称为B的充分条件,B称为A的必要条件

因此:

  • 当命题「若A則B」與「若B則A」皆为真时,A是B的充分必要条件,同时,B也是A的充分必要条件
  • 当命题「若A則B」为真,而「若B則A」为假时,我们称A是B的充分不必要条件,B是A的必要不充分条件,反之亦然。
其他语言