关系命题的语形和语义——一个逻辑分析的实例

当关系命题的两个关系者词被全称和存在两个量词约束时，即所有事物与有些事物有某关系或有些事物与所有事物有某关系，如何正确表达和理解这类命题的含义以及它们之间的关系？这是现代逻辑必须研究和解决的问题。可以运用一阶逻辑工具及其解释的方法，分析该类命题的语形和语义，揭示不同量词在关系命题中位置变化的规律，对关系命题相应的普效式、可满足式给出严格的证明，从而提供一个逻辑分析实例。