Một quá trình lý luận mà hậu quả cụ thể hơn suy ra bởi nghiêm ngặt đối số từ đề xuất tổng quát hơn.