Write a formal statement(with quantifiers) expressing the idea that "if two natural numbers' products is 3, then one of those numbers is 1"

I have (x in N) (y in N) [(xy=3) - (x = 1 v y = 1)]
but doesn't the or make it so both can be true?
What would be the correct way of writing it?

Question

Write a formal statement(with quantifiers) expressing the idea that "if two natural numbers' products is 3, then one of those numbers is 1"


I have  (x in N) (y in N) [(xy=3) -> (x = 1 v y = 1)]
but doesn't the or make it so both can be true?
What would be the correct way of writing it?

e.mccormick · Answer

Did you try asking in the math forum?