Anzahl der passenden Modelle

Question

wie bestimmt man die Anzahl der minimal passenden Modelle einer Formel?

Comments

Ich verstehe nicht, worum es geht. Bitte Frage konkretisieren!

Was sind passende Modelle einer Formel?

---

Ein Modell I' von M heißt minimal, falls die zugehörige Menge I = {A | I'(A) = 1 }  minimal ist.

ein Beispiel :
Sei F_n = (A₁ ν A₂ ) ∧ (A₂ ν A₃ )  ∧ ......... ∧ (A_n-1 ν A_n )

wie bestimmt man die Anzahl der minimal passenden Modelle von F_n

---

Das ist für mich Hobbymathematiker zu hoch, ich steige hier aus. Sorry. :)

---

Ein Modell I' von M

Was ist M?

die zugehörige Menge I = {A | I'(A) = 1 }

Aus welcher Menge werden die A ausgesondert? Wenn man da nicht aufpasst, dann ist I überhaupt keine Menge.

(A₁ ν A₂ ) ∧ (A₂ ν A₃ )  ∧ ......... ∧ (A_n-1 ν A_n )

Das sieht mir eher nach Aussagenlogik aus, als nach Prädikatenlogik.