An argument form in which one reasons from premises that are known or assumed to be true to a conclusion that is supported by the premises but does not necessarily follow from them.