Question about a logic notation

In summary, if there exists some x in R such that f(x)>0, then f is asmani. This also holds true if for all x in R, f(x)>0, then f is asmani. However, if the statement is ambiguous or meaningless, then the definition of f as asmani is not valid.
  • #1
asmani
105
0
(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. ...?

Thanks in advance.
 
Last edited:
Mathematics news on Phys.org
  • #2
asmani said:
(x∈R → f(x)>0) → f is asmani

2. If for all x in R we have f(x)>0, then f is asmani. :smile:
 
  • #3
And now I am going to spend all day wondering what "asmani" means!
 
  • #4
tiny-tim said:
2. If for all x in R we have f(x)>0, then f is asmani. :smile:
Thanks. Is that a common formulation?
HallsofIvy said:
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:
  • #5
I think it means always positive. Frankly, I have never seen that word.
 
  • #6
asmani said:
Thanks. Is that a common formulation?

not sure i understand you :confused:

that is the only interpretation of your original formula :smile:
asmani means skiey (or of sky) in Persian, although I didn't mean that!

haha! :biggrin:

as a matter of interest, does "armani" mean anything in Persian?
 
  • #7
tiny-tim said:
not sure i understand you :confused:

that is the only interpretation of your original formula :smile:
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"?
tiny-tim said:
haha! :biggrin:

as a matter of interest, does "armani" mean anything in Persian?
Yes, it means "ideal". :smile:
 
  • #8
asmani said:
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"?

yes, that is a standard form of definition

eg: "if, for all non-zero vectors x, xTAx > 0, then A is positive definite" :wink:
 

Related to Question about a logic notation

What is logic notation?

Logic notation is a system of symbols and rules used to represent logical statements and arguments in a concise and precise manner. It allows for the formalization and analysis of reasoning and helps to avoid ambiguity in communication.

Why is logic notation important?

Logic notation is important because it allows for the clear and systematic representation of logical arguments. It also helps to identify and avoid fallacies in reasoning, leading to more accurate and sound conclusions.

What are the basic elements of logic notation?

The basic elements of logic notation include logical operators (such as "and", "or", and "not"), variables, quantifiers (such as "for all" and "there exists"), and parentheses to indicate the order of operations.

How is logic notation used in different fields of science?

Logic notation is used in various fields of science, including mathematics, computer science, philosophy, and linguistics. It allows for the formalization and analysis of complex concepts and theories, aiding in the development of new ideas and discoveries.

What are some common symbols used in logic notation?

Some common symbols used in logic notation include:
- "∧" for "and"
- "∨" for "or"
- "¬" for "not"
- "∀" for "for all"
- "∃" for "there exists"
- "->" for "implies"
- "<->" for "if and only if"
- "=" for "equals"
- "∅" for "empty set"
- "∈" for "element of"
- "⊆" for "subset of"

Similar threads

  • General Math
Replies
12
Views
1K
Replies
6
Views
449
Replies
7
Views
887
Replies
4
Views
971
  • General Math
Replies
1
Views
645
Replies
2
Views
795
  • General Math
Replies
1
Views
740
  • General Math
Replies
3
Views
840
  • General Math
Replies
11
Views
1K
  • General Math
Replies
2
Views
903
Back
Top