Carrera: Ingeniería en Sistemas Computacionales

Ciclo: Cálculo Proposicional

Nombre del módulo: Reglas de equivalencia e inferencia

Tema: 3.2 Reglas de inferencia

CP6nombre Nombre: Azeneth Michelle Islas Cortes

Instrucción: De acuerdo a las reglas de inferencia lógica, formaliza y demuestra las deducciones dadas,
utilizando las reglas de inferencia. Ubica cada proposición según corresponda. Guarda tu archivo
CP6.TuprimernombreTuprimerapellido.doc y súbelo como tarea.

Ejercicios del uso de las reglas de inferencia

1. Existen personas a quienes sus padres obligan a elegir una carrera. Es sabido que los
buenos padres hacen lo mejor para sus hijos, pero los que obligan a elegir una carrera a
otros no hacen lo mejor para ellos. Por tanto, existen malos padres.

P Hijo al que obligan a elegir una carrera.

Q Padres que no hacen lo mejor para sus hijos.
R Malos padres.

i) p → q ∧r para “Si a él lo obligaron a elegir su carrera, entonces

sus padres no hicieron lo mejor para él y por defecto son malos
padres".

ii) ~p → ~q ∧ ~r para “Si a él no lo obligaron a elegir su carrera,

entonces sus padres hicieron lo mejor para él y esto muestra que
son buenos padres".

La conclusión se codifica como: r

Teorema:

H= [p → q ∧ r, ~p → ~q] C= r

(1) p → q ∧r (hipótesis)
(2) ~p → ~q (hipótesis)

2. Que la suegra se ponga pesada es condición suficiente para que el marido se vaya de la
casa. Si la suegra se pone pesada o el marido se va de la casa, la esposa se irá de vacaciones.
La esposa se fue de vacaciones. Por tanto, la suegra se puso pesada.

S Suegra pesada
Q Marido se va de la casa
P Esposa que se va de vacaciones
This study source was downloaded by 100000834225082 from CourseHero.com on 11-07-2022 11:53:16 GMT -06:00

https://www.coursehero.com/file/111584588/Tarea6AzenethIslasdoc/
 i) s→q para “Si la suegra se pone pesada, el marido se va de
la casa".

ii) svq para “La suegra se pone pesada o el marido se va de

la casa".

iii) p para “la esposa se fue de vacaciones”

La conclusión se codifica como: s ∧ p

Teorema:

H= [s → q, s v q, p], C= s ∧ p

(1)s → q (hipótesis)
(2) svq (hipótesis)
(3)p (hipótesis)

3. Si Juan juega primera base y Valenzuela lanza contra nosotros, ganará el equipo Rojo. O el
equipo Rojo no va a ganar, o va a quedar en último puesto. Nuestro equipo no quedará en la
última posición. Además, Juan va a jugar primera base. Por consiguiente, Valenzuela no va a
lanzar contra nosotros.

S Juan juega primera base

Q Valenzuela lanza contra nosotros
P Equipo rojo gana
A Equipo rojo queda en último puesto

i) s∧q→p para “Si Juan juega primera base y Valenzuela

lanza contra nosotros, el equipo rojo gana”.

ii) svq para “El equipo rojo gana o queda en último puesto”

iii) s ∧ ~q para “Juan juega primera base entonces Valenzuela no

lanza contra nosotros”

La conclusión se codifica como: s ∧ ~q

Teorema:

H= [s ∧ q → p, s v q], C= s ∧ ~q

(1)s ∧ q → p (hipótesis)
(2)s v q (hipótesis)
(3)s ∧ ~q (hipótesis)

This study source was downloaded by 100000834225082 from CourseHero.com on 11-07-2022 11:53:16 GMT -06:00

https://www.coursehero.com/file/111584588/Tarea6AzenethIslasdoc/
 4. Los alumnos de la sección 19 no estudiaron lógica a lo largo del semestre. Como no lo
hicieron, es normal que no quieran presentar el examen. Ahora bien, juegan futbol o boliche,
y se desvelan toda la noche. O juegan futbol, y se desvelan y entonces no estudian, o juegan
boliche, se desvelan y tampoco estudian. Así que, en consecuencia, o estudian o no desean el
examen.

S Los alumnos no desean presentar el examen.

Q Las alumnos juegan/se desvelan.
P Los alumnos no estudian para el examen.
A Estudian para el examen

i) q→p para “Si los alumnos juegan/se desvelan, no estudian

para el examen.

ii) s para “Los alumnos no desean presentar el examen".

iii) a → ~s para “Si estudian, desean presentar el examen”.

La conclusión se codifica como: a ∨ s

Teorema:

H= [q → p ∧ s, s, a → ~s], C= a ∨ s

(4)q → p ∧ s (hipótesis)
(5)s (hipótesis)
(6)a → ~s (hipótesis)

5. El futbol mexicano está en crisis. Si los jugadores mexicanos son malos y nuestro futbol
está en crisis, las Chivas Rayadas del Guadalajara no ganarán nunca; pero las chivas han
ganado hasta campeonatos. Entonces, los futbolistas mexicanos no son malos.

S Los futbolistas mexicanos son malos

Q El futbol mexicano está en crisis.
P Las chivas no ganan.

iv) s∧q para “Si los futbolistas son malos y el futbol está en
crisis".

v) ~q → p para “El futbol no está en crisis porque las chivas han

ganado hasta campeonatos”.

vi) ~s para “los futbolistas mexicanos no son malos”

La conclusión se codifica como: ~s

(1)s ∧ q (hipótesis)
(2)~q → p (hipótesis)
This study source was downloaded by 100000834225082 from CourseHero.com on 11-07-2022 11:53:16 GMT -06:00

https://www.coursehero.com/file/111584588/Tarea6AzenethIslasdoc/
 (3)~s (hipótesis)

This study source was downloaded by 100000834225082 from CourseHero.com on 11-07-2022 11:53:16 GMT -06:00

https://www.coursehero.com/file/111584588/Tarea6AzenethIslasdoc/
Powered by TCPDF (www.tcpdf.org)