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

✓ / \