p->q ：可以讀作『若p則q』，或你問的『p蘊涵q』。
p<->q：可以讀作『若且唯若p，則q』、『p與q互為充要條件』、『p與q等價』。

有錯請指正。