MATEMÁTICA DISCRETA

EJERCICIOS DE INFERENCIAS
Desarrollar de los ejercicios del 1 al 5, teniendo en cuenta los criterios:
a) Identifica y escriba las proposiciones.
b) Formalizar el enunciado en premisas.
c) Demuestra la validez, haciendo uso de las leyes de la inferencia.

Ejercicio 1
Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de
familia. Si el hermano de la madre es el cabeza de familia, entonces el padre no tiene
autoridad. Esta es una sociedad matriarcal. Por tanto, el padre no tiene autoridad.

Ejercicio 2
O esta roca es una roca ígnea o es una roca sedimentaria. Esta roca es granito. Si esta
roca es granito entonces no es una roca sedimentaria. Por tanto, esta roca es una roca
ígnea.

Ejercicio 3
Si Juan es más alto que Pedro, entonces María es más baja que Juana. María no es más
baja que Juana. Si Juan y Luis tienen la misma estatura, entonces Juan es más alto que
Pedro. Por tanto, Juan y Luis no tienen la misma estatura.

Ejercicio 4
Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si B fue el segundo,
entonces A no ganó la carrera. Si D fue el segundo, entonces C no fue el segundo. A ganó
la carrera. Entonces, D no fue el segundo.

Ejercicio 5
Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de
Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés. O
Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj está
adelantado. Por tanto, Andrés estaba en el edificio en el momento del crimen.

Prof. Juan DIONISIO OSORES 1|Página

 MATEMÁTICA DISCRETA

En los ejercicios del 6 al 10, simplificar los esquemas moleculares, haciendo

uso de las leyes lógicas.

Ejercicio 6

Resolución:

Ejercicio 7

Resolución:

Ejercicio 8

Resolución:

Prof. Juan DIONISIO OSORES 2|Página

 MATEMÁTICA DISCRETA

Ejercicio 9

Resolución:

Ejercicio 10

Resolución:

Prof. Juan DIONISIO OSORES 3|Página

 MATEMÁTICA DISCRETA

Ejercicio 11

Resolución:

Prof. Juan DIONISIO OSORES 4|Página

 MATEMÁTICA DISCRETA

Ejercicio 12

Resolución:

Prof. Juan DIONISIO OSORES 5|Página

 MATEMÁTICA DISCRETA

Ejercicio 13

Resolución:

Prof. Juan DIONISIO OSORES 6|Página

 MATEMÁTICA DISCRETA

Ejercicio 14
Simplifica los siguientes esquemas moleculares, haciendo uso de las leyes lógicas.

A.

B.

C.

Prof. Juan DIONISIO OSORES 7|Página

 MATEMÁTICA DISCRETA

D.

Prof. Juan DIONISIO OSORES 8|Página