已知x,y为正整数,当y=x+1时,y=3,x=2.此命题的否命题是什么,为什么

命题的形式一般为A推出B
也就是由已知，推出未知，因此命题的否命题为A不推出B：
已知x,y为正整数,当y=x+1时,y不等于3,x不等于2.
实际上否命题强调的是推不出这一关系，因此B的形式并不重要，也可以写成：已知x,y为正整数,当y=x+1时,y=3,x不等于2.
或者
已知x,y为正整数,当y=x+1时,y不等于3,x=2.
另外逆命题和逆否命题也是指关系的变化，分别为：
B推出A
B推不出A