تدعيم المنطق