建兴八年秋天，曹真上表请求伐蜀国。魏主令他为征西大都督，司马懿为副都督，引兵四十万从长安出发，攻取汉中，并令郭淮领军支援。

    孔明见魏军来攻，叫王平、张嶷领一千兵去陈仓古道防守，二人觉得一千兵难以挡住四十万魏军，不肯去。孔明说他夜观天象，将有长期大雨，魏军必然不敢来攻蜀国，二人才去了。

    曹真领兵驻扎于陈仓，果然连下大雨，平地水深三尺，士兵无法睡觉，马无草料，军无战心。魏主命令撤兵。孔明知司马懿有埋伏，也不追赶。

    曹真见蜀兵不追，便将埋伏的人马撤回。司马懿说蜀军将从两谷出兵夺祁山，曹真不信。两人打赌，各守一个谷口。

    孔明令魏延、陈式率领二万人马去箕谷，孔明令他们不要轻易前进，以防魏兵在箕谷埋伏。魏延、陈式不听。陈式自领五千兵出箕谷，被司马懿的伏兵杀得只剩几百人马，幸有魏延将他救出。

    曹真连续七日未见蜀军出现，便放松了警惕。结果曹真被包围，魏将秦良被杀。司马懿派人将曹真救出。

    孔明得胜，领军又出祁山，按军法斩了陈式。曹真赌输了，一气之下竟卧病不起。孔明又写了封信送给曹真，信中说曹真无能，不识天文地理，以至折兵损将，曹真看罢，气得大叫一声，死于军中。

    魏主催司马懿出战，司马懿要与孔明先斗阵法。

    孔明摆出八卦阵，冲阵的魏军都被捉住了，孔明不杀他们，给他们脸上涂上黑墨，光着上身释回。司马懿怒气冲天，令三军一齐冲阵，不料关兴、姜维杀来，魏军三面受敌，司马懿拼死杀出，已伤亡了一大半人马。

    都尉苟安解送粮草误了十天，孔明要按军法斩他，长史杨仪替他求情，孔明便让军士打了他八十军棍。苟安心里怀恨便投降了魏军，司马懿让他去成都散布谣言说