Idempotence zavinění - Idempotency of entailment
![]() | tento článek ne uvést žádný Zdroje.Prosince 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Idempotence zavinění je majetkem logické systémy to říká, že z mnoha případů hypotézy lze odvodit stejné důsledky jako z jediného. Tuto vlastnost může zachytit a strukturální pravidlo volala kontrakcea v takových systémech se to dá říci obviňování je idempotentní právě když je kontrakce přípustné pravidlo.
Pravidlo kontrakce: od
- A,C,C → B
je odvozeno
- A,C → B.
Nebo dovnitř následný počet notace,
v lineární a afinní logika, účast není idempotentní.
Viz také
![]() | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |