全称命题,英文为 Universal Statement,一种高级数学命题。 短语"对于所有""对于任意一个"在逻辑中通常叫做全称判断,并用∀(上下颠倒的大写"A")表示。A就是英语中any的缩写。含有全称判断的命题,叫全称命题,全称判断的否定是特称判断。
科学定律和偶适概括在自然语言中都是全称命题。
Scientific laws and accidental generalizations are both universal propositions in natural language.
断定有某种趋势存在的命题是存在命题而不是全称命题。
A statement asserting the existence of a trend is existential, not universal.
但本文认为,当谈论全称命题的真假时,其主项对象的存在就已经被设定,因此无须再进行假设。
This article argues, however, in discussing the true or false of a universal proposition, the existence of the object should be supposed to have been enacted.
应用推荐