منطق محکم (1)