El Monotonicity del entailment es una característica de muchos sistemas lógicos que los estados que las hipótesis de cualquier hecho derivado se pueden ampliar libremente con asunciones adicionales. En cálculos siguientes esta característica se puede capturar por una regla de inferencia llamada que debilita, o a veces el que enrarece, y en tales sistemas uno puede decir que el entailment es monótono apenas en caso que la regla es admisible. Los sistemas lógicos con esta característica de vez en cuando se llaman el las lógicas monotónicas para distinguirlos de las lógicas no monotónicas

Regla de debilitamiento

Para ilustrar, a partir de el natural siguiente de la deducción :

Γ $\backslash \; vdash$ C

el debilitamiento permite que uno concluya:

Γ, $\backslash \; vdash$ C de A

Lógicas no monotónicas

En la mayoría de las lógicas, el debilitamiento es una regla de inferencia o un Metatheorem si la lógica no tiene una regla explícita. Las excepciones notables son:
lógica terminante o lógica relevante, donde cada hipótesis debe ser necesaria para la conclusión.
Lógica linear que rechaza la contracción arbitraria además del debilitamiento arbitrario.
El agrupó las implicaciones donde el debilitamiento se restringe a la composición aditiva.

Ver también

contracción
Regla de intercambio
Lógica subestructural

.

Zenithic

Kuria

Random links:

El municipio de Newton, condado de Mackinac, Michigan | Mariska Hargitay | Regimiento real de Gloucestershire, de Berkshire y de Wiltshire | Lista de líderes estatales en 1371 | Música islámica