Reglas lógicas de inferencia

Reglas lógicas de inferencia. Son estructuras lógicas válidas que sirven de criterio para establecer la validez de otras estructuras.  Si el Modus Ponendo Ponens es una estructura tautológica, entonces cualquier argumento con estructura semejante será válido. Las reglas lógicas de inferencia o leyes lógicas son: Modus Ponendo Ponens [v], Modus Tollendo Tollens [v], Silogismo Hipotético [v], Silogismo Disyuntivo [v], Dilema Constructivo [v], Dilema Destructivo [v], Simplificación [v], Conjunción [v], y Adición [v].