Propiedades

Varias reglas de inferencia en la Lógica Proposicional

Todo teorema de la lógica proposicional, puede probarse a partir de los axiomas y reglas de validez o inferencia establecidos ezn el sistemaaxiomático para la lógica proposicional. Sin embargo, también es posible generar otras reglas de inferencia para la lógica proposicional que acorten el proceso de demostración significativamente.
Acontinuación se presentan otras reglas de inferencia utilizables en procesos de razonamiento válidos. Efectúe las pruebas y verificaciones correspondientes. 
OTRAS REGLAS DE INFERENCIA  |Adjunción. | P  P  Q |
Conmutatividad de la Disyunción. | P Q  Q  P |
Leyes de Implicación. | Q  P  Q  P  P  Q |
Silogismo. | P  Q , Q  R  P  R  |
Excluido. | P  P  |
Adicióncon  a la Implicación.  | P  Q  (P  R)  (Q  R) P Q  (P  R) (R Q) P Q  (R  P) (R Q) P Q  (R  P) (Q R)   |
Doble Negación.  |  P P  P P  |
Leyes delContrarecíproco.  | P Q Q PQ P P  Q |
Adición de Implicaciones. | P Q, R S (P  R) (Q  S) P Q, R S (P  R) (Q  S)  |
Ley del Silogismo Disyuntivo.  | P Q, PR, Q T - R  T  |
Ley de Reducción al Absurdo. | P (R R)  P |
Propiedades de la Conjunción | P Q  PP Q QP , Q P Q |

Las siguientes son Leyes del álgebra deproposiciones:

Leyes del Álgebra de Proposiciones  |
P P | Doble negación |
P P P | Idempotencia |
P P P | Idempotencia |
P (Q  R) (P  Q)  R | Ley asociativa |
P (Q R) (P Q)R | Ley asociativa |
(P  Q)  (Q P) | Ley del contrarrecíproco |
(P  Q) (Q  P) | Ley conmutativa |
(P  Q) (Q P) | Ley conmutativa |
P (Q R) (P Q) (P  R) | Ley distributiva |P  (QÚ R) (P Q)  (P  R)  | Ley distributiva |
(P  Q) P  Q  | Ley de De Morgan |
(P Q) P  Q  | Ley de De Morgan |
(P Q) P Q |   |
P  Q P Q) |...