Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Monotonicidad de la implicación» – noticias · libros · académico · imágenes Este aviso fue puesto el 5 de agosto de 2008.

La monotonicidad de la implicación es una propiedad de muchos sistemas lógicos que afirma que las hipótesis de cualquier hecho derivado pueden extenderse libremente con supuestos adicionales. En el cálculo secuencial esta propiedad puede ser captada por una regla de inferencia llamada debilitamiento, a veces adelgazamiento, y en tales sistemas se puede decir que la implicación es monótona, sí y solamente sí, la regla fuera admisible. Los sistemas lógicos con esta propiedad son ocasionalmente llamados lógicas monotónicas con el fin de diferenciarlos de lógicas no monótonas.

A modo de ilustración partiendo de la deducción natural secuencial:

Γ ${\displaystyle \vdash }$ C

el debilitamiento permite que se concluya:

Γ, A ${\displaystyle \vdash }$ C

En la mayor parte de las lógicas, el debilitamiento es una regla de inferencia o un metateorema si la lógica no tiene una regla explícita. Algunas excepciones notables son:

• La lógica estricta o lógica relevante, donde cada hipótesis debe ser necesaria para la conclusión.
• La lógica lineal que no permite la contracción arbitraria en adición al debilitamiento arbitrario.
• Las implicaciones agrupadas donde el debilitamiento se restringe a la composición de aditivo.
• Varios tipos de razonamiento estándar.
• El razonamiento abductivo, el proceso de derivar las explicaciones más probable para los hechos conocidos.
• Razonar sobre el conocimiento, cada vez que las declaraciones específicas que algo no se conoce necesitaram que deben recogerse cuando se enteró de esto.

• Contracción
• Regla de intercambio
• Regla estructural

• Esta obra contiene una traducción total y complementada con la traducción al inglés derivada de «Monotonicidade da implicação» de Wikipedia en portugués, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.