Ejercicios Reglas de Inferencia y Cuanti…cadores 1

Ejercicio 1 Use las reglas de inferencias, para deducir la conclusión a partir de las premisas
indicadas.

a) Demostrar  a partir de:

1 ^ » 
2 !
3 _
4 ( _ ) ! 

b) Demostrar »  a partir de:

1 !
2 ^
3 ( ^ ) !» 
4 !

c) Demostrar »  a partir de:

1 (»  ^ ) ! 
2 ( _ ) ! 
3 !
4 »

d) Demostrar  !  a partir de:

1 !
2 »!
3 » _ » 

e) Demostrar » ^ »  a partir de:

1 »!
2 »^
3  !» 
4 ( _ ) ! ( _ )

f) Demostrar » ( _ )  a partir de:

1  ! ( ^ )
2 »^
3 » _ » 
Ejercicios Reglas de Inferencia y Cuanti…cadores 2

g) Demostrar »  ^  a partir de:

1 !
2 !
3 ( _ ) !» 
4 _
5 »!

h) Demostrar  ^  a partir de:

1 »  ! (^ » )
2 (^ » ) ! 
3 ^ » 

i) Demostrar  a partir de

1 (»  _ ) ! 
2 » (^ » )
3 »_
4 (» ^ » ) _ 

j) Demostrar  _  a partir de

1 (»  ^ ) ! ( _ )
2 »  ! (»  _ )
3  _ ( ! )
4 »^

k) Demostrar  _  a partir de:

1 »!
2 »!
3 » _ » 
4 »_

l) Demostrar » ^ »  a partir de

1  ! ( ^ )
2 »^
3  !» 
Ejercicios Reglas de Inferencia y Cuanti…cadores 3

Ejercicio 2 Use los cuanti…cadores para simbolizar cada uno de los siguientes enunciados y
determine su valor de verdad.

a) Existen números reales que no son racionales.

b) Todo número real elevado al cuadrado es positivo.

c) Para cada número real , existe otro número real, tal que la suma de los dos es cero.

d) La suma de dos números reales positivos siempre es otro número real positivo.

e) Todo número natural es entero.

f) Ningún número racional es irracional.

Ejercicio 3 Considerando el conjunto

 = f¡2 ¡1 0 1 2g

Determine el valor de verdad de los siguientes enunciados (justi…cando) y realice la negación

de cada uno.

a) (9 2 ) (jj = ¡)

b) (8 2 ) (2 ¡ 1  0)

c) (9 2 ) (2 ¡ 3 = 0)

d) (9 2 ) (8 2 ) ( +  = )

e) (8 2 ) (9 2 ) ( +  = 0)

Ejercicio 4 Determine el valor de verdad de los siguientes enunciados

(Justi…que su respuesta) y realice su negación.

a) (8 2 R) (2 + 2 + 1  0)

b) (9 2 R) (2 + 1  0)

c) (9 2 N) (3 = ¡6)

³ ´
d) (8 2 Z) (8 2 Z)  2 Z


³ ´
e) (9 2 Z) (8 2 Z) 

2Z

f) (8 2 R) (9 2 R) ( +  = 0)

g) (8 2 R) (9 2 R) ( = 1)

Ejercicios Reglas de Inferencia y Cuanti…cadores 4

h) (9 2 Z) (9 2 Z) (2 +  = 5 ^  ¡ 3 = ¡8)

i) (9 2 Z) (9 2 Z) (2 +  = 3 ^ 4 ¡  = 3)

¡ ¢
j) (8 2 R) (8 2 R) 3 ( + )2 ¡ 3 (2 +  2 ) = 6

k) (9 2 R) (2 ¡ 5 = 2 + 3)
³ 2 ´
 ¡4
l) (8 2 R) ¡2 =  + 2

Ejercicio 5 Considere las siguientes funciones proposicionales

 : 2 ¡ 8 + 15 = 0
 :  es impar
 :   0

Determine el valor de verdad de las siguientes proposiciones y realice su negación.

a) (8 2 Z) ( !  )

b) (8 2 Z) ( !  )

c) (9 2 Z) ( !  )

d) (9 2 Z) ( !  )

e) (8 2 Z) ( !  )

f) (8 2 Z) ( ! ( ^  ))