logical consequence


logical consequence

n (Logic) the relation that obtains between the conclusion and the premises of a formally valid argument