بحث: کشته‌استقرای‌منطق؛