# Question about a logic notation

(x∈R → f(x)>0) → f is asmani.

What does it mean:

1. If there exists some x in R such that f(x)>0, then f is asmani.

2. If for all x in R we have f(x)>0, then f is asmani.

3. It's ambiguous or meaningless.

4. ...?

Last edited:

tiny-tim
Homework Helper
(x∈R → f(x)>0) → f is asmani
2. If for all x in R we have f(x)>0, then f is asmani. HallsofIvy
Homework Helper
And now I am going to spend all day wondering what "asmani" means!

2. If for all x in R we have f(x)>0, then f is asmani. Thanks. Is that a common formulation?
And now I am going to spend all day wondering what "asmani" means!
asmani means skiey (or of sky) in Persian, although I didn't mean that!

Last edited:
I think it means always positive. Frankly, I have never seen that word.

tiny-tim
Homework Helper
Thanks. Is that a common formulation?
not sure i understand you that is the only interpretation of your original formula asmani means skiey (or of sky) in Persian, although I didn't mean that!
haha! as a matter of interest, does "armani" mean anything in Persian?

not sure i understand you that is the only interpretation of your original formula No, I mean the original formula. Is it a common formula in order to say "If for all x in R we have f(x)>0, then f is asmani"
I mean the original formula. Is that a common formulation in order to say "If for all x in R we have f(x)>0, then f is asmani"?
haha! as a matter of interest, does "armani" mean anything in Persian?
Yes, it means "ideal". tiny-tim
eg: "if, for all non-zero vectors x, xTAx > 0, then A is positive definite" 