منطق حق