Do math textbooks use "If-then" in their theorems in their logical sense?

Printable View