IMPLICACIONES

NOTABLES

Oscar S. Bernal Carrasco

obernalc@usmp.pe
 UNIVERSIDAD SAN MARTÍN DE PORRES
FILIAL DEL NORTE

IMPLICACIONES NOTABLES

 IC: Conoce las reglas de reemplazo

 IP: Determina las diferentes reglas de
aplicación
 IA: Aprecia la utilidad de análisis lógico
del método deductivo
 CONTESTA LAS SIGUIENTES PREGUNTAS:
1. ¿Cuál es la estructura de un inferencia?
2. ¿Cómo demuestro que una inferencia es válida?

3. ¿Qué leyes me ayudan a obtener razonamientos

válidos?
4. Formaliza y determina su conclusión
Si llueve a cantaros entonces las pistas están
mojadas. Llueve a cantaros. Luego ….
EL MÉTODO DE LA DERIVACIÓN
Consiste en aplicar reglas para demostrar que la conclusión
está implicada por un conjunto de premisas.

En otros términos el método de la derivación demuestra

sólo fórmulas o inferencias válidas. Esta demostración
consiste en obtener la conclusión a partir del conjunto de
premisas aplicando las reglas lógicas en una secuencia
finita de pasos, donde cada paso debe estar justificado
mediante reglas lógicas. Así tenemos las Equivalencias
Notables y las Implicaciones Notables.
 Implicaciones Notables

También llamadas leyes

implicativas, se expresan como
formas elementales de
razonamientos válidos.
 Modus Ponendo Ponens (MPP)
Se afirma el antecedente de una premisa
condicional, se concluye la afirmación del
consecuente de dicha premisa.
Esquemáticamente sigue:

A B
A

B
 Modus Tollendo Tollens (MTT)

Si se niega el consecuente de una premisa

condicional, se concluye la negación del
antecedente de dicha premisa.

Formalmente , como sigue:

A B
¬B
¬A
 Silogismo Disyuntivo (SD)
Si se niega uno de los componentes de una
premisa disyuntiva, se concluye la afirmación
del otro componente.

Formalmente se tiene:

AvB AvB
¬A ¬ B
B A
 Simplificación (Simp)

De una pregunta conjuntiva se puede

concluir cualquiera de sus componentes.

Fundamentalmente se tiene:

A B A B
A B
 Adición (Ad)
De una premisa se puede concluir la disyunción
de la misma con cualquier otra fórmula. También
podemos decir: una disyunción está implicada
por cualquiera de sus componentes.

Esquemáticamente como sigue:

A B
AvB AvB
 Conjunción (Conj)
De un conjunto de premisas se puede
concluir la conjunción de las mismas.

Formalmente se tiene:

A A
B B
A B B A
 Silogismo Hipotético Puro (SHP)
Si de un conjunto de dos premisas condicionales el
consecuente de una de las premisas es la afirmación
del antecedente de la otra premisa, entonces del
antecedente de una de las premisas se deriva el
consecuente de la otra premisa.

Formalmente se tiene:
A B B C
B C A B
A C A C
 Transitividad Simétrica (TS)
Si de un conjunto de dos premisas bicondicionales uno
de los componentes de una premisa bicondicional es la
afirmación de uno de los componentes de la otra
premisa, entonces el otro componente de la primera
premisa se da si y sólo si se da el otro componente de
la segunda premisa bicondicional.

Formalmente se tiene:

A B B C A B
B C A B A C
A C A C B C
 Dilema Contructivo Compuesto (DCC)
De la disyunción de los antecedentes de dos
premisas condicionales se concluye la disyunción
de los consecuentes de dichas premisas
condicionales.

Esquemáticamente, como sigue:

A B
C D
A v C
B v D
 Dilema Destructivo Compuesto (DDC)
Si disyuntivamente negamos los consecuentes
de dos premisas condicionales, se concluye
disyuntivamente la negación de los
antecedentes.
Esquemáticamente, como sigue:

A B
C D
¬B v ¬D
¬A v ¬C