UNIVERSIDAD NACIONAL JOSE FAUSTINO SANCHEZ CARRION

FACULTAD DE EDUCACION
ESCUELA DE LENGUA, COMUNICACIÓN e IDIOMA INGLES

PRACTICA 1_M4

1. Determinar el valor de verdad de los siguientes enunciados proposicionales:

a) ∃x ∈ Z /x +5=5
b) ∀ x ∈Z /x +1=0 *
2
c) ∃x ∈ Z /x =x
3
d) ∀ x ∈ R/ x =x *
e) ∃x ∈ Z /x −7 < x
f) ∀ x ∈Z /x +8 > x
2
g) ∀ x ∈Z /x ≥x *

2. Negar cada uno de los enunciados del ejercicio anterior.

A)Ǝ X ϵ Z / x + 5=5
Negando:

~( Ǝ X ϵ Z / x + 5 = 5) ≡ Ɐ X ϵ Z / x + 5 ≠ 5

Si x=0
Ɐ0 ϵ Z / 0 + 5 ≠ 5
Ɐ0 ϵ Z / 5 ≠ 5…(F)

∴Ɐx ϵ Z / x + 5 ≠ 5…(F)

B) Ɐ x ϵ Z / x +1 = 0
Negando:

~(Ɐ x ϵ Z / x +1 = 0) ≡ Ǝ X ϵ Z / x +1 ≠ 0

Si x= -1
Ǝ-1 ϵ Z / -1 +1 ≠ 0
Ǝ-1 ϵ Z / 0 ≠ 0…(V)

∴ƎX ϵ Z / x +1 ≠ 0…(V)

C) Ǝ X ϵ Z / x2 = x
Negando:

~(Ǝ X ϵ Z / x2 = x) ≡ Ɐ X ϵ Z / x2 ≠ x

Si x=2
Ɐ2 ϵ Z / 22 ≠ x
Ɐ2 ϵ Z / 4 ≠ 2…(F)

∴ⱯX ϵ Z / x2 ≠ x…(F)

Martha Julia La Rosa Fabián mlarosa@unjfsc.edu.pe LOGICA MATEMATICA 20-II

 UNIVERSIDAD NACIONAL JOSE FAUSTINO SANCHEZ CARRION
FACULTAD DE EDUCACION
ESCUELA DE LENGUA, COMUNICACIÓN e IDIOMA INGLES

D) Ɐ x ϵ R / x3 = x

Negando:

~( Ɐ x ϵ R / x3 = x) ≡ Ǝ X ϵ Z / x3 ≠ x

Si x=1
Ǝ1 ϵ Z / 1 3 ≠ 1
Ǝ1 ϵ Z / 1 ≠ 1…(V)

∴ ƎX ϵ Z / x3 ≠ x…(V)

E) Ǝ X ϵ Z / x – 7 < x

Negando:

~(Ǝ X ϵ Z / x – 7 < x) ≡ Ɐ x ϵ Z / x – 7 ≥ x

Si x=0
Ɐ0 ϵ Z / 0 – 7 ≥ 0
Ɐ0 ϵ Z/ -7 ≥ 0…(F)

∴Ɐx ϵ Z / x – 7 ≥ x…(F)

F) Ɐ x ϵ Z / x+8 > x

Negando:

~(Ɐ x ϵ Z / x+8 > x) ≡ Ǝ X ϵ Z / x+8 ≤ x

Si x=2
Ǝ2 ϵ Z / 2 + 8 ≤ 2
Ǝ2 ϵ Z / 10 ≤ 2…(F)

∴Ǝ X ϵ Z / x+8 ≤ x…(F)

G) Ɐ x ϵ Z / x2 ≥ x

Negando:

~( Ɐ x ϵ Z / x2 ≥ x) ≡ Ǝ X ϵ Z / x2 < x

Si x=1
Ǝ 1 ϵ Z / 12 ≥ 1
Ǝ1 ϵ Z / 1 ≥ 1…(V)

∴ Ǝ 1 ϵ Z / x2 ≥ x…(V)

Martha Julia La Rosa Fabián mlarosa@unjfsc.edu.pe LOGICA MATEMATICA 20-II

 UNIVERSIDAD NACIONAL JOSE FAUSTINO SANCHEZ CARRION
FACULTAD DE EDUCACION
ESCUELA DE LENGUA, COMUNICACIÓN e IDIOMA INGLES

B) Determinar el valor de verdad de los siguientes enunciados proposicionales

a) ∃ x ∈ R/ x 2+ x−2=0
2
b) ∃x ∈ R /2 x +x=15
2
c) ∃x ∈ R /x −2 x +5=0 *
2
d) ∃x ∈ R /x +3 x−2=0 *

C) Negar cada enunciado proposicional:

a) ∀ x /P(x )∧ ∃x /Q(x )
b) ∃ x /( x )∨ ∀ x /S ( x)
c) ∀ x /M ( x )→ ∃x /N ( x)
d) ∀ x /P(x )→ ∀ x /Q( x )

D) Negar cada enunciado proposicional:

a. ( ∀ x )( ∃ y ) /(P ( x ) → [ Q ( x ) → R ( x ) ] )
b. ( ∀ x )( ∃ y ) ( ∃ z ) [ P( x )→(Q( x)∧ R( z)) ]

E) Hallar el valor de verdad de cada una de las siguientes proposiciones:

Martha Julia La Rosa Fabián mlarosa@unjfsc.edu.pe LOGICA MATEMATICA 20-II

 UNIVERSIDAD NACIONAL JOSE FAUSTINO SANCHEZ CARRION
FACULTAD DE EDUCACION
ESCUELA DE LENGUA, COMUNICACIÓN e IDIOMA INGLES

a) p=(∃ x ∈ N / x+ 2=5)∧(∀ x ∈ N / x2 > x ) *

b) q=(∀ x ∈ Z /−x <0)→(∃ x ∈ Z /−x=x )
c) r =∃ x ∈ R / √− x ∈ R
F) Negar cada una de las proposiciones del ejercicio anterior.

Martha Julia La Rosa Fabián mlarosa@unjfsc.edu.pe LOGICA MATEMATICA 20-II