| 重迭量词 multiple quantifier 数理逻辑中指有先后次序的量词序列。对于1元谓词，通常只能引用一次量词。相对于一个多元谓词，就可多次引用量词。例如2元谓词R(x，y)，可以连续两次引用量词，从而得到： (ᗄx)(ᗄy)R(x，y)：一切x和一切y有关系R; (ᗄx)(∃y)R(x，y)：一切x和有的y有关系R; (∃x)(ᗄy)R(x，y)：有的x和一切y有关系R; (∃x)(∃y)R(x，y)：有的x和有的y有关系R 等四种形式。另外还可以有(ᗄx)(…(∃y)…)这样的重迭量词，这里并非连续的两次引用量词。例如：“一切固体都可以被某些液体所溶解”。可用符号表示成： (ᗄx)(固体(x)→(∃y)(液体(y)∧y溶解x); (ᗄx)(p(x)→(∃y)(Q(y)∧R(x，y))。 |