derivation rules
قواعد اشتقاق
elimination rule
قاعده حذف