Prädikatenlogik/ Relationen < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 23:01 Mi 14.12.2011 | | Autor: | eroveli |
Hi,
ich schreibe morgen ein Mathe Test den ich bestehen muss um überhaupt die Matheprüfung mitschreiben zu dürfen.
Und ich hänge an einer Aufgabe und bräuchte da eure Hilfe.
Aufgabe:
Finden Sie eine Aussage A(x,y), so dass [mm] \vee_{x} \wedge_{y} [/mm] A(x, y) => [mm] \wedge_{y} \vee_{x} [/mm] A(x, y) anwendbar ist.
Mein erster Gedanke(ich bin total planlos):
WENN für alle x gibt es eine Aussage x und es existiert ein y für die Aussage y Dann existiert ein y für die Aussage y und für alle x die Aussage x.
oder
WENN für alle x ein y existiert für die Aussage x,y DANN existiert ein y für alle x für die Aussage x,y
also formuliert als Satz :
,, Wenn es für jeden jemanden gibt der ihn/sie liebt, dann gibt es jemanden der alle liebt."
Jetzt meine Frage, damit ich zum zweiten Schritt kann. Hab ich die Formulierung richtig gelesen oder liege ich total falsch?
Habe ich die Frage auch ganz verstanden?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Fr 16.12.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
