An argument that attempts to show the conclusion must be true if the premises are true. (See also Indictive argument.)