Ohne Titel

Folie 1

• CUANTIFICADORES EXISTENCIALES

Folie 2

• En el lenguaje de predicados en lógica matemática, se usa el símbolo: Ǝx , llamado cuantificador existencial, antes puesto a una variable para decir que "existe al menos" un elemento del conjunto B, al que hace referencia la variable, que cumple la proposición escrita a continuación.
• Ǝx ϵ B

Folie 3

• EJEMPLOS DE CUANTIFICADORES EXISTENCIALES

Folie 4

• EJEMPLO #1:
• Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:
• A Ϲ B Ʌ A ≠ B Ʌ A ≠ Ø
• Existe al menos un elemento X de B que pertenece a A:
• Ǝx ϵ B Ʌ x ϵ A
• Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir que no todos los elementos de B pertenecen a A, al ser A y B conjuntos distintos, existe al menos un elemento Y de B que no pertenece a A:
• Ǝy ϵ B Ʌ y ϵ A
• https://commons.wikimedia.org/wiki/File:Conjuntos_04.svg#/media/Archivo:Conjuntos_04.svg