types of definitions in logic - Search