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