后来陈式随刘备东征，与吴班一起率水军驻于夷陵东西两岸。由于带的是水军，驻地又靠近三峡，陈式在夷陵之败后得以逃出生天，最终再随诸葛亮北伐。这次诸葛亮北出陈仓虽然失败，但兵力上并没有什么损失。之所以不去和魏国援军再拼一把，是因为诸葛亮已经准备执行第二套方案，那就是先夺武都，再取阴平。更具体说是拿下武都郡治"下辨"和阴平郡治"阴平"城。
只有拿下郡治才能算取了这个郡，就像街亭、列柳城虽然都地属广魏郡，但当时有郭淮在上邽顶着，广魏太守和郡治临渭没有降，所以一出祁山时，魏国不认为自己失了广魏郡。同样那次北伐也没有取武都的记录。这意味着诸葛亮为了保证能成功突袭冀城，并没有去取下辨。一出祁山由祁山道绕过了下辨，二次北伐又从陈仓道绕过了下辨。这无疑容易给守军和郭淮一个感觉，诸葛亮的目标就是陇右和关中，对已经没有什么人口的武都不感兴趣。
陈式得到了的这个任务，不管是他主动争取，还是来自诸葛亮命令，都是一雪前耻的好机会。由陈仓撤军和陈式攻拔武都、阴平两郡，都发生在建兴七年春（公示229年）。从这个时间点上看，诸葛亮也可能在撤军路上就直接转去取武都。如果是这种情况，二出祁山和三出祁山，其实是可以视为一次军事行动的。
