必要十分条件

順命題(P⇒Q)と逆命題(Q⇒P)が共に真ならばPとQは同値であるいい、このときP⇔Qと書かれる。そしてこの時、PとQは互いに他の必要十分条件であるといわれる。