Logic 量词能扩展成任何含义吗？

在声明中：

(∀x)(A→(B→C)) 

是否可以使用公理分配通用量词，从而得出以下结果：

(∀x)A→(∀x)(B→C)  

然后再次应用公理，使：

(∀x)A→(∀x)B→(∀x)C  

---

假设

A→（B）→C） 

和

A→如果是真的，你将如何证明→C

通用量词不能分配。这就是原因

 ∀x: A(x) → B(x)            "every time A is true, so is B"
(∀x: A(x)) → (∀x: B(x))     "if A is always true, B is always true"

第一个意味着第二个，但第二个并不意味着第一个。比如说

(∀x: x is odd) → (∀x: x is even)

true

是因为

x

不总是奇数，也不总是偶数（和

false→ false

为

true

）。然而

---

显然是

false

通用量词不能被分配。这就是原因

 ∀x: A(x) → B(x)            "every time A is true, so is B"
(∀x: A(x)) → (∀x: B(x))     "if A is always true, B is always true"

第一个意味着第二个，但第二个并不意味着第一个。比如说

(∀x: x is odd) → (∀x: x is even)

true

是因为

x

不总是奇数，也不总是偶数（和

false→ false

为

true

）。然而

---

显然是

false

您可以描述（或提供参考）您正在使用的逻辑。什么是A、B和C？x出现在哪里？例如，在布尔代数的维基百科页面上，没有使用量词，那么您使用的逻辑和布尔代数之间有什么区别？也许这只是命名的问题，所以你能描述一下你想做什么吗？a、B和C可以翻译成P（x）、Q（x）和R（x）。为了这个问题，它们被称为A、B和C。我试图证明这一点(∀x） （P（x）→ （Q（x）→R（x）），以及(∀x） （P（x）→Q（x）），他们证明了(∀x） （P（x）→你能描述一下（或给出一个参考）你所使用的逻辑。什么是A、B和C？x出现在哪里？等等。例如，在布尔代数的维基百科页面上，没有使用量词，那么你所使用的逻辑和布尔代数之间的区别是什么？也许只是命名的问题，那么你能更详细地描述你想要做什么吗？A、B和C可以被转换被称为P（x），Q（x）和R（x）。为了这个问题，它们被称为A，B和C。我试图证明(∀x） （P（x）→ （Q（x）→R（x）），以及(∀x） （P（x）→Q（x）），他们证明了(∀x） （P（x）→R（x））