Types Of Definition In Logical