Linked Questions

2
votes
1answer
34 views

Should you use an equivalence or an implication in a definition?

In a definition like the following: An object $x$ is called $P$ if [and only if] it has properties $p$ and $q.$ should one use an implication (if) or an equivalence (if and only if)? It makes ...
1
vote
1answer
45 views

What is the difference between an axiomatization and a definition?

It is sometimes said that some things are not ever defined but instead axiomatized. What does this mean exactly and what is the difference? For example in set theory the symbol $\in$ is not ever ...
1
vote
1answer
143 views

Why not allow creativity of definitions?

It appears to me that a fair number of issues with allowing ZFC to work with other mathematical topics is that one cannot phrase certain definitions inside ZFC. Would not this be fixed by allowing ...
0
votes
1answer
58 views

Having trouble forming mathematical definition

Now I am a little bit confused about the mathematical definitions: Is that all the mathematical definition must be written in form like $(A \stackrel{def}{\equiv} B)$? Can they be written in form like ...
0
votes
1answer
149 views

Definition of “definition”: use iff or if? [duplicate]

There are topics with the same name but my question is not as abstract as in those. My question is as follows: taken a generic definition like $x\;\mathbf{ is\; something}$ if $y$ it could be written ...
0
votes
1answer
28 views

Which one is a correct way to give definitions? [duplicate]

When reading books I pay attention that some of them giving a definition to some notion use "if" but others "if and only if". For example, A set is called empty if it has no elements A set is called ...
0
votes
1answer
35 views

If then statement regrading definition of lognormal distribution and the inverse of that statement?

Hello I'm learning about probability distributions and this was the given definition for a lognormal distribution: A random variable X follows a lognormal distribution if its natural logarithm, ln ...
0
votes
1answer
117 views

First order logic “abbreviation”

I am curious what justifies the use of shorthands or abbreviations for certain formulas in first order logic. In particular, I'm interested in building up some basic mathematical principles from the ...
0
votes
1answer
29 views

Confusing definition about a free monoid and comparison operator

In one of the works about tree languages I met the following definition: Let $\mathcal{N}$ be the set of nonnegative integers and let $U$ be the free monoid generated by $\mathcal{N}$ with ...
0
votes
1answer
111 views

Are math definitions iff statements? [duplicate]

I was wondering if definitions in mathematics are "if and only" statements? I know for sure that theorems are not "iff" statements. Thank you in advance for your help.
0
votes
1answer
193 views

Implication or Bidirectional in “x is a Prime”

I have a question regarding First Order Logic. I have to express the property "x is a Prime" in First Order logic. So far I have the following solution: $\forall x\;Prime(x) \leftrightarrow \neg \...
0
votes
0answers
59 views

Do axioms say “iff”? (or, is it “if”, or, “only if”). [duplicate]

My guess is that they say "iff", but I wanted to make sure as math books have never made it explicit. To take the field axioms for example, is it fair to say that it says both: $F_x\rightarrow A_x$...
0
votes
0answers
34 views

I want clear a point about definitions. [duplicate]

I want know wether "defnitions" are if and only if. For example if a set satsfies all four group axioms we say it is group but then we go other way also. thank you.
0
votes
0answers
80 views

Why are definitions written as 'if-then' statements instead of 'if-and-only-if' [duplicate]

An example from Rudin would be: (c) if $x + y = 0$ then $y = -x$. There may be times when one would have to use the fact that since $y = -x, x + y = 0$. While this is fairly intuitive, professors ...
0
votes
0answers
44 views

Use of the word “if” in mathematical definitions [duplicate]

I'm looking at the following definition The random variables $X_{1}, \ldots, X_{d}$ are said to be comonotonic if they admit as copula the Frechet upper bound. I am however not quite sure how to ...

15 30 50 per page