>>87
>P→QとQ→Pがどちらも成立すること
PとQがどちらも真ならP→QとQ→Pはどちらも成立する