存在实例化规则限制要求假设存在名a必须是在推理中第()次出现

2022-08-23 09:33 逻辑学导论