¡La universidad para todos!

¡La Universidad para todos!

Tema: MÉTODOS DECISORIO: DERIVACIONES

Docente: Mg. Zapana Diaz, Domingo

Escuela Profesional Periodo académico: 2019 – 1C

CIENCIAS CONTABLES Y FINANCIERAS Semestre: I
Unidad: IV
 ¡La universidad para todos!

Orientaciones

El texto guía será de mucha ayuda para tu aprendizaje.

Planifique su tiempo para el estudio del curso en
función a las actividades que se va a desarrollar.
El tutor te estará esperando en sala de conferencia en
su horario programado para el curso.
Usted dispondrá de material adicional por semana
como complemento para su aprendizaje en tu aula
virtual.
 ¡La universidad para todos!

Contenidos temáticos

• Método decisorio: Derivaciones

 ¡La universidad para todos!

Subtítulos del tema

• Método decisorio: Derivaciones
• Regla de eliminación existencial
• Regla de eliminación universal
• Derivaciones para inferencias
 ¡La universidad para todos!

DERIVACIONES
Es un método decisorio, que consiste en pasar de un conjunto
de fórmulas (premisas), en una secuencia finita de pasos
donde cada paso está justificado por una regla lógica del
sistema en el que se trabaja, hasta obtener la fórmula que
aparecen la conclusión del problema.
Proceso
No es secuencia ni se toma reglas rígidas.
Depende de premisas y buscar elementos comunes entre
estas, y justificar con las reglas de equivalencia o tautologías.
Cada acción debe registrarse indicando los números que se
trabajan así como la resultante.

El desarrollo de la deducción formal, se realiza a través de

dos filas:
 ¡La universidad para todos!

DERIVACIONES
1. FILA DE PREMISAS
En esta columna, se registra entre paréntesis los números de
las premisas originales, que intervienen en la deducción de
cada línea así como la conclusión luego de la última premisa
seguida del símbolo: //  que significa en conclusión, en
consecuencia, luego, etc.

2. FILA DE SECUENCIAS O PASOS

En esta fila, se anotan numéricamente y secuencialmente las
fórmulas que se obtienen cuando se aplican las reglas de
equivalencias y/o tautologías notables, es en esta columna
donde se deriva hasta hallar la conclusión en la última fila.
Nota: Deben de operarse con todas las premisas. Para la aplicación de las
reglas lógicas se puede utilizar una o más premisas y las veces que sean
necesarias siempre y cuando se usen las reglas adecuadamente.
¡La universidad para todos!

DERIVACIONES
 ¡La universidad para todos!

DERIVACIÓN
Derivación Directa. o ( Prueba Directa)
Consiste en demostrar la validez de la argumentación a través de pasos que
conduzcan a la conclusión, partiendo de las premisas originales.
Así:
Premisa Conclusió
n
 ¡La universidad para todos!

EJEMPLOS DE DERIVACIÓN

Premisa Conclusión
 ¡La universidad para todos!

EJEMPLOS DE DERIVACIÓN
Premisa Conclusión
 ¡La universidad para todos!

EJEMPLOS DE DERIVACIÓN
Premisa Conclusió
n
 ¡La universidad para todos!

EJEMPLOS DE DERIVACIÓN
Premisa Conclusión
 ¡La universidad para todos!

REGLA DE ELIMINACIÓN DEL UNIVERSAL (EU)

Consiste en eliminar el cuantificador universal y reemplazar
la variable cuantificada por una variable libre, ya sea una
constante individual o una variable individual.
Sigue el siguiente esquema:

Por la Regla de Eliminación del Universal,

obtenemos el siguiente esquema no cuantificado: Hx —> Px.
También es posible: Hy —> Py,
o incluso Ha —> Pa.
 ¡La universidad para todos!

REGLA DE INTRODUCCIÓN DEL UNIVERSAL (IU)

Es la regla inversa a la anterior.
En ella iniciamos con un esquema no cuantificado: Hy —> Py.
Por la Regla de Introducción del Universal, obtenemos el
siguiente esquema cuantificado:
 ¡La universidad para todos!

REGLA DE ELIMINACIÓN DEL EXISTENCIAL (EE)

Consiste en eliminar el cuantificador existencial y
reemplazar la variable cuantificada por una variable libre, ya
sea una constante individual o una variable individual.
Sigue el siguiente esquema:

Por la Regla de Eliminación del Existencial, obtenemos el

siguiente esquema no cuantificado:
Hy ∧ Py.
 ¡La universidad para todos!

REGLA DE INTRODUCCIÓN DEL EXISTENCIAL (IE)

Es la regla inversa a la anterior.
En ella iniciamos con un esquema no cuantificado: Hy ∧ Py.
Por la Regla de Introducción del Existencial, obtenemos el
siguiente esquema cuantificado:
 ¡La universidad para todos!

PROCEDIMIENTO DE LA VALIDÉZ DE INFERENCIAS

a. Formalización de la inferencia.
b. Eliminación de los cuantificadores según las reglas
respectivas.
c. Derivación de la conclusión, utilizando tanto las reglas de
implicancia como las reglas de equivalencia.
d. Introducción de cuantificadores según las reglas
respectivas.

Ejemplo:
Sea la siguiente inferencia que se busca analizar:
«Todos los hombres son mortales. Sócrates es hombre.
Por lo tanto, Sócrates es mortal».
 ¡La universidad para todos!

PROCEDIMIENTO DE LA VALIDÉZ DE INFERENCIAS

«Todos los hombres son mortales. Sócrates es hombre. Por lo tanto,
Sócrates es mortal».
Analicemos: Todos los hombres son mortales.
Hx : hombres Mx : mortales Se tiene: Hx → Mx
Hs: Sócrates es hombre.
Ms: Sócrates es mortal.
Formalizando:

Se lee: «para todo x, si x es hombre, entonces x es mortal. Sócrates es

hombre. Por lo tanto, Sócrates es mortal».
Aplicar las reglas de inferencia para probar la validez de la inferencia

De este modo hemos demostrado que la inferencia es válida, pues de las

premisas dadas sí se deriva la conclusión propuesta
¡La universidad para todos!

CUANTIFICADORES
¡La universidad para todos!

CUANTIFICADORES
 ¡La universidad para todos!

SIMBOLIZACIÓN DE INFERENCIAS, CUANTIFICADORES Y

PRUEBA DE VALIDÉZ
 ¡La universidad para todos!

SIMBOLIZACIÓN DE INFERENCIAS, CUANTIFICADORES Y PRUEBA DE VALIDÉZ

¡La universidad para todos!

¡Gracias!