Cuantificador existencial

Dennys Herrera Amed

Universidad Nacional y a Distancia

(UNAD)

Curso: pensamiento lógico matemático

Tutor: José Bautista

Programa: Ingeniería Industrial

Sincelejo_ sucre

2018
 INTRODUCCION

Con el fin de lograr la óptima comprensión de las temáticas relacionadas con la unidad 1

lógica proporcional es necesario realizar una adecuada revisión de las temáticas propuestas

con el fin de cumplir con los objetivos establecidos para el presente trabajo, en este mismo

queremos exponer la solución a las tareas propuestas en la guía de actividades a través de la

interacción aportes enviados por cada integrante del grupo.

Este trabajo se realiza con la finalidad de obtener más conocimiento en los siguientes

temas: la lógica de proposiciones permite describir razonamientos basados en enunciados

declarativos, tablas de verdad da a conocer los valores de una proposición compuesta, los

cuales dependen de los conectivos utilizados, álgebra de proposiciones, tautologías y

contradicciones y contingencias, proposiciones categóricas, cuantificadores.

 OBJETIVOS

° Proporcionar herramientas que permitan elaborar determinar la validez de una

proposición.

° Analizar cualquier fórmula hallando sus valores de verdad para saber si es un

razonamiento valido o no.

° interactuar con los compañeros

° adquirir herramientas útiles para nuestra vida profesional

 Cuantificador Existencial

El cuantificador existencial se usa para indicar que hay uno o más elementos en el

conjunto

(no necesariamente único/s), que cumple una determinada propiedad.

Se denota con el símbolo ⱻp y se lee de las siguientes maneras:

° para algún p

° para algunos p

° existe un p tal que

° algunos p

° cuando menos un p

° existe al menos un p

Ejemplos

1.Existe al menos un cirujano o un odontólogo en la familia

 ⱻp (cirujano(p) → odontólogo (p) ᶺ familia(p))

2. para algunos médicos no tener estetoscopio es un problema

ⱻp (médicos(p)→estetoscopio(p) ᶺ˹problema (p)

3. algunos estudiantes de lógica aprobaron el ejercicio

ⱻp (estudiantes p) →aprobaron(p)→ejercicios(p)

1.proposiciones simples del argumento

Ejemplo:

Este fin de semana, voy hacer un asado y voy a realizar una actividad en la piscina y voy

a pasar tiempo agradable con mi familia.

EJEMPLO PROPOSICIONES

Este fin de semana, voy Este ejemplo es de

hacer un asado y voy a proposiciones moleculares o

realizar una actividad en la compuestas

piscina y voy a pasar tiempo

agradable con la familia

2. expresión del argumento simbólico o formal

Este fin de semana, Voy hacer un asado

Y voy a realizar una actividad en la piscina y voy a pasar tiempo agradable con mi

familia

Preposiciones simples:

P: voy hacer asado

Q: voy realizar actividad en la piscina

R: voy pasar tiempo agradable con mi familia

Lenguaje simbólico:

[⁽PᶺQ⁾ᶺR]
Simulador de truch table

p q r (pΛqΛr)

T T T T
T T F F
T F T F
T F F F
F T T F
F T F F
F F T F
F F F F
Tabla de verdad

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 F
F V V F F
F V F F F
F F V F F
F F F F F
Ejercicio 3: Problemas de aplicación

[(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

Definición de preposiciones simples:

P: Andrés trabaja en el día

Q: Andrés se dedica al estudio en la noche

R: Andrés va muy bien en la universidad

(pᶺq)→r

p q r (pΛq)→r

T T T T

T T F F

T F T T

T F F T

F T T T

F T F T

F F T T

F F F T
Lenguaje natural de la expresión formal

Si Andrés trabaja en el día y se dedica al estudio en la noche, entonces Andrés va muy

bien en la universidad. Si Andrés trabaja en el día y no se dedica estudio en la noche,

entonces Andrés no va muy bien en la universidad.

Tablas de verdad manual

(p^q)→r

p q r ¬p (p^q) (p^q)→r

F F F F V F

F F V F V F

F V F F V F

F V V F V F

V F F V F F

V F V V F V

V V F V V F

v v v V v F

El argumento es una contingencia

 CONCUSION

 Desarrollamos las temáticas de proposiciones, tablas de verdad, conjunto y sus

operaciones.

 Utilizamos estrategias basadas en problemas

Interactuamos con el tutor

 Adquirimos herramientas útiles para nuestra vida profesional

 BIBLIOGRAFIA

⁎Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos

Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial

Tébar Flores. Recuperado

de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3226

457&tm=152924625992

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado

dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=319

9701&tm=1529335849013

⁎Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961

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

universitarias. México: McGraw-Hill Interamericana. Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069