Tafel 1.43: Weitere universelle Aussage als alternative implizite Prämisse in 'Geeigneteres Maßnahmenbündel'
Kapitel 1 Prämissen-Konklusion-Struktur<Geeigneteres Maßnahmenbündel>
(1) Es gibt eine effektive Alternativmaßnahme, die zum Schutz vor
Ausbeutung führt und die geeigneter als die
Hardcore-Pornografie-Zensur ist.
(2) Es gibt eine effektive Alternativmaßnahme, die zum Schutz vor
Subversion führt und die geeigneter als die
Hardcore-Pornografie-Zensur ist.
(3) Für beliebige Ziele *Z1*, *Z2* und jede Maßnahme *M* gilt:
Wenn es
(i) eine effektive Alternativmaßnahme gibt, die zu *Z1* führt
und die geeigneter als *M* ist, und es
(ii) eine effektive Alternativmaßnahme gibt, die zu *Z2* führt
und die geeigneter als *M* ist,
dann gibt es eine effektive Alternativmaßnahme (nämlich das
Bündel der zwei Einzelmaßnahmen), die zu *Z1* _und_ *Z2* führt
und die geeigneter als *M* ist.
--
Modus ponens aus 1-3
--
(4) Es gibt eine Alternativmaßnahme, die zum Schutz von Ausbeutung
_und_ dem Schutz vor Subversion führt und die geeigneter als
die Hardcore-Pornografie-Zensur ist.
Vorherige Tafel 1.42: 'Geeigneteres Maßnahmenbündel' in Standard-Darstellung mit ergänzten impliziten Prämissen
Nächste Tafel 1.44: Wohlwollende und finale Detailrekonstruktion von 'Geeigneteres Maßnahmenbündel'