判定下面实例中包含的推理是否有效意大利的都灵大教堂 珍藏了相传是包裹耶稣尸体的布 该布是用细
问题详情
判定下面实例中包含的推理是否有效
意大利的都灵大教堂，珍藏了相传是包裹耶稣尸体的布，该布是用细亚麻织成的。一次，神学院的4名学生对此物发表了以下看法：学生A：这圣物是真的。因为如果它是假的，那么，它不能一直被我们的教友所敬奉。事实上，我们都是虔诚地敬奉它，可见它是真的。学生B：我也认为是真的。这道理很简单，如果它是真的，那它上面必有大量血迹，因为它是用来包裹尸体的，我们亲眼所见它上面的斑斑血迹，可见它是真的。学生C：我同意B的分析，我补充一点，只有有血迹，它才是圣物；我们亲眼看到它上面血迹很多，无疑它是圣物了。学生D：它根本不是什么圣物。纺织史研究表明，在欧洲亚麻细布直到公元2世纪才出现。这说明，如果它是真的，那么，耶稣应当是公元2世纪以后受难的，可是圣经上都说他在公元1世纪受难。可见这不是圣物。
请帮忙给出正确答案和分析，谢谢！
参考答案
正确答案：设p代表“这圣物是真的”设q代表“我们的教友都敬奉它”设r代表“它上面必有大量血迹”设s代表“耶稣应当是公元2世纪以后受难的”学生A的推理公式为：如果非p则非qq；所以p。推理形式有效因符合(充分条件)假言推理的规则“否定后件就得否定前件”。学生B的推理公式为：如果p则rr；所以p。推理形式无效因违反(充分条件)假言推理的规则“肯定后件不能肯定前件”。学生C的推理公式为：只有r才pr；所以p。推理形式无效因违反(必要条件)假言推理的规则“肯定前件不能就肯定后件”。学生D的推理公式为：如果p则s非s；所以非p。推理形式有效因符合(充分条件)假言推理的规则“否定后件就得否定前件”。
设p代表“这圣物是真的”设q代表“我们的教友都敬奉它”设r代表“它上面必有大量血迹”设s代表“耶稣应当是公元2世纪以后受难的”学生A的推理公式为：如果非p则非q,q；所以,p。推理形式有效,因符合(充分条件)假言推理的规则“否定后件就得否定前件”。学生B的推理公式为：如果p则r,r；所以,p。推理形式无效,因违反(充分条件)假言推理的规则“肯定后件不能肯定前件”。学生C的推理公式为：只有r才p,r；所以,p。推理形式无效,因违反(必要条件)假言推理的规则“肯定前件不能就肯定后件”。学生D的推理公式为：如果p则s,非s；所以,非p。推理形式有效,因符合(充分条件)假言推理的规则“否定后件就得否定前件”。
