无穷后退相关硕士博士期刊学术论文

卡罗尔疑难是19世纪末英国逻辑学家刘易斯·卡罗尔提出的一个难题。卡罗尔认为使用MP规则会导致推理的无穷后退,因为如果你希望由p......