• Keine Ergebnisse gefunden

AL zwei endliche Mengen von AL-Formeln, so dass Γ

N/A
N/A
Protected

Academic year: 2021

Aktie "AL zwei endliche Mengen von AL-Formeln, so dass Γ"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

12. Gruppenübung, Mathematische Logik, SS 2015

Aufgabe 1

Entscheiden Sie jeweils, ob die folgenden Aussagen zutreffen und geben Sie eine kurze Begründung an.

(i) Es gibt genau 4 paarweise nichtäquivalente aussagenlogische Formeln ϕ1, ϕ2, ϕ3, ϕ4 über der Variablenmenge τ = {X,Y}, so dass jede Formel ψ ∈ AL über der Variablenmenge τ zu einer Formel ϕi äquivalent ist.

(ii) Seiϕ eine AL-Formel, die nicht zu einer Horn-Formel äquivalent ist. Dann ist ¬ϕ ebenfalls nicht äquivalent zu einer Horn-Formel.

(iii) Seien Ψ1,Ψ2 ⊆ AL zwei Mengen von AL-Formeln, so dass für jede end- liche Teilmenge Φ1 ⊆ Ψ1 eine endliche Teilmenge Φ2 ⊆ Ψ2 existiert, so dass Φ1 ∪ Φ2 erfüllbar ist. Dann ist Ψ1 ∩Ψ2 erfüllbar.

(iv) Seien Γ,∆⊆ AL zwei endliche Mengen von AL-Formeln, so dass Γ ⇒ ∆ eine gültige Sequenz ist. Für alle endlichen, nicht-leeren Mengen Γ0,0 ⊆ AL von AL-Formeln ist die Sequenz Γ∪Γ0 ⇒ ∆∪∆0 gültig.

(v) Sei Φ ⊆ AL eine endliche Menge von AL-Formeln, und sei ψ ∈ AL eine AL-Formel, so dass Φ |= ψ gilt. Dann ist Sequenz ¬ψ ⇒ {¬ϕ | ϕ ∈ Φ}

gültig.

(vi) Seien A und B zwei τ-Strukturen, so dass A ≡m B, aber A 6≡m+1 B, und sei ϕ ∈ FO(τ) ein Satz mit Quantorenrang qr(ϕ) = m+ 1. Dann gilt entweder A |= ϕ und B 6|= ϕ, oder A 6|= ϕ und B |= ϕ.

(vii) Sei τ eine endliche Signatur, und sei K eine FO-axiomatisierbare Klasse von τ-Strukturen, so dass alle Strukturen A,B ∈ K isomorph sind, also A ∼= B. Dann sind alle Strukturen aus K endlich.

(2)

12. Gruppenübung, Mathematische Logik, SS 2015

(viii) Seien A, B zwei τ-Strukturen, wobei τ endlich und relational ist. Sei ((ai,bi))i<m eine Partie aus dem Spiel Gm(A,B), die der Herausforderer gewinnt. Dann gilt A 6≡m B.

(ix) Sei Φ ⊆ FO(τ) eine unendliche, erfüllbare Menge von FO(τ)-Sätzen.

Dann gilt für jeden Satz ϕ ∈ FO(τ), dass Mod(Φ) 6= Mod(ϕ).

(x) Der Satz ϕ = ∀x∀y(x ·0 = yx ·1 = y ·y ∧0 = 1)∈ FO({·,0,1}) ist erfüllbar.

Referenzen

ÄHNLICHE DOKUMENTE

Timmermann SS 13 Ubung zur Mathematik f¨ ¨ ur Physiker II..

Beginnt man mit dem System β und nimmt zu diesem System alle diejenigen Mengen dazu, welche durch die Operatio- nen in (τ ii) und (τ iii) erzeugt werden, so ist das Ergebnis

We have measured the mass of the τ lepton from the pseudomass distributions of the hadronic τ decays recorded by the OPAL detector at LEP and obtained a result of. m τ = 1775.1

In order to suppress this background, the search is performed in events where the Higgs boson is produced together with two highly energetic jets emitted in the proton beam

c) Verwende Trakhtenbrots Theorem, um zu beweisen, dass die Menge aller FO(τ )-S¨atze, die kein endliches Modell besitzen, nicht rekursiv

(d ∗ ) Zeigen Sie, dass die Theorie der dichten linearen Ordnungen ohne Endpunkte Quantore- nelimination erlaubt. Hinweis: Benutzen Sie die disjunktive Normalform zur Darstellung

(a) Sei A n = (A, E) eine Struktur mit einer Äquivalenzrelation E, welche unendlich viele Äqui- valenzklassen hat, die alle die Größe

[r]