• CURSO: DESARROLLO DEL PENSAMIENTO LOGICO MATEMATICO

• DOCENTE: ROSARIO DIOMEDES DELGADO VÀSQUEZ

• LUGAR DE ESTUDIOS: UNIVERSIDAD NACIONAL DE TRUJILLO
• AULA: F-8
• CICLO: I-CICLO (2023-I)
• CARRERA: MATEMATICAS

• INTEGRANTES:

 ELIZALDE MILLONES FRANCK JHANPIER

 MEDINA RODRÍGUEZ ENZO PAOLO
 MUÑOZ ZAVALETA JENNY LIZETH
 RODRÍGUEZ ROMERO JHOEL EDUARDO
 VELEZ BASILIO CRISTHIAN ANGEL

2023
 PRACTICA N° 05
En los ejercicios 1 al 6, diga si la afirmación es una función proposicional. Para
cada afirmación que sea una función proposicional, de un domino de discurso.

1. ( 2 n+1 )2 es un entero impar

Solución:
N ∈ Z … … ..(DOMINIO)
F(n): (2 n+1)2=numero impar
F(1): (2(1)+1)2=9 … ..(v )
F(2): (2(2)+1)2 =25 …..( v )
F(0): (2(0)+1)2=1 …..( v )
( 2 n+1 )2 es un entero impar , es una función proposicional / n∈ Z
2. Seleccione un entero entre 1 y 10
Solución:
No es una función proposicional dado que es una oración imperativa porque
expresa orden.
3. Sea x un número real
Solución:
No es F.P dado que no es una proposición completa
4. La película ganó el premio de la academia como mejor película en 1995
Solución:
Dominio: Todos los ganadores de la película
Tomando como referencia la amplia variedad de películas y los géneros en los
que se clasifican, debemos de considerar según el predicado un subconjunto que
incluye solamente a las películas ganadoras del premio, donde puede que haya
más de una que recibió esta congratulación, sin embargo, necesitamos conocer a
cuáles se refiere, y eso convierte al enunciado en una función proposicional, la
cual será verdadera o falsa dependiendo del nombre de la película que se
reemplace en el sujeto
5. 1+3=4
Solución:
No es F.P dado que es una proposición
6. Existe x tal que x < y (x, y números reales).
Solución:
Su dominio es x, y 𝟄 ℝ
F(x,y): x < y
F(2,4): 2< 4
1 5 1 5
F( , ): <
2 4 2 4
F( π , √ 2 ¿: π <√ 2
Si es función proposicional / x, y 𝟄 ℝ
Sea P(n) la función proposicional “n divide a 77”. Escriba cada proposición en los
ejercicios 7 al 11 en palabras y diga si es verdadera o falsa. El dominio de discurso
es el conjunto de enteros positivos.
7. P(11) 11 divide a 77
Solución:
Es verdadero dado que 11 si divide 77 y cumple con el dominio
8. P(1) 1 divide a 77 …………………. verdad
9. P(3) 3 divide a 77 …………………. Falso
10. ∀ nP ( n ) n divide a 77 …………………. Falso

11. ∃n P(n) n divide a 77 …………………... falso

Sea p(n) la afirmación “x está en un curso de matemáticas”. El dominio de discurso es
el
12. ∀ xP ( x )
Solución: Todo estudiante está estudiando en un curso de matemáticas
13. ∃ x P(x )
Solución: Existe cada estudiante en un curso de matemáticas.
14. ∀ x P ( x )
Solución: Todo estudiante no está en el curso de matemáticas.
15. x P(x)
∃
Solución: Existen estudiantes que no está en el curso de matemáticas.
16. ( ∀ xP ( x ))
Solución: Existen estudiantes que no están en el curso de matemáticas.
17. (∃ x P( x ) )
Solución: Todos los estudiantes no están en el curso de matemáticas.
18. Escriba la negación de cada proposición en los ejercicios 12 al 17 en símbolos y
en palabras.
Solución:
Del ejercicio 12: [ ∀ xP ( x ) ] = ∃ x P ( x )
Existen estudiantes que no está en el curso de matemáticas.
Del ejercicio 13: [ ∃ x P(x) ] = ∀ x P ( x )
Todo estudiante no está en el curso de matemáticas.
Del ejercicio 14: [ ∀ x P ( x ) ] = ∃ x P(x )
Algún estudiante está en un curso de matemáticas.
Del ejercicio 15: [ ∃ x P(x) ] = [ ∀ xP ( x ) ]
Todo estudiante está en un curso de matemáticas.
Del ejercicio 16: [ ( ∀ xP ( x )) ] = ∀ xP ( x )
Todo estudiante está en un curso de matemáticas.
Del ejercicio 17: [ (∃ x P( x ) ) ] = ∃ x P ( x )
 Algún estudiante está en un curso de matemáticas.

Sea P(x) la afirmación “x es un atleta profesional” y sea Q(x) la afirmación “x

juega futbol”. El dominio de discurso es el conjunto de todas las personas. Escriba
casa proposición en los ejercicios 19 al 26 en palabras. Determine el valor de
verdad de cada afirmación.
19. ∀ x ¿
Solución:
Para toda persona, si es un atleta profesional entonces juega futbol.
20. ∃ x ¿
Solución:
Existen personas que si son atleta profesional entonces juegan futbol.
21. ∀ x ¿
Solución:
Para toda persona, si juega futbol entonces es un atleta profesional
22. ∃ x ¿
Solución:
Proposición escrita en palabras: existe una persona que, si juega fútbol, entonces
es un atleta profesional.
Valor de verdad: la expresión es verdadera.
23. ∀ x ¿
Solución:
Proposición escrita en palabras: toda persona es un atleta profesional o juega
fútbol.
Valor de verdad: la expresión es falsa.
24. ∃ x ¿
Solución:
Proposición escrita en palabras: existe una persona que es un atleta profesional o
juega fútbol.
valor de verdad: la expresión es verdadera.
25. ∀ x ¿
Solución:
Proposición escrita en palabras: toda persona es un atleta profesional y juega
fútbol.
Valor de verdad: la expresión es falsa.
26. ∃ x ¿
Solución:
 Proposición escrita en palabras: existe una persona que es un atleta profesional y
juega futbol.
Valor de verdad: la expresión es verdadera.

27. Escriba la negación de cada proposición en los ejercicios 19 al 26 en

símbolos y en palabras.
Ejercicio 19: ∀x (P(x) →Q(x))
negación en símbolos: ∃x (~p(x) v q(x))
negación en palabras: existe una persona que no es un atleta profesional o juega
fútbol.
Ejercicio 20: ∃x (P(x) → Q(x))
Negación en símbolos: ∀x (~p(x) v q(x))
Negación en palabras: toda persona no es un atleta profesional o juega fútbol.
Ejercicio 21: ∀x (Q(x) → P(x))
Negación en símbolos: ∃x (~q(x) v p(x))
Negación en palabras: existe una persona que no juega fútbol o es un atleta
profesional.
Ejercicio 22: ∃x (Q(x) → P(x))
Negación en símbolos: ∀x (~q(x) v p(x))
Negación en palabras: toda persona no juega fútbol o es un atleta profesional.
ejercicio 23: ∀x (p(x) v q(x))
Negación en símbolos: ∃x (~p(x) ∧ ~q(x))
Negación en palabras: existe una persona que no es un atleta profesional y no juega
fútbol.
Ejercicio 24: ∃x (P(x) v Q(x))
Negación en símbolos: ∀x (~p(x) ∧ ~q(x))
Negación en palabras: toda persona no es un atleta profesional y no juega fútbol.
Ejercicio 25: ∀x (P(x) ∧ Q(x))
Negación en símbolos: ∃x (~p(x) v ~q(x))
Negación en palabras: existe una persona que no es un atleta profesional o no juega
futbol.

Ejercicio 26: ∃x (P(x) ∧ Q(x))

 Negación en símbolos: ∀x (~p(x) v ~q(x))
Negación en palabras: toda persona no es un atleta profesional o no juega fútbol.
Sea P(x) la afirmación “x es contador” y sea Q(x) la afirmación “x tiene Porsche”.
Escriba en símbolos y en palabras cada afirmación en los ejercicios 28 al 31.
28. Todos los contadores tienen un Porsche.
ESCRITURA EN SÍMBOLOS: ∀x (P(x) → Q(x))
ESCRITURA EN PALABRAS: Para todo x, si x es un contador, entonces x
tiene un Porsche.

29. Algunos contadores tienen un Porsche.

Formalización: existe por lo menos un “x” que, ”x” es un contador y “x” tiene
un Porsche.

30. Alguien que tiene Porsche es contador.

Formalización: para todo “x”, si “x” es el dueño de un Porsche, entonces “x” es
un contador.

31. Escriba la negación de cada proposición en los ejercicios 28 al 31 en símbolos y

en palabras.
Formalización: existe por lo menos un “x” que, “x” tiene un Porsche y “x” es
un contador

32.

28)
Formalización: algunos contadores no tienen un Porsche

29)

Formalización: todos los contadores no tienen un Porsche

30)

Formalización: algunos de los dueños de porches no son contadores.

31)

Formalización: todos los que tienen un Porsche no son contadores.

33. ∃ x (x 2 > x)

Formalización: para todo “x”, x 2> x

 Conclusión: (F)
Justificación: esta afirmación es falsa debido a que hay dos valores para “x”
que no cumplen con esta afirmación, demostración:
* X=0; 02 >0 …………..(F)
* X=1; 12 >1…………..(F)
34. ∀ x( x>1 → x 2 > x)
Formalización: existe por lo menos un “x”, que x 2> x
Conclusión: (V)
Justificación: esta afirmación si es verdadera debido a que existen dos números
que no cumplen con esta premisa, demostración:
* 22 >2……..(V) ; 02 >0 ……..(F)
* 32 >3……..(V) ; 12 >1……..(F)
35. ∃ x (x >1→ x 2> x)
Formalización: para todo “x”, si x >1 ,entonces x 2> x
Conclusión: (V)
Justificación: esta afirmación es verdadera debido a que todos los números
mayores a “1”, sus cuadrados siempre serán mayores al propio número,
demostración:
* 2>1 ; 22=4 ; 22 >2………..(V)
* 3>1 ; 32=9 ; 32 >3………..(V)
* 13>1 ; 132=169 ; 132 >13………(V)

36. ∀ x( x>1 → x / (x2 +1)<1/ 3)

Formalización: existe por lo menos un “x”, si x >1 ,también cumple x 2> x
Conclusión: (F)
Justificación: esta afirmación es falsa debido que no existe algún numero que
siendo mayor a “1” que no cumpla con la premisa de x 2> x.
37. ∃ x (x >1→ x /( x 2 +1)<1/3)

x 1
Formalización: para todo “x”, si x >1 ,entonces <
( x +1 ) 3
2

Calculo:
X=2; 2>1 . X=3; 3>1 X=12;
12>1
2 1 2 1 3 1 3 1 12 1 12 1
< = < < = < < = <
4+ 1 3 5 3 3 + 1 3 10 3 12 + 1 3 145 3
2 2

0 , 4 <0 , 333 ……..(F) 0 , 3<0 , 333…….(V)

0 , 082<0 , 333……..(V)

Conclusión: (F)
Justificación: esta afirmación es falsa debido que como se pudo calcular, el
numero “2” no cumple con esta afirmación e invalidando la premisa.

38.
 x 1
Formalización: existe por lo menos un “x”, si x >1 ,también cumple <
( x +1 ) 3
2

Conclusión: (V)
Justificación: esta afirmación es verdadera debido a que el numero dos no cumple con
la premisa evitando así que la afirmación se universal, demostración:
*2>1
2 1
<
4+ 1 3
2 1
<
5 3
0,4 <0,333………(V)