P || p wird von allen Sätzen bejaht aus denen es folgt.
     Jeder Satz der p widerspricht verneint p.