GUÍA DE ESTUDIO

REGLAS DE
III INFERENCIA

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 GUÍA DE ESTUDIO

Reglas De Inferencia

En lógica, una regla de inferencia, o regla de transformación es una forma lógica que
consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión
(o conclusiones).

EL PROBLEMA DE LA VERDAD
Para las ciencias factuales, el problema anterior se resuelve
simplemente confrontando el enunciado en cuestión con los
hechos a que éste se refiere.
Para las ciencias formales, el problema es diferente porque
éstas no formulan enunciados directamente, ni están
directamente conectadas con la realidad, sino que manejan
ordenaciones de símbolos, funciones enunciativas que
podrán transformarse en enunciados.

Este concepto de verdad subyace en todas las teorías modernas.

Las ciencias formales se interesan no por saber si el

enunciado x es verdadero o no, sino por fijar las condiciones
en que el enunciado es verdadero.
Veamos un ejemplo, sean los enunciados:
1. R = Juan Gutenberg inventó la imprenta.
2. S = El planeta Saturno tiene más de tres anillos.

El enunciado 1 es verdadero si, efectivamente, Gutenberg

inventó la imprenta. El enunciado 2 es verdadero si el
planeta Saturno tiene más de tres anillos.

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 GUÍA DE ESTUDIO

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 GUÍA DE ESTUDIO

Ejercicios Bloque I

1 Si es de mañana, entonces el sol brilla

Si es de mañana, entonces el sol brilla p→q

Si es de mañana p

Por lo tanto, el sol brilla R1 MODUS PONENS

2 Si es de mañana, entonces el sol brilla

Si es de mañana, entonces el sol brilla p→q

El sol no brilla ~q

Por lo tanto, no es de mañana R3 MODUS TOLLENS

3
Si es de mañana, entonces el sol brilla y si el sol brilla
entonces tendremos calor

Si es de mañana, entonces el sol brilla p→q

si el sol brilla entonces tendremos calor q→r

Por lo tanto, si es de mañana tendremos R2 LEY DEL SILOGISMO

calor

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 GUÍA DE ESTUDIO

Ejercicios Bloque II

1 Si está lloviendo, entonces hay nubes en el cielo

Si está lloviendo, entonces hay nubes en el cielo p→q

Está lloviendo p

Por lo tanto, hay nubes en el cielo R1 MODUS PONENS

2
Si está lloviendo, entonces hay nubes en el cielo

Si está lloviendo, entonces hay nubes en el cielo p→q

No hay nubes en el cielo ~q

R3 MODUS TOLLENS
Por lo tanto, no está lloviendo

3 Si está lloviendo, entonces hay nubes en el cielo y si hay

nubes en el cielo entonces tendremos frio

Si está lloviendo, entonces hay nubes en el cielo p→q

Si hay nubes en el cielo entonces tendremos frío q→r

Por lo tanto, Si está lloviendo, entonces tendremos frío. R2 LEY DEL SILOGISMO

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 GUÍA DE ESTUDIO

Ejercicios Bloque III

1
Si Pedro está en el partido de Fútbol, entonces Pedro
está en el estadio.

Si Pedro está en el partido de Fútbol, entonces Pedro p→q

está en el estadio

Pedro está en el Fútbol p

Por lo tanto, Pedro está en el estadio R1 MODUS PONENS

2
Si Pedro está en el partido de Fútbol, entonces Pedro
está en el estadio.

Si Pedro está en el partido de Fútbol, entonces Pedro p→q

está en el estadio

Pedro no está en el estadio ~q

Por lo tanto, Pedro no está en el partido de Fútbol R3 MODUS TOLLENS

3 Si Pedro está en el partido de Fútbol, entonces está en el estadio y

si está en el estadio entonces comprará helados.

Si Pedro está en el partido de Fútbol, entonces está en el p→q

estadio.

Si está en el estadio entonces comprará helados q→r

Por lo tanto, Si Pedro está en el partido de Fútbol, entonces R2 LEY DEL SILOGISMO
comprará helados.

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 GUÍA DE ESTUDIO

Ejercicios Bloque IV

1 Juan tiene un Smartphone o una tablet

Juan tiene un Smartphone o una tablet p∨q

Juan no tiene un Smartphone ~p

Por lo tanto, Juan tiene una tablet q

2
Juan tiene un Smartphone o una tablet

Juan tiene un Smartphone o una tablet p∨q

Juan no tiene una tablet ~q

Por lo tanto, Juan tiene un Smartphone p

3
Si Juan tiene un Smartphone entonces llamará a sus amigos y si
llama a sus amigos entonces estará feliz

Si Juan tiene un Smartphone entonces llamará a sus amigos p→q

Si llama a sus amigos entonces estará feliz. q→r

Por lo tanto, Si Juan tiene un Smartphone estará feliz. R2 LEY DEL SILOGISMO

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 QUISPE QUISPE FLORENTINO EDUARDO GUÍA DE ESTUDIO

Ejercicios Bloque V

Si Pablo hace el nuevo programa entonces no se instalará en la

empresa. El programa se instalará en la empresa o se instalará en

1
la red. Si el viejo programa se actualiza, entonces no se instalará en
la red. En consecuencia, si Pablo hace el nuevo programa, el viejo
programa no se actualiza.

Solución:
Se procede a simbolizar el razonamiento, para esto se consideran las proposiciones:
p: Pablo hace el nuevo programa
q: El programa se instalará en la empresa
r: El programa se instalará en la red
s: El viejo programa se actualiza.
Entonces se escribe el razonamiento en símbolos

P1: p → ( q)
P2: q  r
P3: s → ( r)

C: p → ( s)

Demostración:

P1: p → ( q) 1. P1 Hipótesis

P2: q  r 2. P2 Hipótesis

P3: s → ( r) 3. P3Hipótesis

P4:  q → r 4. P4 Ley de la condicional E9,P2

P5: p → r 5. P5 Ley del Silogismo R2, P1,P4.

P6: r → ( s) 6. P6 Ley de transposición E12, P3.

P7: p → ( s) 7. P7 Ley de transposición E12, P5,P6.

Hemos llegado a la conclusión

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 QUISPE QUISPE FLORENTINO EDUARDO GUÍA DE ESTUDIO

Ejercicios Bloque V
Si la tormenta continúa o anochece, nos quedaremos a cenar o a
dormir; si nos quedamos a cenar o a dormir no iremos mañana al

2
concierto; pero sí iremos mañana al concierto. Así pues, la tormenta
no continúa.

Solución:
p: La tormenta continua
q: Anochece
r: Nos quedamos a cenar
s: Nos quedamos a dormir
t: Iremos mañana al concierto

p1: (p v q) → (r v s)
p2: (r v s) → ~t
p3: t
∴ ~p

Demostración:

p1: (p v q) → (r v s) 1. p1 Hipótesis
p2: (r v s) → ~t 2. p2 Hipótesis
p3: 3. p3 Hipótesis
p4: (p v q) → ~t 4. p4 Ley de Silogismo R2: p1, p2
p5: ~(p v q)
p6: ~p Λ ~q 5. p5 Modus Tollens R3: p3, p4
p7: ~p 6. p6 Ley de Morgan E6: p5
7. p7: Simplificación Conjuntiva R7: p6

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 QUISPE QUISPE FLORENTINO EDUARDO GUÍA DE ESTUDIO

Ejercicios Bloque V
Si x=1 e y=2, entonces z=3. Si, si y=2, z=3 entonces w=0. x=1. Por
consiguiente w=0.

Solución:
p: x=1
q: y=2
r: z=3
s: w=0

p1: (p Λ q) → r
p2: (q → r) →s
p3: p
∴ s

Demostración:

p1: (p Λ q) → r 1. p1 Hipótesis
p2: (q → r) → s 2. p2 Hipótesis
p3: p
3. p3 Hipótesis
p4: ~p → (q → r)
p5: ~p → s 4. p4: Ley condicional E9; Ley asociativa
p6: p v s E4c; p1
p7: s 5. p5: Ley de silogismo R2; p4, p2
6. p6: Ley condicional E9; p5
7. p7: Modus Ponens R1; p6

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 QUISPE QUISPE FLORENTINO EDUARDO GUÍA DE ESTUDIO

Ejercicios Bloque V
Si un triángulo tiene tres ángulos, un cuadrado tiene cuatro ángulos
rectos. Un triángulo tiene tres ángulos y su suma vale dos ángulos

4
rectos. Si los rombos tienen cuatro ángulos rectos, Los cuadrados
no tienen cuatro ángulos rectos. Por tanto, los rombos no tienen
cuatro ángulos rectos.

Solución:

p: Un triángulo tiene tres ángulos

q: Un cuadrado tiene cuatro ángulos rectos
r: Su suma vale dos ángulos rectos
s: Los rombos tienen cuatro ángulos rectos

p1: p → q
p2: p Λ r
p3: s → ~q
∴ ~s

Demostración:

p1: p → q 1. p1 Hipótesis
p2: p Λ r 2. p2: Hipótesis
p3: s → ~q
3. p3: Hipótesis
p4: p
p5: q 4. p4: simplificación Conjuntiva R7; p2
p6: ~s 5. p5: Modus Ponens R1; p1, p4
6. p6: Modus tollens R3; p3, p5

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin

 QUISPE QUISPE FLORENTINO EDUARDO GUÍA DE ESTUDIO

Ejercicios Bloque V
Si la gorila es atractiva, el gorila sonreirá abiertamente o será infeliz..
Si no es feliz, no procreará en cautividad. Por consiguiente, si la

5
gorila es atractiva, entonces, si el gorila no sonríe abiertamente, no
procreara en cautividad.

Solución:
p: La gorila es atractiva
q: El gorila sonreirá abiertamente
r: El gorila será feliz
s: Procreará en cautividad.

p1: p → (q v ~r)
p2: ~r → ~s
∴ p → (~q → ~s)

Demostración:

p1: p → (q v ~r) 1. p1: Hipótesis

p2: ~r → ~s 2. p2: Hipótesis
p3: (p → q) → ~r
3. p3: Ley Condicional E9; Ley asociativa
p4: (p → ~q) → ~s
E4; p1
p5: p → (~q → ~s)
4. p4: Ley del silogismo R2; p3, p2
5. p5: Ley asociativa E4; p4

Matemática Discreta 2.0 – Mg. Flores Alvarez Edwin