The type of reasoning where a conclusion is made by applying assumptions, procedures or principles