I think the contrapositive of "If $h \in \mathbb Q$ then $\exists a,b \in \mathbb Z$ such that $h=\frac{a}{b}$" is "If $\nexists a,b \in \mathbb Z$ such that $h=\frac{a}{b}$ then $h \notin \mathbb Q$. But I'm not sure if I'm correct because I know that the statement "If $h \notin \mathbb Q$ then $\nexists a,b \in \mathbb Z$ such that $h=\frac{a}{b}$" is true which makes me think that my answer isn't correct.

  • $\begingroup$ Correct; the contrapositive of "if $P$, then $Q$" is "if not-$Q$, then not-$P$". $\endgroup$ – Mauro ALLEGRANZA Oct 16 '17 at 13:11
  • $\begingroup$ And the "natural language" version makes sense: if $h$ is rational, then we can express it as the ratio of two integers. $\endgroup$ – Mauro ALLEGRANZA Oct 16 '17 at 13:12
  • $\begingroup$ @MauroALLEGRANZA Thanks! $\endgroup$ – Hai Oct 16 '17 at 13:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.