- P→Q
mathend000# in NNF?
-
¬∀i : P(i)⇒Q(i)
mathend000#
auf Pränexform bringen (Quantor(en) außen)
- Regel
„ersetze
¬∀i : ...
mathend000# `` ist nur korrekt für NNF (Gegenbeispiel?)
Sind die folgenden Eigenschaften durch
Array-Formeln beschreibbar?
- das Array a
mathend000# ist monoton steigend
- b
mathend000# enthält wenigstens zwei
verschiedene Einträge
- für jedes Element = x
mathend000# gibt
es rechts davon ein Element ≠x
mathend000#
2014-03-31
