Review Note
Last Update: 02/06/2024 12:07 PM
Current Deck: Logik und Berechenbarkeit::Prädikatenlogik
Published
Fields:
Vorderseite
Wie werden die Allquantoren auf Klauseln verteilt?
Rückseite
∀x_1 ... ∀x_m (K1 ∧ ... ∧ K_n) <-> ∀x_1 ... ∀x_m K1 ∧ ... ∧ x_1 ... ∀x_m K_n
Jede Klausel hat eigene Variablen.
Quantoren werden danach weggelassen.
Jede Klausel hat eigene Variablen.
Quantoren werden danach weggelassen.
Suggested Changes:
Deck Changes (Suggestion to move the Note to the following Deck):
Field Changes:
Tag Changes: