[P| p] wird von allen Sätzen bejaht aus denen es folgt.
 jeder Satz der p wiederspricht verneint p.