El Un símbolo al revés es el cuantificador universal de predicate logic. (También vea la discusión más completa del first-order predicate calculus.) Como otros señalaron, significa que las afirmaciones indicadas son "para todas las instancias" de la variable dada (aquí, s). Pronto se encontrará con su hermano, el capital a la inversa E, que es el cuantificador existencial , lo que significa que "existe al menos uno" de la variable dada conforme a la afirmación relacionada.
Si le interesa la lógica, puede disfrutar del libro Logic and Databases: The Roots of Relational Theory antes de C.J. Fecha. Hay varios capítulos que cubren estos cuantificadores y sus implicaciones lógicas. No tiene que trabajar con bases de datos para beneficiarse de la cobertura de lógica de este libro.
@Koper, con el fin de programar este algoritmo, lo necesario para comprender lo que hace el algoritmo. ¿Cómo está * no * relacionado con la programación? – devuxer
@DanThMan: Bueno, técnicamente es una pregunta matemática general, pero no creo que valga la pena cerrarla. –
@Koper: esa es una analogía realmente mala. –