Aristoteles’ Syllogismen (1)

Modus Barbara

Alle Tiroler sind Österreicher.
Alle Innsbrucker sind Tiroler.
Ergo: Alle Innsbrucker sind Österreicher.

[Wikipedia: Syllogistik]