当且仅当。意思是如果p成立，则q也成立，反之亦然，即只有在p和q都成立或者都不成立时，这个命题才为真。