1

TAREA 1- PROPOSICIONES Y TABLAS DE LA VERDAD

Aporte 1-Tarea 1- Proposiciones Y Tablas De La Verdad

Daniel Felipe Acosta Arbeláez

CC: 1122142817

Paulo Andrés Vélez

Universidad Nacional Abierta Y a Distancia (U.N.A.D), Pensamiento Lógico Y Matemático,

Escuela De Ciencias Básicas, Tecnología e Ingeniería (ECBTI), Ingeniería Industrial.

Grupo: 200611_1181

Acacias-Meta

24/02/2020
 2
TAREA 1- PROPOSICIONES Y TABLAS DE LA VERDAD

CUANTIQFICADOR EXISTENCIAL

¨ Es otro tipo de cuantificador dentro del cálculo de predicados, el cual indica que algún o

algunos valores son verdaderos dentro de un dominio o contexto especifico¨ (Cardona,2010,

p.110).

Su representación simbólica es Ǝ, que quiere decir ¨existe al menos¨. El cuantificador

existencial se pone antes de una variable (x), que significa, existe al menos un x, la variable

viene unida al cuantificador. Luego viene el predicado (p) para decir que por lo menos hay un

elemento en la variable que cumple con el predicado.

Algunas frases con las que se puede identificar este cuantificador son:

 Existe al menos un x

 Para algún x

 Para algunos existe un tal x que

 Algunos x

 Cuando menos un x

A continuación, daré dos ejemplos para dar explicación al tema.

Ejemplo.

a) Algunos niños comen manzana y banano

b) Existe al menos un perro que ladra solo si se asusta

 3
TAREA 1- PROPOSICIONES Y TABLAS DE LA VERDAD
Ejemplo a- algunos niños comen manzana y banano

Cuantificador- Ǝ = algunos

Variable - x = niños

Predicado - p(x) =comen manzana

Predicado - q(x)= comen banano

Entonces podemos decir que su representación simbólica es: Ǝx(p(x)˄q(x))

Ejemplo b- Existe al menos un perro que ladra solo si se asusta

Cuantificador- Ǝ = existe al menos

Variable - x = un perro

Predicado - r(x) =que ladra

Predicado - s(x)= se asusta

Entonces podemos decir que su representación simbólica es: Ǝx(r(x)→s(x))

Presentación del tema en PREZI

Dejo el enlace de la presentación en presi del tema seleccionado de la actividad

https://prezi.com/v4nyzjwaphx_/?utm_campaign=share&utm_medium=copy
 4
TAREA 1- PROPOSICIONES Y TABLAS DE LA VERDAD

BIBLIOGRAFIA

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

Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=12

Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas

universitarias. México: McGraw-Hill Interamericana. Recuperado de https://ebookcentral-

proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3194062&ppg=12