Facultad de Educación

Y YHUMANIDADES

CORPORACIÓN UNIVERSITARIA DEL CARIBE CECAR

FACULTAD DE EDUCACIÓN Y HUMANIDADES
ASIGNATURA : LÓGICA
TALLER 3: CUANTIFICADORES
SEMESTRE: FECHA: ______ ______ _______
INTEGRANTES
Ч
De acuerdo con la lectura compresiva del material, resuelva las siguientes situaciones:

1. Escribe simbólicamente las números enteros positivos menores o

proposiciones y diga su valor de iguales que 4, en este caso el
verdad: cuantificador existencial, afirma que
r: “Para cada entero n, si n es par por lo menos existe un valor que
entonces n2 + 19 es primo” satisface la proposición. Así:

Símbolo: (∀n∈ Z) (2Z → (n² + 19 = P)) P(x): x2 > 10 → P(x): 42 > 10

P(x): 16 > 10
La proposición es falsa

s: “Existe un número real x tal que b) ¿Cuál es el valor de verdad de

x 2 ∀xP(x), donde se tiene el predicado
=
2
x +1 5 P(x): x2 < 10 y el universo del
discurso consiste del conjunto de
x 2 los números entero positivos que
Símbolo: (∃x ∈ R)/ ( 2
= ) no sobrepasen al 4?
x +1 5
Sustentación:
La proposición es verdadera
La proposición es falsa

Porque, el conjunto universal está

2. Diga el valor de verdad de las
formado por los números enteros
siguientes expresiones con
positivos menores o iguales que 4,
cuantificadores. Sustente o explique.
entonces el cuantificador universal
a) ¿Cuál es el valor de verdad de
nos indica que no todos los valores
∃xP(x), donde se tiene el predicado
satisfacen la proposición, ya que el
P(x): x2 > 10 y el universo del
entero 4 al elevarse a la 2 tendría un
discurso consiste del conjunto de
resultado mayor a 10.
los números entero positivos que
no sobrepasen al 4?.
Sustentación:

El valor de verdad de la proposición

es verdadero, porque el conjunto
universal está formado por los
 Facultad de Educación
Y YHUMANIDADES

3. Diga si es verdadero falso. Si (ⱻxZ)(x2 + 1 = 0)

A = {1, 2, 3, 4, 5}. Sustente en cada Sustentación: la proposición es
caso. verdadera, pues por lo menos un
a) “(∃x ∈ A) / (x + 3 = 10)” elemento de los números enteros
cumple con el resultado de la
La proposición es falsa ecuación, así:
(ⱻxZ)(x2 + 1 = 0) → (ⱻxZ)(-12 + 1 = 0)
Sustentación:

Porque, ninguno de los elementos

del conjunto A sumado al número 3 5. Escriba la negación de las siguientes
daría como resultado 10, así: expresiones, expresándolas en
lenguaje simbólico:
“(∃x ∈ A) / (1 + 3 ≠ 10) y así para cada a) “Existe un número natural, que es
uno de los elementos del conjunto A un numero primo”
Negación: “no existe un numero
b) “(∀x ∈ A) / (x + 3 < 10)” natural que no es un numero primo”

La proposición es verdadera En símbolo: (∃x) ¬p ˄ ¬q

Sustentación:
b) “Todos aprobamos el curso de
Porque todos los elementos del lógica y disfrutamos las
conjunto A al ser sumados con el vacaciones”
número 3 darían un resultado menor Negación: no todos aprobamos el
que 10, así: curso de lógica y no disfrutamos las
vacaciones
“(∀x ∈ A) / (5 + 3 < 10)”
Y así para cada uno de los elementos En símbolo: (∀x) ¬ p ˄ ¬q
del conjunto A.

4. Decir si las siguientes proposiciones

son verdaderas o falsas
a) (ⱯxZ)(x2 – 1 0)
Sustentación: la proposición es falsa
porque no todos los elementos del
conjunto de los números enteros
cumplen con el resultado, es decir, no
todos los números elevados al
cuadrado y restados menos 1
tendrían como resultado 0
c) r : “ Algunos tenemos libros de
lógica matemática”
Negación: algunos no tenemos libros
de lógica matemática
En símbolo: (∃x) ¬ p
d) s: “Existe un alumno de Lógica
matemáticas que es hablador y no
aprobará el curso.”
 Facultad de Educación
Y YHUMANIDADES

Negación: no existe un alumno de

lógica matemática que es hablador y En símbolo: (∃x) ¬p ˄ ¬(¬ q)
no es cierto que no aprobara el curso
Facultad de Educación