zum Nachweis der semantischen Gültigkeit eines prädikatenlogischen Arguments vgl. Kapitel 4.7 (Seite §).