11 questions linked to/from Alternative ways to say "if and only if"?
305 views

Can mathematical definitions of the form “P if Q” be interpreted as “P if and only if Q”? [duplicate]

Possible Duplicate: Alternative ways to say “if and only if”? So when I come across mathematical definitions like "A function is continuous if...."A space is compact if....","Two ...
204 views

Why do we use “if” in the definitions instead of “if and only if”? [duplicate]

I often write my notes as logical statements and constantly wonder why people use only the "if" direction in the definitions instead of the "if and only if". Consider: "A homomorphism $\phi$ is said ...
33 views

Shouldn't big oh definition be if and if only if, not just if? [duplicate]

This is from Discrete Mathematics and its Applications Shouldn't the if in that definition be an if and only if? Say we know that $n^2$ is in O($n^2$). Then from one side of the if and only if, we ...
11k views

Are “if” and “iff” interchangeable in definitions?

In some books the word "if" is used in definitions and it is not clear if they actually mean "iff" (i.e "if and only if"). I'd like to know if in mathematical literature in general "if" in definitions ...
11k views

Different ways to express If-Then

What are some different ways to write the conditional statement $p\implies q\,$, but in English? There's the obvious "If p, then q", but are there any other ways to write it? I'm looking for another ...
11k views

Implication and equivalence arrows, when to use them?

In my course book we have something called implication arrows $\Rightarrow$ and equivalence arrows $\Leftrightarrow$ and I have never managed to understand them. When do I know which to use and how ...
1k views

If a set is open, does it mean that every point is an interior point? [duplicate]

In Walter Rudin's Principles of Mathematical Analysis he defines open set as: "E is open if every point of E is an interior point of E." So this can be translated in logic as "If every point of E is ...
In class we had the following definiton of a countable set: A set $M$ is countable if there is a bijection between $\mathbb N$ and $M$. In our exam today, we had the following thesis given:If $A$ is ...