Allaussage (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