在谓词逻辑中，全称命题是对论域内所有成员的性质或关系的论断结果的陈述。在符号逻辑中，全称量词∀是用来指示全称量化的符号。与它相对的，表示至少一个事物为真的量词为存在量词。
基础.要表达“2乘以所有自然数都等于该自然数和自己相加的和”，一种方式的是：因为使用了“且”一词，这看上去是逻辑合取。然而形式逻辑中的合取概念却不能表达出“以此类推”一词的含义。因此将该命题改述为这便是一个使用全称量化的单一命题。该命题比原命题更精确，因为“以此类推”一词想表示的是要包括所有的自然数、