条件。例如“对任何合数formula_5，都有formula_10”逻辑等价于“对任何自然数formula_5，如果formula_5为合数，则formula_10”。这里“如果……则”的句子构造出了逻辑条件。在符号逻辑中，使用全称量词“∀”（倒置的无衬线体字母“A”）来表示全称量化。所以如果formula_23是谓词“formula_10”，而formula_25则是自然数集，那么有表示的是假命题“对任何自然数formula_5，都有formula_10”。类似地，若命题formula_29陈述的