諸葛亮北伐期間， 魏延和陳式等四將取箕穀而進， 諸葛亮派鄧芝傳令， 讓他們不可輕進， 以防止魏軍埋伏， 但是， 魏延和陳式不聽諸葛亮的命令， 陳式帶領五千兵馬出箕穀， 結果， 因為擅自進兵， 導致中了埋伏， 五千兵馬只剩下四五百人。
後來， 諸葛亮怕陳式生變， 還派鄧芝善言撫慰， 然後， 秋後再算帳， 將陳式斬首示眾。
《三國演義》第一百回：孔明大驅士馬， 複出祁山。 勞軍已畢， 魏延、陳式、杜瓊、張嶷入帳拜伏請罪。 孔明曰：“是誰失陷了軍來？”延曰：“陳式不聽號令， 潛入穀口， 以此大敗。 ”式曰：“此事魏延教我行來。 ”孔明曰：“他倒救你， 你反攀他！將令已違， 不必巧說！”即叱武士推出陳式斬之。 須臾， 懸首於帳前， 以示諸將。 此時孔明不殺魏延， 欲留之以為後用也。
陳式在定軍山之戰中， 表現勇敢， 大戰夏侯淵， 被夏侯淵生擒， 在這種情況下， 陳式沒有投降， 後被黃忠用夏侯尚換回。
陳式沒有投降，
其實， 諸葛亮在殺陳式時， 心裡是清楚的， 不僅是陳式， 魏延也有責任， 魏延也要為兵敗負責， 但是， 諸葛亮“舍卒保車”， 只殺了陳式， 因魏延勇猛而留用。
諸葛亮是不是可以不殺陳式呢？將功補過也可以啊？為何非要殺呢？
這是因為， 陳式和魏延不僅僅是兵敗那麼簡單， 更重要的是， 魏延和陳式已經不聽諸葛亮的命令了， 不聽諸葛亮的指揮， 意味著什麼？這是非常可怕的！
《三國演義》第一百回：魏延想起孔明向日不聽其計， 亦笑曰：“丞相若聽吾言， 徑出子午穀， 此時休說長安， 連洛陽皆得矣！今執定要出祁山。 有何益耶？既令進兵， 今又教休進。 何其號令不明！”式曰：“吾自有五千兵， 徑出箕穀， 先到祁山下寨， 看丞相羞也不羞！”芝再三阻當， 式只不聽， 逕自引五千兵出箕穀去了。
從魏延和陳式的言語中， 明顯有譏諷之意， 甚至是抗命。
諸葛亮的底線是， 必須要聽我的， 但現在你不聽我的， 我肯定要殺你， 以正軍法， 否則， 以後， 誰還聽我的指揮？
魏延和陳式的語言， 明顯是挑戰了諸葛亮的權威， 而且公然和諸葛亮唱反調， 諸葛亮不殺你， 殺誰？
因此， 陳式死的一點也不冤。
另外， 諸葛亮殺陳式， 也震懾了魏延， 以達到殺雞儆猴的目的， 同時，