在逻辑学中，谓词逻辑是一种用于描述和推理命题之间关系的系统。以下是对您所提出的问题的详细解答。
表示“所有A都是B”的选项：
- 正确答案是 A. A ⊆ B。在集合论中，A ⊆ B 表示集合 A 是集合 B 的子集，意味着 A 中的所有元素都属于 B。在谓词逻辑中，这通常被用来表示“所有 A 都具有属性 B”。
表示“存在”的符号：
- 正确答案是 A. ∃。符号 ∃ 表示“存在”，用来指明至少存在一个元素满足某个条件。
谓词逻辑中的重言式（永真式）：
- 正确答案是 D. (∃x)(Px → Qx)。重言式是指在所有情况下都为真的命题。对于这个选项，它表示“存在至少一个 x 使得如果 x 具有属性 P，则 x 也具有属性 Q”。只要存在至少一个满足 P 的 x，那么这个命题就总是为真。
谓词逻辑中的矛盾式（永假式）：
- 正确答案是 B. (∃x)(Px ∧ ¬Qx)。矛盾式是指在所有情况下都为假的命题。这个命题表示“存在至少一个 x 使得 x 具有属性 P 并且不具有属性 Q”，在逻辑上是自相矛盾的，因为不可能同时具有和不具有某个属性。
谓词逻辑中的等价命题：
- 正确答案是 D. (∃x)(Px → Qx) 和 (∀x)(¬Px ∨ Qx)。等价命题是指在逻辑上具有相同真值的命题。这个选项中的两个命题都表达了相同的逻辑关系，即“存在至少一个 x 使得如果 x 不具有属性 P，则 x 具有属性 Q”，这与“对于所有 x，如果 x 不具有属性 P，则 x 具有属性 Q”等价。
谓词逻辑中的可满足命题：
- 正确答案是 B. (∃x)(Px ∧ ¬Qx)。可满足命题是指至少存在一个解释使得命题为真。这个命题表示“存在至少一个 x 使得 x 具有属性 P 并且不具有属性 Q”，这是可以找到满足条件的解释的。
表示“非”的符号：
- 正确答案是 A. ¬。符号 ¬ 表示“非”，用来表示否定一个命题或属性。
谓词逻辑中的析取式（析取）：
- 正确答案是 A. (P ∨ Q)。析取式（或）表示“P 或 Q”，在逻辑上，只要 P 或 Q 中的至少一个为真，整个表达式就为真。
谓词逻辑中的合取式（合取）：
- 正确答案是 B. (P ∧ Q)。合取式（与）表示“P 和 Q”，在逻辑上，只有当 P 和 Q 都为真时，整个表达式才为真。
谓词逻辑中的蕴含式（蕴含）：
- 正确答案是 C. (P → Q)。蕴含式（蕴含）表示“如果 P，则 Q”，在逻辑上，如果 P 为真，那么 Q 也必须为真，或者 P 为假时 Q 可以是任意值，这样的表达式在逻辑上是成立的。
以上解答提供了对每个问题详细的解释，以及每个选项所对应的逻辑概念。