Darf ich noch einmal darum bitten, die einschlägige Literatur zu Rate zu ziehen? Das Vorgehen des einen Logik-Buchs in meinem Besitz habe ich oben schon genannt. Wenn wir die Prämisse "weglassen", dann müssen wir sie trotzdem im Vor-Satz nennen - es geht also nur darum, wo wir diese Prämisse nennen.