logical consequence


noun

the relation that obtains between the conclusion and the premises of a formally valid argument