UNIVERSIDAD NACIONAL DE TRUJILLO
FACULTAD DE CIENCIAS BIOLÓGICAS
ESCUELA DE CIENCIAS BIOLÓGICAS
“TRABAJO 3: CUANTIFICADORES LOGICOS”
CURSO
DESARROLLO DEL PENSAMIENTO LOGICO MATEMÁTICO
DOCENTE
LUIS FERNANDO VARGAS VERA
RESPONSABLES
MALCA SILVA LEANDRO ARTURO
MENDOZA ARENAS ANAYELLY DEL PILAR
ORBEGOSO FLORES JOSE BENJAMIN
VILLACORTA GARCIA XIOMARA GABRIELA
AGUILAR ZAVALETA, JEANCARLOS JAIR
SALVADOR FLOREANO, DEMMY BRIAN
I CICLO
TRUJILLO – PERÚ
2021
Ejemplo1:
1. Dada la proposición: “Alguien canta o toca guitarra”
a) Simbolizar
▪ Identificamos que “Alguien” es un cuantificador Existencial
▪ “Alguien” lo representamos con una “x”
▪ Identificamos que “o” es una disyunción y debido a eso tenemos
2 proposiciones que son:
✓ C(x) = “x canta”
✓ G(x) = “x toca guitarra”
▪ Lo representamos una manera formal: En lugar de “alguien”
colocamos “x”, junto al cuantificador existencial, haciendo alusión
que “canta” o “toca guitarra”.
✓ Ǝx: (C[x] v G[x]) = “Alguien canta o toca guitarra”
b) Negarla simbólica y verbalmente (lenguaje corriente)
▪ Si lo negamos quedaría así:
✓ - [ Ǝx: (C[x] v G[x])]
▪ Al negar todo, el cuantificador se invierte y negación de lo que está
dentro del paréntesis, quedaría así:
✓ ∀x – (C[x] v G[x])
▪ Quedaría una negación de una disyunción y prácticamente se
aplicaría la LEY DE MORGAN→ lo cual nos dice que se niegan a
ambos componentes de la disyunción:
✓ ∀x (-C[x] ∧ -G[x])
Se leería: “Todos no cantan ni tocan guitarra” o “Todos no cantan y no tocan guitarra”
Ejemplo2:
Dado el siguiente ejemplo ∀x ∊ Z, x-5<8 indicar su valor de verdad y negarla
a) Valor de verdad
✓ ∀x ∊ Z, x-5<8 = “Cualquier número entero restado a 5
es menor a 8”
▪ Tenemos que identificar que si con el cuantificador universal,
cumple con su valor de verdad, si encontramos un valor que
no cumple, su valor sería falsa
Para x = 14, 14-5<8
9<8 es Falso
▪ Por lo tanto, no cumple que para todos los enteros la
expresión dada x-5<8, sería una proposición falsa.
∴ ∀x∊ Z, x-5<8 es Falso.
Otra forma de representarlo sería:
✓ V (∀x∊ Z, x-5<8) = F se leería: El valor de verdad para
todo x que pertenece a los naturales, x-5 es menor que
8, sería falso.
b) Negación
✓ ∼ (∀x∊ Z, x-5<8)
▪ “Al negar el cuantificador universal se convierte en
existencial, negamos toda la expresión de los paréntesis”
✓ ⱻ x∊Z: ∼(x-5<8)
ⱻx∊Z: (x-5≮ 8) “algún número entero restado a 5 no es menor a 8”
Al decir que no es menor que 8 es decir:
ⱻx∊Z: ∼ (x-5 ≥ 8) “algún número entero restado a 5 es mayor o igual a 8”
Ambas respuestas son Correctas.
Ejemplo3:
Sea la función proposicional P[x]= 2x+1>2 para los valores del conjunto {1,2,3},
encontrar una proposición verdadera haciendo uso de cuantificadores.
▪ Nos dan un conjunto Finito (especifico) para saber si es verdadero
o falso, que cuantificador usar y con cual valor cumple teníamos
que reemplazar en el esquema proposicional todos los valores del
conjunto, Lo positivo es que es un conjunto limitado, ya que, si no
fuese así el caso, comprobar la veracidad sería casi imposible
Respuesta
Para X = 1 P[1] = 2*1+1>2
=3>2 Verdadero!!
Para X=2 P [2] = 2*2+1>2
=5>2 Verdadero!!
Para X=3 P [2] = 2*3+1>2
=7>2 Verdadero!!
▪ Nombramos al conjunto finito como conjunto A
Sea A= {1,2,3}, se cumple que ∀x∊A, P[x]=2x+1>2 es verdadero
Se leería: Para todo x que pertenece a P[x]=2x+1>2 sería verdadero, ya que cumple
para el cuantificador universal.
¿Cómo Convertir un E. P en una proposición?
Haciendo uso de cuantificadores específicos o universales y asignándole valores
específicos como lo puede ser x.
TAREA
1) Dada la proposición “X es un animal que tiene plumas”
a) Simbolizar
▪ Identificamos que hay dos proposiciones:
✓ A(x) = “x es un animal”
✓ P(x) = “x tiene plumas”
▪ Se deduce que el conector lógico es un conjuntor
▪ Lo representamos una manera formal: En lugar de “alguien”
colocamos “x”, junto al cuantificador existencial, haciendo alusión
que “es un animal” y “tiene plumas”.
✓ Ǝx: (A[x] ∧ P[x]) = “Alguien es un animal y tiene plumas”
b) Negarla simbólica y verbalmente (lenguaje corriente)
▪ Si lo negamos quedaría así:
✓ - [ Ǝx: (A[x] ∧ P[x])]
▪ Al negar todo, el cuantificador se invierte y negación de lo que está
dentro del paréntesis, quedaría así:
✓ ∀x – (A[x] ∧ P[x])
▪ Quedaría una negación de una conjunción y prácticamente se
aplicaría la LEY DE MORGAN→ lo cual nos dice que se niegan a
ambos componentes de la conjunción:
✓ ∀x (-A[x] V -P[x])
Se leería: “Todos no son animales o no tienen plumas”
2) Dada la proposición “Todos sonríen y no son felices”
a) Simbolizar
▪ Identificamos que “Todos” es un cuantificador Universal
▪ “Todos” lo representamos con una “x”
▪ Identificamos que “y” es una conjunción y debido a eso tenemos
2 proposiciones que son:
✓ S(x) = “x sonríen”
✓ F(x) = “x son felices”
▪ Lo representamos una manera formal: En lugar de “Todos”
colocamos “x”, junto al cuantificador universal, haciendo alusión
que “sonríen” o “no son felices”.
✓ ∀x: (S[x] ∧ -F[x]) = “Todos sonríen y no son felices”
b) Negarla simbólica y verbalmente (lenguaje corriente)
▪ Si lo negamos quedaría así:
✓ - ∀x: (S[x] ∧ -F[x])
▪ Al negar todo, el cuantificador se invierte y negación de lo que está
dentro del paréntesis, quedaría así:
✓ Ǝx – (S[x] ∧ -F[x])
▪ Quedaría una negación de una conjunción y prácticamente se
aplicaría la LEY DE MORGAN→ lo cual nos dice que se niegan a
ambos componentes de la conjunción:
✓ Ǝx (-S[x] V F[x])
Se leería: “Algunos no sonríen o son felices”
3) Sea la función proposicional P[x]=3x-6<12 para los valores del conjunto {1,2,3},
encontrar una proposición verdadera haciendo uso de cuantificadores
▪ Nos dan un conjunto Finito (especifico) para saber si es verdadero
o falso, que cuantificador usar y con cual valor cumple teníamos
que reemplazar en el esquema proposicional todos los valores del
conjunto, Lo positivo es que es un conjunto limitado, ya que, si no
fuese así el caso, comprobar la veracidad sería casi imposible
Respuesta
Para X = 1 P[1] = 3x-6<12
= -3 < 12 Verdadero!!
Para X=2 P [2] = 3x-6<12
= 0 < 12 Verdadero!!
Para X=3 P [2] = 3x-6<12
= 3 < 12 Verdadero!!
▪ Nombramos al conjunto finito como conjunto A
Sea A= {1,2,3}, se cumple que ∀x∊A, P[x]= 3x-6<12 es verdadero
See leería: Para todo x que pertenece a P[x]= 3x-6<12 sería verdadero, ya que cumple
para el cuantificador universal.
META-PREGUNTAS:
a) nivel de cumplimiento del objetivo propuesto.
El objetivo propuesto, consideramos como equipo que se ha cumplido en un 95% ya
que podríamos haber cometido algunos errores que disminuyan el nivel de certeza
esperado del 100%
b) limitaciones, profundidad y dificultades del trabajo
❖ Tuvimos un inconveniente muy problemático con el guardado del documento,
puesto que habíamos realizado un guardado del documento final, pero el
archivo acabo perdiéndose, por ende, tuvimos que volver a realizar todo el
trabajo.
❖ Durante esta semana cada miembro del equipo tenía muchos trabajos que
entregar antes, lo cual dificulto la organización en el momento de reunirnos
para realizar la practica
c) nivel de aprendizaje obtenido por cada alumno
➢ Malca Silva Leandro.81%: Yo considero que puedo seguir mejorando, hay
cosas que no logro entender del todo, pero sé que con la práctica y la ayuda de
la clase y mi equipo sé que podre segur mejorando.
➢ Mendoza Arenas Anayelly del Pilar. 86%: Considero qué aún me falta dominar el
tema por completo, pero con práctica lo podré lograr, con ayuda de mi grupo
aclaré muchas dudas, y eso es muy positivo.
➢ Villacorta García. 85 %: Considero que practicando más podre dominar el
tema, pero también debo resaltar el trabajo de mi equipo ya que entre todos
nos apoyamos para realizar un trabajo acorde a lo que el profesor nos indica y
de paso entre todos nos ayudamos para aprender este tema y los otros temas
que vengan.
➢ José Benjamín Orbegoso.84%: soy consciente de que me falta mucho por
mejorar en este tema, pero gracias a mi equipo pude aprender más.
➢ Aguilar Zavaleta. 85%: me parece que al ser un tema resiente me hace falta
profundizar en él y practicar más, para poder tener un resultado más óptimo.
➢ Demmy Brian Salvador. 83%: aunque no es un tema nuevo tuvimos algunas
dificultades en determinar el número de predicados en una proposición, pero
practicando más podremos dominar el tema.
d) sugerencias y críticas a la metodología de trabajo empleado por el docente.
1) Estaría bien que se sigan manteniendo los mismos grupos separados
del A y el B por la diferencia de horarios para no perjudicar a ningún
miembro.
2) Que se active el aula virtual para el grupo B, pues estamos
dependiendo en todo momento de la delegada del A, además de poder
mantener un mejor orden a la hora de realizar y entregar nuestras
tareas.
