منطق خطی