Untitled

CUANTIFICADOR EXISTENCIAL

• Definicion:
• Es otro tipo de cuantificador dentro del cálculo de predicados en el cual se indica que algún o algunos valores son verdaderos dentro de un dominio o contexto especifico donde solo por el hecho de estar en el tipo cuantificador existente ya hace que ese valor sea existente en alguna proposición y se simbolioza ᴲₓ.

cuantificador existencial

• En este tipo de cuantificador se usan frases tales como:
• Existe al menos un x
• Para algún x
• Para algunos x
• Existe un x tal que
• algunos x

cuantificador existencial

• se simboliza ᴲₓ
• donde el símbolo ᴲₓ tiene como significado ᴲ cuantificador existencial y ₓ representa valor existente
• donde ᴲₓ quiere decir que un valor cuantificador en este caso x es un valor existente.

cuantificador existencial

• Equivalencia entre cuantificadores
• Donde cada proposición tiene su equivalencia la cual puede ser tanto afirmativa como negativa y se pueden representar asi:
• proposición formula
• Para todo x es - Ɐx p(x)
• Ningun x es - Ɐx ¬p(x)
• Algún x es - ᴲx p(x)
• Algún x no es - ᴲx ¬p(x)

cuantificadoe existencial

• Se sabe que de cada verdad de ellas tras la negación se sigue la falsedad de su contradictoria si se niega cualquiera de ellas tambien cambia su equivalencia como su signo de igual manera.
• proposicion Formula equivalente
• Ɐx p(x) - ¬ᴲx ¬p(x)
• Ɐx ¬p(x) - ¬ᴲx p(x)
• ᴲx p(x) - ¬ Ɐx ¬p(x)
• ᴲx ¬p(x) - ¬ Ɐx p(x)

cuantificador existencial

• Ejemplo 1
• Cuantificador existencial
• Expresión “Existe al menos un adolescente o adulto responsable y trabajador”
• Expresión simbólica
• ᴲx adolescente(x) ˅ adultoresponsable (x) ˄ trabajador(x)

cuantificadores existenciales

• ejemplo 2
• Equivalencia entre cuantificadores.
• ᴲx ¬p(x)
• “algún docente no es egresado de la universidad”
• ᴲx ¬es egresadodelauniversidad}
• 3. ᴲx p(x)
• Existe almenos en bogota un hombre fiel
• Equivale a decir tras la negacion
• ¬ Ɐx ¬p(x)
• No existe almenos no enbogota un hombre fiel

cuantificador existencial

• https://es.wikipedia.org/wiki/Cuantificador_existencial
• Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0.
• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=3199701&tm=1529510366591