Das Gegenteil von “es besteht ein Gesetz, daß p” ist nicht: “es besteht ein Gesetz, daß ~p”. Drückt man aber das erste durch P, das zweite || andre durch ~P aus, so wird man in Schwierigkeiten geraten.