cut rule

inference rule, generalisation of the modus ponens, in sequent calculus

en-GB/ˈkʌt ˈɹuːl/
en-US/ˈkʌt ˈɹul/

カテゴリ：

rule of inferenceinference