Vyjmout pravidlo - Cut rule

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: "Vyjmout pravidlo"  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Července 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v matematická logika, snížit pravidlo je pravidlo odvození z následný počet. Je to zobecnění klasiky modus ponens pravidlo odvození. Jeho význam je, že pokud vzorec A se objeví jako závěr v jednom důkazu a hypotéza v jiném, pak další důkaz, ve kterém vzorec A nezobrazí lze odvodit. V konkrétním případě modus ponens, například výskyty muž jsou vyloučeny z Každý člověk je smrtelný, Socrates je muž odvodit Sokrates je smrtelný.

Formální notace

Formální notace v sekvenční notaci kalkulu:

střih

${ displaystyle { cfrac { Gamma vdash A, Delta qquad Gamma ', A vdash Delta'} { Gamma, Gamma ' vdash Delta, Delta'}}}$

Odstranění

Pravidlo řezu je předmětem důležité věty, věta o eliminaci řezu. Uvádí, že jakýkoli rozsudek, který má důkaz v následném počtu, který využívá pravidlo řezu, má také důkaz bez řezu, tj. Důkaz, který pravidlo řezu nevyužívá.