用真值表证明如果是真，那么P→Q和Q→P都真.反之，如果P→Q和Q→P都真，那么是真。