Logik: die allgemeine kategoriale Aussage, in der mithilfe der als Allquantor bezeichneten logischen Partikel »alle« (Zeichen:, auch ∀) ein Subjekt A in Bezug auf einen Gegenstands- oder Eigenschaftsbereich B verallgemeinert wird: »Alle A sind B« (z. B. »alle Menschen sind sterblich«). In der mathematischen Logik hat sie die Form (A (x ) → B (x )), in Worten: »Für alle x gilt: wenn x die Eigenschaft A besitzt, dann hat x auch die Eigenschaft B «. Die andere allgemeine Aussage ist die partikuläre oder Existenzaussage. In der singulären Aussage ist der Subjektterm ein Individuenname.