An argument form in which one reasons from the premises that are known or assumed to be true to a conclusion that follows necessarily from these premises is known as what type of argument