不一定为真。原因：VxEy(x+y=0)对于所有的x总存在一个相反数。但是不存在一个x，和任意y为相反数。
命题的形式：
1、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
2、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。
3、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。
扩展资料：
命题的分类：
1、原命题：一个命题的本身称之为原命题，如：若x>1，则f（x）=(x-1)^2单调递增。
2、逆命题：将原命题的条件和结论颠倒的新命题，如：若f（x）=(x-1)^2单调递增，则x>1。
3、否命题：将原命题的条件和结论全否定的新命题，但不改变条件和结论的顺序，如：若x<=1，则f（x）=(x-1)^2不单调递增。
4、逆否命题：将原命题的条件和结论颠倒，然后再将条件和结论全否定的新命题，如：若f（x）=(x-1)^2不单调递增，则x<=1。
参考资料来源：
参考资料来源：