منطق المتتاليين