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 en el sistema axiomá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.
A continuación se presentan otras reglas de inferencia utilizables en procesos de razonamiento válidos. Efectúe las pruebas y verificaciones correspondientes.
Las siguientes son Leyes del álgebra de proposiciones:
|
