Das Anzeichen des logischen Satzes ist nicht die Allgemeingültigkeit.

Allgemein sein, heisst ja nur: Zufälligerweise für alle Dinge gelten. Ein unverallgemeinerter Satz kann ja ebensowohl tautologisch sein, als ein verallgemeinerter.