In mathematics, the statement "A implies B" is very different from "A if and only if B." Consider the following example: Let A be the statement " is an integer" and B be the statement " is a rational number." The statement "A implies B" is the statement "If is an integer, then is a rational number."
