Allaussage

Auch: Allsatz, Generalisation. Aussage, in der mit den Wörtern alle, jeder u.a. etwas über alle Elemente eines Bereichs ausgesagt wird. Allaussagen werden in der → Logik mit Hilfe des Allquantors (→ Allquantor) gebildet, z.B. Alle Studenten lesen: (x) (S(x) ⊃ L(x)) ‘Für alle x gilt, wenn x ein Student ist, so liest x’. Umgangssprachlich kann die A. (z.B. im Dt.) auch durch den Gebrauch von bestimmtem oder unbestimmtem → Artikel sowie durch den Null-Artikel zum Ausdruck gebracht werden, z.B. Studenten lesen.

→ Logik, → Prädikatenlogik

L/MW