Man könnte auch so sagen: Der Satz welcher p und ~p bejaht, wird von allen Sätzen verneint; der Satz welcher p oder ~p bejaht wird von allen Sätzen bejaht.