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
[Link] 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 [Link] on 11-07-2022 [Link] GMT -06:00
[Link]
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 [Link] on 11-07-2022 [Link] GMT -06:00
[Link]
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 [Link] on 11-07-2022 [Link] GMT -06:00
[Link]
(3)~s (hipótesis)
This study source was downloaded by 100000834225082 from [Link] on 11-07-2022 [Link] GMT -06:00
[Link]
Powered by TCPDF ([Link])
