逆命题的定义详细点的.