Reductive inference in traditional logic is performed under certain condition.
传统逻辑学的演绎推理是在一定的条件限制之下进行的。
youdao
应用推荐
模块上移
模块下移
不移动