UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Cuantificadores Existenciales

Estudiante

Diana Stefanny Benítez Bernal

cédula

1085923414

Docente

Edgar Castillo Gamba

Curso

Pensamiento Lógico Matemático

Grupo

200611_1068

Yopal

19/09/2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

A continuación, encontraremos una explicación a grandes rasgos de

cuantificadores existenciales, por lo cuales entenderemos una afirmación
cuantificada.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Cuantificadores Existenciales

Ejercicio 1

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 específico.

Un cuantificador existencial nos asocia a que una instrucción es de dominio

verdadero para un conjunto en general.

Si queremos expresar que un A es verdadero de algún x, lo expresaremos

×

Ejemplo

1. Existe al menos un músico es médico y empresario.

Se expresa: × ((x) ˆ (x))

Cuantificadores existenciales en negativa

2. Algunos patinadores son profesionales y no tienen medallas.

Se expresa: × ((x) ˆ ¬(x))

 Presentación en prezzi

https://prezi.com/view/TCPh4dRNWIS6hCHaLmsu
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Ejercicio 2

PROPOSICIONES Y TABLAS DE VERDAD

A. Si estudio en la UNAD y pertenezco a las Fuerzas Militares de

Colombia, Entonces tendré un 40% de descuento en la Matricula.

 Proposiciones Simples:

p = Si estudio en la UNAD

q = Pertenezco a las fuerzas militares de Colombia

r = Tendré un 40% de descuento

 Lenguaje Simbólico:

(p^q)r
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

 Tabla de Verdad

p q r (p^q)  r

V V V V V V

V V F V F F

V F V F V V

V F F F V F

F V V F V V

F V F F V F

F F V F V V

F F F F V F

 Simulador Truth Table:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica (dada en el planteamiento del

ejercicio):

[[(𝑝→𝑞) ∧[(𝑞∧r) →p]∧ 𝑟]→p

 Definición de las proposiciones simples

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

P: Si entreno esta semana

q: participo en los intermunicipales

r: Ganaremos el paseo

 Lenguaje natural de la expresión formal

Si entreno esta semana microfútbol entonces participo en los

intermunicipales. Si vamos a jugar en los intermunicipales y vamos a ganar
el paseo entonces entreno esta semana. Ganamos el paseo si entrenamos.

 Generar la tabla de verdad manualmente

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

El Argumento es una CONTINGENCIA

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

 Simulador Truth Table:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

Al finalizar es te trabajo, me pareció importante y curioso ver que existen

otras maneras de dar por verdadera una información desde un texto
diferente al tradicional de lenguaje y escritura.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

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

computación. (pp. 110). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591