Volltext
8. Gruppen¨ubung, Mathematische Logik, SS 2008
Aufgabe 1
SeiRein zweistelliges Relationssymbol. Wandeln Sie die Formel φ ∶= ∀y(∀z(Rx z∧ ¬R yz) → ∀x(Rx z∧ ∃y(Rx y∧R yz))) in Skolem-Normalform um.
Aufgabe 2
Gegeben sei die Struktur A = ({0, 1},E) mit E = {(0, 1),(1, 1)}. Geben Sie den Spielgraphen f ¨ur das Auswertungsspiel zu der Formel
φ ∶= ∀x(∃yE x y ∧ ∀y¬E y x)
an, und markieren Sie eine Gewinnstrategie f ¨ur einen der beiden Spieler.
ÄHNLICHE DOKUMENTE
Wir werden einen Algorith- mus angeben, welcher zu jeder gegebenen Sequenz Γ ⇒ ∆ entweder einen Beweis konstruiert, oder aber eine Interpretation findet, welche jede Formel aus Γ,
Wir werden einen Algorith- mus angeben, welcher zu jeder gegebenen Sequenz Γ ⇒ ∆ entweder einen Beweis konstruiert, oder aber eine Interpretation findet, welche jede Formel aus Γ,
Wir werden einen Algorith- mus angeben, welcher zu jeder gegebenen Sequenz Γ ⇒ ∆ entweder einen Beweis konstruiert, oder aber eine Interpretation findet, welche jede Formel aus Γ,
, D n die den einzelnen Spalten (im Datenbank-Jargon: den Attributen) zugeordneten Domänen sind (z.B. Sei D die Vereinigung aller in der Datenbank vorkommenden Domänen.. Für
[r]
[r]
[r]
[r]
