ويعرف به نقصان ما في الأفكار الفاسدة واختلال ما في الأنظار الكاسدة
Through it one identifies what is defective in corrupt thinking and unsound inference.
For example:
1. All humans are living beings.
2. A horse is a living being.
Invalid conclusion: Therefore, a horse is human.
Being a living being is not exclusive to humans. Sharing a broad attribute does not make two kinds identical. Logic helps expose the defect in the inference rather than merely rejecting its conclusion.