Cuantificador existencial

Carol Astrid Martínez urbano

Código (200611B)

Grupo: 761

Tutor:

Mireya Gómez Argote

Universidad nacional abierta y a distancia UNAD

Escuela de ciencias básicas, tecnología e ingeniería

Curso académico:

Ingeniería en alimentos

Pitalito, febrero 23-02-2020

 Introducción

La lógica de cuantificadores también llamada lógica de predicados examina la parte interna de

los enunciados, en esta oportunidad les hablare del cuantificador existencial el cual indica que
algo es cierto para algunos individuos, preposiciones y tablas de verdad y los problemas de
aplicación.
 Objetivos

 Definir variables lógicas dependientes a partir de un situación o problema.

 Aprender técnicas para simplificar preposiciones lógicas.
 Diseñar circuitos lógicos para simplificar preposiciones simples o compuestas.
Ejercicio 1: conceptualización de cuantificadores

 (cuantificadores, Nov 23, 2017)

 (cuantificador existencial, 5 marzo 2019)
Ejercicio 2: preposiciones y tablas de verdad

Preposiciones simples concepto

Es cualquier agrupación de palabras o símbolos que tengan sentido y de la que en un momento

determinado se pueda asegurar si es verdadera o falsa. La verdad o falcedad de una preposición
es lo que se llama su valor lógico o valor de verdad, las preposiciones se denotan con letras
minúsculas de la p en adelante.

Ejercicio a realizar:

C: Colombia cuenta con una variedad de fauna y flora si y solo si, la atraviesa la cordillera de los
Andes y la llanura amazónica.

1. Definición de preposiciones simples en el argumento.

p = Colombia cuenta con una variedad de fauna

q = Colombia cuenta con una variedad de flora

r = Colombia la atraviesa la cordillera de los andes

s = Colombia la atraviesa la cordillera amazónica

2. Definir la expresión del argumento en el lenguaje simbólico o formal

[(p ˄ q) ↔ (r ˄ s)]
3. Tabla de verdad en el simulador

JTabla - Resultados

p q r s (p∧q) ↔ (r∧s)

v v v v V
v v v f F
v v f v F
v v f f F
v f v v F
v f v f V
v f f v V
v f f f V
f v v v F
f v v f V
f v f v V
f v f f V
f f v v F
f f v f V
f f f v V
f f f f V
 4. Tabla de verdad manualmente

P q r S (p ˄ q) (r ˄ s) (p ˄q)↔(r ˄s)
V V V V V V V
V V V F V F f
V V F V V F F
V V F F V F F
V F V V F V F
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V F
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V F
F F V F F F V
F F F V F F V
F F F F F F V

(slideshare, 17/06/2012)

(como crear una tabla de verdad, 17/05/2012)

Ejercicio 3_ problemas de aplicación

A partir de la preposición compuesta en el lenguaje simbólico definir las preposiciones simples,
definirla bajo una descripción basada en un contexto, en el que se solicita un contexto académico

Preposición elegida a desarrollar:

C: [( p → q) ↔ r]

Argumento creado con esta preposición:

Carol estudia en el colegio entonces asiste a clases si solo si enseñan números algebraicos.

P = Carol estudia n el colegio

q = asiste a clases

r = enseñan números algebraicos

Tabla en el simulador de la UNAD

J Tabla - Resultados

p q r (( p → q) ↔ r)

v v v V

v v f F

v f v F

v f f V

f v v V

f v f F

f f v V

f f f F

Tabla generada a mano

p q r (p →q) [(p →q)↔r]
V V V V V
V V F V F
V F V F F
V F F F V
F V V V V
F V F V F
F F V V V
F F f V f

Este argumento, el resultado de la tabla es contingencia.

(cardona, 2010)
 Conclusión

Con este trabajo se logra comprender el manejo de una nueva herramienta como lo es la tabla de
verdad, la cual muestra un valor de verdad de una preposición compuesta, para cada
combinación de verdad que se pueda asignar. gracias a las actividades propuestas se logra
identificar y comprender los elementos esenciales en a lógica proporcional y la forma de
aplicarlos para resolver problemas cotidianos por medio de una tabla de verdad.
 Bibliografía

(s.f.).

(17/05/2012). como crear una tabla de verdad. mitecnologico.com.

cuantificador existencial. (5 marzo 2019). cuantificador existencial. https://bibliotecavirtual.unad.edu.co.

cardona. (2010). logica matematica para ingenieria de sistemas y comunicacion. madrid.

cuantificadores, l. 6. (Nov 23, 2017). logica de cuatificadores.

https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-d453d859dd20.

slideshare. (17/06/2012). como hacr una tabla de verdad. slideshare.co.