Vordersatz (… Annahme, als Ausgangspunkt einer Beweisführung <a href="../lex/praemisse.htm" title="Als Prämisse (lat. praemissa „das Vorausgeschickte“) oder Vordersatz bezeichnet man in der Logik eine Voraussetzung oder Annahme. Sie ist eine Aussage, aus der eine logische Schlussfolgerung gezogen wird. Eine oder mehrere Prämissen leiten oft ein logisches Argument ein.">Prämisse ↗</a>)