眾將不明白為什麽孔明不追魏軍，孔明說：“司馬懿善於用兵，他現在撤退，肯定設下伏兵，我們去追，正中他的計策。不如等他走遠，我們發兵去打祁山。”於是分兵兩路，命魏延、陳式奔祁山，自己帶兵隨後出發。
魏延、陳式帶兵兩萬，朝北進軍，半路上，孔明派鄧芝追來，對二將說道：“丞相有令，行軍到了箕穀，要提防魏軍埋伏，不可輕易前進。”陳式說：“丞相擔心過多了，魏軍連日遭遇大雨，衣甲都壞掉了，必然急著回去，哪會有伏兵？”魏延想起孔明以前不聽他的計謀，也笑著說：“丞相當初如果聽我的，直接出子午穀，這時候別說長安，連洛陽都打下來了。現在總去祁山，有什麽用？既然叫我們進步，現在又不叫走，軍令也太亂了。”陳式說：“我就直接國箕穀，先到祁山下寨，看丞相羞也不羞。”鄧芝再三阻擋，陳式不聽，帶了本部五千步，去箕穀去了。鄧芝隻得飛報孔明。
陳式快到箕穀時，忽然四麵伏兵一起殺來。陳式急忙後退，被魏軍堵住山穀口，圍得鐵桶一樣。陳式左衝右突，不能突圍。忽然一隻軍馬殺來，正是魏延，救了陳式出來，五千步隻剩了四五百。陳式、魏延方才相信孔明有先見之明，懊悔不及。原來司馬懿料定孔明會去祁山，於是親自帶兵在箕穀設伏。
鄧芝回去見到孔明，說了魏延、陳式無禮。孔明笑說：“魏延本來就有反骨，我知道他平常心中不服，因為看他勇猛而用他，以後他一定會惹出禍害。”於是，孔明帶兵出發，出了箕穀，忽報司馬懿已轉到渭濱屯紮。於是孔明引軍到了渭濱，紮下營來。司馬懿當即給孔明下了戰書。
孔明批複：“來日交鋒。”於是第二天，兩軍列好陣勢。魏軍的門旗下，司馬懿出馬，眾將隨在後麵。隻見孔明端坐四輪車上，手搖羽扇。司馬懿說：“你是南陽一個耕夫，不知天數，硬是來攻戰，理應殺滅，如果醒悟改過，就該早日回去，各守邊界，免得生靈塗炭。”孔明笑說：“你父親也是漢臣，你不思報效，反倒幫者篡逆，豈不知羞恥？”司馬懿滿麵羞慚，說：“我跟你決一雌雄，你要是能勝，我發誓不再當大將。”
孔明說：“你要鬥將，鬥兵，還是鬥陣法？”司馬懿說：“先鬥陣法。”孔明說：“那你先布陣我看。”司馬懿手中拿起黃旗一招，左右軍動，排成一陣。問道：“你認識我這是什麽陣嗎？”孔明笑說：“我軍中的末將，也都能布這個陣。這是混元一氣陣。”司馬懿說：“那你布陣我看。”孔明把羽扇一搖，布成陣形，問：“你認得我這個陣嗎？”司馬懿說：“不過是個八卦陣，怎麽不認識。”孔明說：“既然認識，敢來打我的陣嗎？”司馬懿說：“既然認識，怎麽不敢打。”孔明說：“你隻管來打。”