Algunos patrones de inferencia para el condicional

Ponente(s): Favio Ezequiel Miranda Perea

El procedimiento de demostración de la mayoría de los teoremas matemáticos puede formalizarse mediante la construcción de pruebas de una implicación en un sistema deductivo que incluya reglas de inferencia para el manejo del condicional, usualmente una regla de introducción de la implicación y el modus ponens. Esta última regla, si bien universalmente reconocida, no parece ser adecuada en todos los casos, por ejemplo en la práctica matemática o en la búsqueda interactiva de pruebas. En esta charla presento, mediante reglas de inferencia, algunos patrones alternativos de razonamiento para el condicional y discuto su relación con el modus ponens y con el uso de lemas mediante la regla de corte. Este trabajo se realiza en el marco del proyecto UNAM-DGAPA-PAPIIT IN119920.