Idempotency de implicación

Idempotency de la implicación es una propiedad de sistemas lógicos que declara que uno puede sacar las mismas consecuencias de muchos casos de una hipótesis como de sólo un. En cálculos secuenciales esta propiedad puede ser capturada por una regla estructural llamada la contracción y en tales sistemas uno puede decir que la implicación es idempotent por si acaso la contracción es una regla admisible.

Regla de contracción: de

A, C, C-> B

se saca

A, C-> B.

O en nota del cálculo secuencial,

:



Buscar