0 Daumen
535 Aufrufe

Zeigen Sie durch Rückführung auf die Definition, dass für beliebige Formeln F und beliebige Interpretationen I = (A, α) die folgende Äquivalenz

gilt: A |= α ∃x.∃y.F <=> A |=α ∃y.∃x.F


Hallo,

das ist die letzte Aufgabe für dieses Jahr und leider weiß ich nicht wei ich die machen soll. Wenn sich jemand in Logik auskennt würde ich mich über eine Hilfe freuen.

LG

Avatar von

1 Antwort

0 Daumen

Sei A |=α ∃x.∃y.F.

Sei a ∈ A , so dass A |= α[x→a] ∃y.F gilt. Ein solches a existiert laut Semantik der Prädikatenlogik.

Dabei ist α[x→a] die Belegung, die man aus α erhält indem man der Variablen x den Wert a zuweißt.

Sei b ∈ A , so dass A |= α[x→a,y→b] F gilt. Ein solches b existiert laut Semantik der Prädikatenlogik.

Dann ist A |= α[y→b] ∃x.F und somit auch A |= α ∃y.∃x.F

Avatar von 5,7 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community