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 )

A v ( B V C)

(A V B) & (A V C)

 

  • 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 )

¬ ( A & ¬ A )

  • Principio de exclusión de tercero ( PTE )

A V ¬ A

  • 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