حل (منطق)