1. b.

Determinen desde su comprensión cuales de los siguientes razonamientos

corresponden a razonamientos validos o no válidos:

Si usted No es disciplinado, No tendrá reconocimiento

Si usted No tiene reconocimiento, será feliz

Si usted No es disciplinado, No tendrá reconocimiento

Si usted No tiene reconocimiento, será feliz

Si usted es disciplinado, será feliz

( ) Razonamiento válido (x) Razonamiento No válido

Explicación: Aparentemente es un razonamiento válido,

debido a la conclusión, pero no lo es, ya que

tiene una premisa verdadera y una falsa.

Pasando las premisas a proposiciones:

p :Usted es disciplinado

q : Usted tiene reconocimiento

r : Usted serà feliz

Formalizando el razonamiento dado, se obtiene:

¬ p→q
¬ q → r que aunque tiene cierto parecido con la Regla de Inferencia ( R.I ) Trasitiva, hay
p →r

detalles que la hacen diferente de esta; de este modo se probó ( usando R.I ) que el

argumento dado aquí, es no vàlido.

2. Completen el siguiente cuadro relacionado con las reglas de inferencia, tomadas del

capítulo 3 del libro guía (Cardona, T. S. A. (2010). Lógica matemática para

ingeniería de sistemas y computación, págs. 78-97) y con ello resolver los ejercicios

prácticos allí propuestos.

Regla de Definición Ejercicios prácticos

inferencia
I Es una regla también conocida Actividad página 88

Simplificaci como Adición. Esta regla  Dadas las siguientes

ón establece que, si una proposición premisas, formalícelas y

( I. S ) es verdadera, la disyunción de aplique entre ellas la regla I .

esta premisa con otra cualquiera, de Simplificación (I . S ¿, de

es siempre verdadera. Esto viene forma que la conclusión sea

dado desde la definición misma verdadera.

del conectivo lógico de o Andrea cancela lenguaje de

disyunción, en donde es suficiente programación o

que una de las dos proposiciones compiladores.

sea verdadera para que la formula o Andrea no cancela lenguaje

sea verdadera. de programación.

1. pP o Andrea no cancela
 C. p ∨q I.S compiladores.

El esquema anterior, se puede Pasando las premisas a proposiciones:

aplicar a proposiciones expresadas p :Andrea cancela lenguaje de programacion

en lenguaje natural. q :Andrea cancela compiladores.

El uso de las reglas de inferencia Formalizando las premisas, se tiene:

no se debe restringir a 1. p ∨q P

proposiciones atómicas también 2. ¬ p P

se puede aplicar proposiciones 3. ¬ q

compuestas. 4.Por regla de equivalencia en 1.,

p ∨q ↔ ( ¬ p →q ). Se obtiene q por MP 4,2.

La R.I I . S también es posible Por lo tanto, q se obtiene como conclusion,

aplicarla a una lista de premisas. que es como haber aplicado simplificacion (

Cuando se aplica la R.I I . S para I. S ) en la premisa 1.

llegar a la conclusión, el orden de  Aplique las R.I a las

las proposiciones es indiferente. siguientes premisas para
(Cardona, 2010, p.84-85) demostrar ( s ∧ p ) ∨q .

1. ¬ s → [ ( ¬s ∨q ) ∧ ( s ∧ q ) ] P

2. ¬ ( t ∧r ) P

3. s → ( t ∧ r ) P

C. ( s ∧ p ) ∨q .

4. MT 3,2 , ¬ s

5. MP1,4 , ( ¬ s ∨ q ) ∧ ( s ∧q )

6. I. S5 , ( s ∧q )
 7. I . S6 , ( s ∧ p ) ∨q .

Transitiva Es una regla también conocida Actividad página 89

( T. ) como Silogismo Hipotético que  Dadas las siguientes

establece que dados dos premisas, formalícelas y

condicionales donde el aplique entre ellas la R.I

consecuente de una proposición Transitiva de tal forma que la

coincide con el antecedente de conclusión sea verdadera.

otra proposición, se obtiene una o Si gano todas las materias del

proposición condicional que tiene semestre, entonces me ganaré la

como antecedente, el antecedente beca; si me gano la beca, me pondré

del primer condicional, y como feliz; por lo tanto, si gano todas las

consecuente, el consecuente del materias del semestre, me pondré

segundo condicional. feliz.

Por ejemplo, si se tiene la Pasando las premisas a proposiciones:

premisa: Si paso vacaciones en p : gano todas las materias del semestre

Santa Marta, entonces me q : me gano la beca

broncearé en el hotel; si me r : me pondré feliz

bronceo, me pondré moreno; por Formalizando:

lo tanto, si paso vacaciones en 1. p →q P

Santa Marta; me pondré moreno. 2. q → r P

Formalizando el caso anterior, su C. p →r T 1,2

representación queda de la  Si Juan no aprende inglés, entonces

siguiente manera: no puede viajar; si Juan no puede

p : Paso vacaciones en Santa viajar, pierde los tiquetes que

Marta compró; por lo tanto, si Juan no

q : Me broncearé en el hotel aprende inglés, perderá los tiquetes

r : Me pondré moreno. que compró.

1. p →q P Pasando las premisas a

2. q → r P proposiciones:

C. p →r T 1,2 p : Juan no aprende inglés

q : Juan no puede viajar

r : Juan pierde los tiquetes que

compró

Formalizando:

3. p →q P

4. q → r P

C. p →r T 1,2

 Aplique las R.I a las siguientes

premisas para demostrar ¬ p.

1. ( q → h ) ∧ p P

2. p →q

3. ¬ h P

C. ¬ p

4. I S1, ( q → h )

5. T 2,4, ( p →h )
 6. Por equivalencia en 5. , ¬ p ∨h

7. I. S6 , ¬ p

(Cardona, 2010, p.86-87)