جدایی پذیری شرط داوری