Vereinigung < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Aufgabe:
Zeigen sie das [mm] M_{1}und M_{2}\subseteq X^{*} [/mm] sind endscheidbare Mengen
Ist [mm] M_{1}\cup M_{2} [/mm] eine enscheidbare Menge?
Meine Lösung:
[mm] M_{1}\subseteq X^{*}\vee M_{2}\subseteq X^{*}\Rightarrow M_{1}\vee M_{2}\subseteq X^{*}
[/mm]
Ergebnis:
Dieser logische Ausdruck ergibt keine Tautologie, damit folgt daraus das die Vereinigung auf 2 endscheidbare Mengen keine endscheidbare Menge ergibt.
Ist die Aussage richtig. Ich bezweifle Meine Aussage
|
|
| |
|
Hi Christopf,
ich sehe die Sache so.
p bedeutet, [mm] M_{1} [/mm] ist entscheidbar und
q bedeutet, [mm] M_{2} [/mm] ist entscheidbar.
r bedeutet, [mm] M_{1} \cup M_{2} [/mm] ist entscheidbar
r = p [mm] \vee [/mm] q
Zur Tautologie:
p [mm] \wedge [/mm] q [mm] \to [/mm] r, also
p [mm] \wedge [/mm] q [mm] \to [/mm] p [mm] \vee [/mm] q
MfG dARKYman83
|
|
|
|
