Está en la página 1de 2

TAREA 1 PROPOSICIONES Y TABLAS DE VERDAD

JUAN ESTEBAN PUERTA OCHOA


PENSAMIENTO LÓGICO Y MATEMÁTICO
GRUPO 200611_1076

TUTOR
MARY GONZALES ORTEGA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD


ZOCC ECACEN
TECNOLOGÍA EN GESTIÓN INDUSTRIAL
SAN VICENTE FERRER
2020
EJERCICIO 1

TEMA C: CUANTIFICADOR EXISTENCIAL.


En el lenguaje de predicados en lógica matemática, se usa el símbolo:!, llamado
cuantificador existencial, ante puesto a una variable para decir que "existe al
menos" un elemento del conjunto, al que hace referencia la variable, que cumple
la proposición escrita a continuación.

Ejemplo 1:
“Algunos estudiantes de medicina han estudiado anatomía”
p: “han estudiado anatomía”
q: “alumnos de medicina”
r: “existen algunos estudiantes de medicina que han estudiado anatomía”

Ejemplo 2:
“existe por lo menos una cosa que es bella”
p: “una cosa es bella”
q: “existe por lo menos”
r: “por lo tanto existe por lo menos alguna cosa que es bella”

Referencias
https://es.wikipedia.org/wiki/Cuantificador_existencial
https://www.google.com/search?
q=dos+ejemplos+de+cuantificador+existencial&client=firefox-b-
d&sxsrf=ALeKk00VoN8mdRg16DvvrIovdQtmf4S8xg:1583367871086&source=lnm
s&tbm=isch&sa=X&ved=2ahUKEwiHuIT8iILoAhVBTt8KHWIhCAsQ_AUoAXoECA
wQAw&biw=946&bih=958#imgrc=V4E_BAcfGj90pM

También podría gustarte