Mindestens 2 logisch < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 13:37 Fr 15.11.2013 | | Autor: | Inno1001 |
| Aufgabe | | Drücken Sie "Es gibt mindestens zwei verschiedene x mit A(x)" in logischer Symbolik aus. Dabei drüfen Sie die Aussageform E(x,y):= "x=y" verwenden. |
Mein Ansatz an die Aufgabe wäre zu sagen:
[mm] (\exists x_{1})(\exists x_{2}) [x_{1}\not=x_{2}|A(x)]
[/mm]
mich verwirrt an der ganzen Sache, aber dieses Sie dürfen die Aussageform... verwenden, weil dann muss man die meistens auch verweden und ich sehe noch nicht wie?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
> Drücken Sie "Es gibt mindestens zwei verschiedene x mit
> A(x)" in logischer Symbolik aus. Dabei drüfen Sie die
> Aussageform E(x,y):= "x=y" verwenden.
> Mein Ansatz an die Aufgabe wäre zu sagen:
>
> [mm](\exists x_{1})(\exists x_{2}) [x_{1}\not=x_{2}|A(x)][/mm]
>
> mich verwirrt an der ganzen Sache, aber dieses Sie dürfen
> die Aussageform... verwenden, weil dann muss man die
> meistens auch verweden und ich sehe noch nicht wie?
>
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
Lustigerweise gibt Latex hier schon einen Hinweis, wenn du x_1 \not =x_2 schreibst. Hier kannst du [mm] $E(x_1, x_2)$ [/mm] also verwenden, indem du es negierst.
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 16:35 Fr 15.11.2013 | | Autor: | Inno1001 |
öhm, kannst du mir sagen, ob meine Überlegung stimmt, oder ob das kompletter Unsinn ist, oder ob das zwar stimmt, aber noch nicht reicht?
|
|
|
| |
|
Hallo,
> öhm, kannst du mir sagen, ob meine Überlegung stimmt,
> oder ob das kompletter Unsinn ist, oder ob das zwar stimmt,
> aber noch nicht reicht?
das was im Startbeitrag steht? Das reicht schon, aber es wurde ja schon gesagt, dass du
[mm] x_1\ne{x_2}\gdw\neg [x_1=x_2]
[/mm]
verwenden sollst (das ist zumindest für mich der Sinn und Zweck den Hinweises).
Wo ich mir jetzt nicht sicher bin, ob das gebräuchlich ist, aber wir hätten fürher zu Beginn
[mm] \exists{x_1,x_2}
[/mm]
schreiben dürfen. Deine Version ist da jedoch sicherlich auch nicht verkehrt.
Gruß, Diophant
|
|
|
|
