This is the question: http://math.stackexchange.com/questions/917492/can-the-logical-equivalence-of-two-different-statements-to-the-same-propositionhttps://math.stackexchange.com/questions/917492/can-the-logical-equivalence-of-two-different-statements-to-the-same-proposition
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/