Konvexe Theorien

eine Theorie T mathend000# heißt konvex, wenn für jede Konjunktion φ mathend000# von Atomen, Zahl n mathend000#, Variablen x1,…, xn, y1,…, yn mathend000# gilt:

Ü: warum heißt das konvex?


Beispiele: konvex oder nicht?



2014-03-31