Ejercicio_1

Cuantificador Existencial

• Se simboliza Ǝ y se lee "algun o algunos". Es decir, que indica que algo es cierto en un contexto especifico.
• -Contiene expresiones como:
• -Para algún x -
• - Existe al menor un x
• -Para algunos x -
• -existe un x tal que
• -Algunos x
• -Cuando menos un x

Ejemplo 1

• Cuando vamos a representar una expresión como "Algunos bebes toman biberón y duermen"
• Es decir que
• Ǝ(x): Algunos bebes
• P(x): toman biberón
• Q(x): duermen
• Ǝ(x)→ p(x) ᶺ q(x)

Ejemplo 2

• Si la expresión que queremos representar es "Algunas persona tienen llaves de su casa"
• Es decir:
• Ǝ(x): cada persona
• P(x): tiene llaves de su casa
• Ǝ(x) → p(x)

Sacado de:

• https://www.emaze.com/@AOCOQCFWI
• https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=3199701&tm=1529510366591