Unfamiliar symbol in algorithm: what does ∀ mean?

Question

I'm reading about an algorithm (it's a path-finding algorithm based on A*), and it contains a mathematical symbol I'm unfamiliar with: ∀

Here is the context:

v(s) ≥ g(s) = min_s'∈pred(s)(v(s') + c(s', s)) ∀s ≠ s_start

Can someone explain the meaning of ∀?

More comments are getting flagged, and if they're not pertinent to the question, they are deleted. — , May 21 '18 at 00:02

score 139 · Accepted Answer · answered Dec 18 '09 at 02:51

139

That's the "forall" (for all) symbol, as seen in Wikipedia's table of mathematical symbols or the Unicode forall character (\u2200, ∀).

answered Dec 18 '09 at 02:51

Mark Rushakoff

249,864
45
407
398

1

That would make sense: "...for all s unequal to s[start]" – devuxer Dec 18 '09 at 02:53
8

Thanks and +1 for the link to the table of symbols. I will use that next time I'm stumped (searching Google for ∀ turned up no records). – devuxer Dec 18 '09 at 03:03
1

lol, I had never thought about googling for symbols. And apparently I didn't lose anything. – R. Martinho Fernandes Dec 18 '09 at 03:06

seh · Answer 2 · 2009-12-19T20:10:03.973

63

The upside-down A symbol is the universal quantifier from predicate logic. (Also see the more complete discussion of the first-order predicate calculus.) As others noted, it means that the stated assertions holds "for all instances" of the given variable (here, s). You'll soon run into its sibling, the backwards capital E, which is the existential quantifier, meaning "there exists at least one" of the given variable conforming to the related assertion.

If you're interested in logic, you might enjoy the book Logic and Databases: The Roots of Relational Theory by C.J. Date. There are several chapters covering these quantifiers and their logical implications. You don't have to be working with databases to benefit from this book's coverage of logic.

edited Dec 19 '09 at 20:10

answered Dec 18 '09 at 03:11

seh

14,999
2
48
58

3

+1 for mentioning ∃ (U+2203 THERE EXISTS). Actually ∀ and ∃ are used in predicate calculus in general, be it first-order or higher-order. For a second-order example, in the induction axiom of Peano arithmetic you quantify over predicates and write ∀P. – starblue Dec 19 '09 at 16:03
Thanks for pointing that out. I revised the reference per your suggestion. – seh Dec 19 '09 at 20:10

Yada · Answer 3 · 2009-12-18T16:23:34.613

16

In math, ∀ means FOR ALL.

Unicode character (\u2200, ∀).

edited Dec 18 '09 at 16:23

answered Dec 18 '09 at 02:52

Yada

30,349
24
103
144

3

They call it the "Universal Qualifier". Compare with the "Existential Qualifier". http://en.wikipedia.org/wiki/Universal_quantification – S.Lott Dec 18 '09 at 02:53
5

@S.Lott: nitpick s/qualifier/quantifier – R. Martinho Fernandes Dec 18 '09 at 02:57

score 9 · Answer 4 · answered Dec 18 '09 at 02:52

9

Can be read, "For all s such that s does not equal s[start]"

answered Dec 18 '09 at 02:52

ty.

10,924
9
52
71

score 2 · Answer 5 · answered Dec 19 '09 at 19:06

2

yes, these are the well-known quantifiers used in math. Another example is ∃ which reads as "exists".

http://en.wikipedia.org/wiki/Quantification

answered Dec 19 '09 at 19:06

D_K

1,410
12
35

Unfamiliar symbol in algorithm: what does ∀ mean?

5 Answers5

Linked