(1) 曹魏太和四年七月，都督曹真病已痊愈，上表请求伐蜀，愿和司马懿同领大军。魏主曹睿见了表章，很是欢喜。