LÓGICA DE ENUNCIADOS O PROPOSICIONAL

REGLAS DERIVADAS DEL CÁLCULO DE JUNTORES

Las reglas derivadas.

Son aquellas que están fundamentadas en las reglas básicas o elementales, y que nos premiten agilizar el proceso deductivo.

Las reglas derivadas pueden ser agrupadas según sus conectores o juntores: conjunción, disyunción, implicación y negación.

1. reglas derivadas de la conjunción

• Propiedad conmutativa de la conjunción ( CC )

La doble línea indica que el proceso es igualmente válido a la inversa, es decir, que si tenemos la conjunción B & A, podemos afirmar también A & B.

• Propiedad asociativa de la conjunción ( AC ).

• Propiedad distributiba de la conjunción ( DC ).

• Idempotencia de la conjunción ( IdC ).

• Absorción de la conjunción ( AbsC ).

• Definición de la conjunción ( DfC1 y DfC2 ).

2. Reglas derivadas de la disyunción

• Propiedad conmutatica de la disyunción ( CD )

• Propiedad asociativa de la disyunción ( AD )

  
  

• Propiedad distributiva de la disyunción ( DD )

• Idempotencia de la disyunción ( IdD )

   

• Absorción de la disyunción ( AbsD )

• Absorción de la disyunción ( AbsD )

• Absorción de la disyunción ( AbsD )

• Definición de disyunción ( DfD )

4. Reglas derivadas de la negación

• Regla de introducción de la doble negación ( IDN )

   

• Ex contradictione quodlibet ( EQL )

   

• Contraposición ( Cp )
  

• Modus tollens ( MT)
  

• Principio de no contradicción ( PNC )

• Principio de exclusión de tercero ( PTE )

• Leyes de De Morgan ( DM1 y DM2 )

4. Reglas derivadas de la implicación

• Silogismo hipotético ( Sil )

   

• Mutación de premisas ( Mut )

   

• Carga de premisa ( Cpr )
  

• Definición de implicador ( DI1 y DI2 )
  
  

4. Reglas derivadas de coimplicación

• Introducción del coimplicador ( ICO)

   

• Eliminación del coimplicador ( ECO1 y ECO2 )

   

Ejercicios sobre el uso de reglas derivadas