UNIVERSIDAD YACAMBÚ Lapso: II Nota Firma:

Revisión
FACULTAD DE INGENIERÍA Fecha: 03/05/2019 /20 ptos Fecha:
Docente: José W. Chávez Z. Tipo de Evaluación: E Nº de Evaluación: 2
Código Asignatura: Asignatura: Lógica Matemática Sección:
Nº de
Nombre(s) y Apellido(s): Víctor Manuel Barroeta Lista:

Nº Expediente: AGA-151-00161 C.I: V-25865590 Firma:

1.- Demuestre la validez del siguiente razonamiento utilizando reglas de inferencia:

(5 pts.)
“Si el ejercito marcha contra el enemigo, entonces tiene posibilidades de éxito y si
tiene posibilidades de éxito entonces arrasará la capital enemiga. El ejercito marcha
contra el enemigo, o se repliega rápidamente. Si se repliega rápidamente, entonces
el enemigo atacará su retaguardia y si se repliega rápidamente, entonces perderá
la guerra. Por tanto, sino arrasa la capital enemiga, entonces perderá la guerra.”
𝑃: 𝑒𝑗𝑒𝑟𝑐𝑖𝑡𝑜 𝑚𝑎𝑟𝑐ℎ𝑎 𝑐𝑜𝑛𝑡𝑟𝑎 𝑒𝑙 𝑒𝑛𝑒𝑚𝑖𝑔𝑜
𝑄: 𝑡𝑖𝑒𝑛𝑒 𝑝𝑜𝑠𝑖𝑏𝑖𝑙𝑖𝑑𝑎𝑑𝑒𝑠 𝑑𝑒 é𝑥𝑖𝑡𝑜
𝑅: 𝑎𝑟𝑟𝑎𝑠𝑎𝑟á 𝑙𝑎 𝑐𝑎𝑝𝑖𝑡𝑎𝑙 𝑒𝑛𝑒𝑚𝑖𝑔𝑎
𝑆 𝑠𝑒 𝑟𝑒𝑝𝑙𝑖𝑒𝑔𝑎 𝑟á𝑝𝑖𝑑𝑎𝑚𝑒𝑛𝑡𝑒
~𝑃: 𝒆𝒏𝒆𝒎𝒊𝒈𝒐 𝒂𝒕𝒂𝒄𝒂𝒓á 𝒔𝒖 𝒓𝒆𝒕𝒂𝒈𝒖𝒂𝒓𝒅𝒊𝒂
2.- Demuestre utilizando el método de reducción al absurdo la validez del siguiente
razonamiento: (5 pts.)
(p v  q → p ^ r)   r / :. Q
3.- Justifique en la solución de la prueba realizada a continuación, que regla de
inferencia utilizó en cada paso. (5 pts.)
P1: (p ^ q) → r
P2: (q → r) → s
P3: p /:. s
P4: s < Contrarrecíproco >
P5:  (q → r) < de 2 y 4 Ley de Morgan y conjunción >
P6:  (q v r) < de 5 Ley del Condicional >
P7: q ^ r < de 6 Ley de Morgan >
P8: q < de 7 Simplificacion >
P9: r < de 1 Modus Tollendo Tollens >
P 10: p ^ q < de 3 y 8 Ley de conjuncion >
P11: r < de 9 negacion >
P12: r ^ r < de 11 y 9 ley de conjunción >
P13: 0 < Contradicción >
4.- Demuestre utilizando el método de Contrareciproco la validez del siguiente
razonamiento: (5 pts.)
[ p → ( q → r ) ] → [ ( p ^ q ) → r) ]

ÉXITO…