بحث الگو:منطق کلاسیک