Nella logica, un insieme ordinato di proposizioni, una delle quali è posta come inferita dalle altre. La proposizione inferita si dice conseguente o conclusione; quella o quelle da cui è inferita antecedente; il vincolo di dipendenza tra il conseguente e l’antecedente conseguenza.