contrazione, regola di

Enciclopedia della Matematica (2013)

contrazione, regola di


contrazione, regola di in logica, regola secondo la quale, in una relazione di deducibilità, possono essere omesse ripetizioni della stessa formula in una premessa o in una conseguenza. Si tratta di una particolare regola strutturale del calcolo dei → sequenti, lemma cui si rimanda per una più articolata e completa descrizione.

Vocabolario
contrazióne
contrazione contrazióne s. f. [dal lat. contractio -onis, der. di contrahĕre «contrarre»]. – 1. Il contrarsi, l’esser contratto, con riferimento a corpo o materia che ha facoltà di restringersi, di raggrinzarsi. In partic.: a. In fisiologia,...
règola
regola règola s. f. [dal lat. regŭla (der. di regĕre, propr. «guidare diritto»), che significò dapprima «assicella di legno, regolo» e per traslato «regola, norma»; cfr. regolo1 e, per l’analogia del passaggio semantico, canone]. – 1. Modo...