The origins of deduction: Ibn Daqiq al-Eid's methodology in deduction as a model