逻辑量词

这篇文章的页面是一个存根，请通过展开它来提供帮助。

逻辑量词用于一阶逻辑以及更高阶的逻辑。

存在量词

这个存在量词，即。至少存在一个，用倒置的表示拉丁语性格${\显示样式\脚本样式\存在\，}$.

唯一量词

这个唯一量词，即。存在且只有一个，用表示${\displaystyle\scriptstyle\存在！\，}$.

例子：

${\displaystyle\exists！\，p\in\mathbb{N}:p{\text{prime and}}p{\text{even}}.}$

通用量词

这个通用量词，即。为所有人，用倒置的表示拉丁语性格${\显示样式\脚本样式\全部\，}$.