yeah converse is right, and I think you're right for negation too. it becomes "x not y" because a negation basically disproves the statement, so like you accept the premise is true but the implication is false, almost serving as a counterexample of sorts? e.g. the negation to "for all integer x, if x is odd, then x^2 is odd." the negation would be "there exists odd x where x^2 is not odd." which would have disproven the initial statement if it was true. the properties outside the "if-then" I think stay the same like in this example, x remains an integer, but I could be wrong/you might be talking about something else".
anyways I might be totally wrong but I think this is true