In logic, what is the form of reasoning by which a specific conclusion is inferred from one or more premises?