就是：当且仅当q（命题）成立时,p（命题）成立.
也可表示成：p（命题）成立时,q（命题）成立 ；q（命题）成立时,p（命题）成立.即p（命题）等价于q（命题）.
没别的意思.