太和四年（公元230年）秋，曹真请求出兵讨伐蜀国，曹睿便拜曹真为大司马、征西大都督，司马懿为大将军、征西副都督，刘晔为军师，率兵四十万，攻打汉中。当时，诸葛亮也正准备再次北伐，得知曹真、司马懿率兵...