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.
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.
monotonicidad, implicación, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, este, aviso, puesto, agosto, 2008, monotonicidad, implicación, propiedad, muchos, sistemas, lógicos, afirma, hipótesis, cualquier, hecho, derivado, . Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Este aviso fue puesto el 5 de agosto de 2008 La monotonicidad de la implicacion es una propiedad de muchos sistemas logicos que afirma que las hipotesis de cualquier hecho derivado pueden extenderse libremente con supuestos adicionales En el calculo 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 implicacion es monotona si y solamente si la regla fuera admisible Los sistemas logicos con esta propiedad son ocasionalmente llamados logicas monotonicas con el fin de diferenciarlos de logicas no monotonas Indice 1 Regla de debilitamiento 2 Logicas no monotonicas 3 Vease tambien 4 Enlaces externosRegla de debilitamiento EditarA modo de ilustracion partiendo de la deduccion natural secuencial G displaystyle vdash C el debilitamiento permite que se concluya G A displaystyle vdash CLogicas no monotonicas EditarArticulo principal Logica no monotonica En la mayor parte de las logicas el debilitamiento es una regla de inferencia o un metateorema si la logica no tiene una regla explicita Algunas excepciones notables son La logica estricta o logica relevante donde cada hipotesis debe ser necesaria para la conclusion La logica lineal que no permite la contraccion arbitraria en adicion al debilitamiento arbitrario Las implicaciones agrupadas donde el debilitamiento se restringe a la composicion de aditivo Varios tipos de razonamiento estandar El razonamiento abductivo el proceso de derivar las explicaciones mas probable para los hechos conocidos Razonar sobre el conocimiento cada vez que las declaraciones especificas que algo no se conoce necesitaram que deben recogerse cuando se entero de esto Vease tambien EditarContraccion Regla de intercambio Regla estructuralEnlaces externos EditarEsta obra contiene una traduccion total y complementada con la traduccion al ingles derivada de Monotonicidade da implicacao de Wikipedia en portugues concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 3 0 Unported Datos Q1945137 Obtenido de https es wikipedia org w index php title Monotonicidad de la implicacion amp oldid 121640296, wikipedia, wiki, leyendo, leer, libro, biblioteca,
