また、「pはqである為の十分条件であり、qはpである為の十分条件である」というとき、「pはqである為の必要十分条件である」あるいは「pとqとは同値である」という。
当命题“若P则Q”为真，而“若Q则P”为假时，我们称P是Q的充分不必要条件，Q是P的必要不充分条件，反之亦然。