百科全书文章 (SEP) 中句子演算的这个基本示例让我无法理解

Question

斯坦福哲学百科全书 cites the following example 将“句子逻辑”视为明显的“无效演绎”：

前提1：A⊃(B⊃C)

前提2：B⊃∼C

结论：∼A

但是假设那里符号化的逻辑运算符（“⊃”）是material蕴涵，逻辑链有什么问题？ 对我来说似乎是一个非常基本的嵌套 modus tollens....

从那篇文章后面的解释段落来看，解释似乎是推理在术语逻辑中有效，但不是推理句子逻辑中的有效推导。但是我不明白为什么有效性会受到符号所指对象是术语还是句子的影响。

Answer 1

取A为真，B为假。两个假设都成立，但不是结论。因此推论无效。