PENSAMIENTO

LÓGICO MATEMÁTICO
 TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD
  

ESTUDIANTE:
 
YULIANA BARRETO LARA

GRUPO:
247

TUTOR:
CARLOS EDUARDO OTERO MURILLO
 
CURSO:
PENSAMIENTO LÓGICO MATEMÁTICO

 
UNIVESIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
 

 
CEAD CARTAGENA
01/02/2020
 CUANTIFICADOR EXISTENCIAL
• la cuantificación existencial de P (x) "Es la proposición en que existe un elemento x en el
universo de discurso tal que P (x) es verdad".
• Se denota por:
• o con el símbolo de la disyunción (Vx)
• Se lee:
• "hay un x tal que ...", "hay al menos un x tal que ..." o "para algún x ...".
• FORMAS PARA CONVERTIR UNA PROPOSICION

• Haciendo la sustitución de una variable por un termino especifico.

• anteponiendo el cuantificador Universal o la expresión ''para todo X''
• Anteponiendo la expresión ''existe al menos un X''
EJEMPLOS
1. Cuantificador existencial; su símbolo es  ∃ se lee ´´ Existen por lo menos uno´´
Ejemplo ∃ , = hay al menos, algunos estudiantes de matemática que lograron pasar el
semestre
∃ XE U/X aprobó el semestre
• 2
Se desea formalizar la expresión ''algunos estudiantes de la UNAD han estudiado
matemática como un cuantificador existencial
• sea P(x): ''x han estudiado matemática ''
• donde x: '‘ estudiantes de la UNAD''
• entonces se puede presentar como: x P (x)
• que se lee '' Existen algunos estudiantes de la UNAD que han estudiado matemática ''.
 REFERENCIAS

• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid