Types Of Definitions In Logic