Volltext
7. Gruppenübung, Mathematische Logik, SS 2013
Aufgabe 1
Bringen Sie die folgende Formel in (i) Negationsnormalform und (ii) Pränex- Normalform.
¬∃x(∀y(¬(Exy → Eyx)∧Eyy)∧ ¬∃x(Exx ∧Eyx))∨Exy ∨ ∀y∃z(Eyz)
Aufgabe 2
Axiomatisieren Sie die folgenden Klassen von Graphen G = (V,E).
(a) {G | jeder Knoten hat mind. 2 Nachfolger}
(b) {G | G enthält einen isolierten Pfad der Länge 4}
(c) {G | G hat ≤ 17 Knoten}
(d) {G | G hat keine Terminalknoten und ist nicht vollständig}
ÄHNLICHE DOKUMENTE
Aus diesen Grundfunktionen k¨ onnen durch Komposition, beschr¨ ankte Summe und beschr¨ anktes Produkt neue elementare Funktionen erzeugt werden. Die Komposition entspricht exakt der
Ubungen zur Vorlesung Mathematische Logik II ¨ SS
e) Die Menge der arithmetischen Relationen ist abgeschlossen unter primitiv rekursiven Funk- tionen, d.h. (Bemerkung: Dies gilt auch f¨ ur totale
Ubungen zur Vorlesung Mathematische Logik II ¨ SS
[r]
Gruppenübung, Mathematische Logik, SS 2009.
Geben Sie jeweils eine Ge - winnstrategie für Herausforderer
[r]
