(v)deduce, inferconclude by reasoning; in logic