离散数学逻辑推理中,讲结论的否定作为前提引入最后是要得出一个矛盾式吗

我要回帖

 

随机推荐