To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Cuantificador universal

De Wikipedia, la enciclopedia libre

En lógica, se usa el símbolo , denominado cuantificador universal,[1]​ antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.[2]

Ejemplo

Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

Todo elemento x de A pertenece a B:

Al ser A y B conjuntos diferentes como indica el diagrama, podemos decir que no todos los elementos y de B pertenecen a A, siendo esto una garantía suficiente para que dos conjuntos puedan ser diferentes:

Es decir: no para todo elemento y de B se cumple que y también pertenezca a A.

Relación cuantificador universal y el cuantificador existencial

Dada una expresión P(x), según el cuantificador universal se puede transformar en otra equivalente con el cuantificador existencial:

que podríamos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x).

Según el ejemplo anterior:

Para todo x que pertenece a A, se cumple que x pertenece a B. Que podemos expresar:

No existe un x de A, que cumpla que x no esté en B.

Véase también

Referencias

  1. Lista de signos o símbolos no alfabetizables en el diccionario panhispánico de dudas, apéndice 4
  2. Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0. 

Enlaces externos

Esta página se editó por última vez el 1 sep 2019 a las 17:04.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.