Wenn der Satz durch kein endliches Produkt wahr gemacht wird, so heißt das: Er wird durch kein Produkt wahr gemacht. Und darum ist er kein logisches Produkt.