企源知识库

构造下列推理的证明。
如果他训练刻苦，他必赢得比赛；如果他赢得比赛，他必得到总理的接见；总理没有接见他；所以他训练不刻苦。
【正确答案】：

解：
设p：他训练刻苦，