Beruflich Dokumente
Kultur Dokumente
Se denota con el símbolo ∃ y se lee “existe”. Este cuantificador ocurre, por ejemplo, al expresar que
un subconjunto no está contenido en otro. En efecto, si A 6⊆ B, entonces debe existir un elemento
que pertenece a A y que no pertenece a B. En símbolos:
En la siguiente tabla veremos algunas relaciones entre conjuntos que se expresan usando
cuantificadores.
La tabla anterior también sirve para ilustrar como se comportan los cuantificadores cuando se niega
una expresión que los contiene. Al negar un cuantificador universal se obtiene uno existencial, y
viceversa, al negar un cuantificador existencial se obtiene uno universal.
Algunas de las frases con la que se identifica generalmente este cuantificador son:
En las anteriores secciones se mostró que las proposiciones que son cuantificadas (universales
o existenciales) pueden ser tanto afirmativas como negativas.
Se sabe que la verdad de una de ellas se sigue la falsedad de su contradictoria. Si se niega cualquiera
de ellas se obtiene una equivalencia.
La negación de p es:
Equivalentemente:
En símbolos:
Ejemplo 2
1. Algunos son vegetales
2. 2. Hay flores
3. 3. Existen animales
son existenciales o particulares
V: “ser vegetal”
F: “ser flor”
A: “ser animal”
[2]Cardona, Torres, Sergio Augusto. Lógica matemática para ingeniería de sistemas y computación,
Ediciones Elizcom, 2010. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199701.
Created from unadsp on 2019-09-19 18:37:37.