EJERCICIO 2: Identificación de las reglas de la inferencia lógica “C”
Expresión simbólica
Ley de inferencia de la expresión: Modus Tollendo Tollens (TT)
Proposiciones simples:
p: Daniela estudió para el parcial de ecuaciones
q: Daniela aprobó el parcial de ecuaciones
Lenguaje Natural:
Si Daniela estudió para el parcial de ecuaciones, entonces Daniela aprobó el parcial de
ecuaciones. Daniela no aprobó el parcial de ecuaciones. Por lo tanto, Daniela no estudió
para el parcial de ecuaciones.
Expresión simbólica
Ley de inferencia de la expresión: Silogismo Disyuntivo (DS)
Proposiciones simples:
p: Cambia el semáforo
q: Espera en la acera
r: Cruza la calle
s: Se le hace tarde para llegar al trabajo
Lenguaje Natural:
Cambia el semáforo o espera en la acera. si cambia el semáforo entonces Cruza la calle. Si
espera en la acera, entonces se le hace tarde para llegar al trabajo. Por lo tanto, o cruza la
calle o se le hace tarde para llegar al trabajo.
