Formalization of implication based fuzzy reasoning method