بحث الگو:منطق ریاضی