f Voraussetzung f, Vordersatz m, Prämisse f