doğrusal mantık