Loading AI tools
De Wikipedia, la enciclopedia libre
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:
el debilitamiento permite que se concluya:
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:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.