Translation of "cut rule" into Portuguese
Regra do corte is the translation of "cut rule" into Portuguese.
cut rule
-
Regra do corte
inference rule, generalisation of the modus ponens, in sequent calculus
-
Show algorithmically generated translations
Automatic translations of "cut rule" into Portuguese
-
Glosbe Translate
-
Google Translate
Add example
Add