Prädikatenlogik < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 20:04 Sa 22.01.2011 | | Autor: | jop |
[mm]\forall x \forall y ((S(x) \wedge R(y))\to \neg P(x,y)[/mm] Hab mehrere solcher Formeln vorliegen und daraus soll ich Beispielsätze erfinden. Weiß nicht wirklich wie ich da vorgehen soll. Wäre sehr dankbar wenn mir jemand bei dem ersten helfen könnte!
Und noch eine frage könnte man den Satz: ,,Ein Spieler löst alle Aufgaben.´´ Übersetzen:[mm]\exists x \forall y ( S(x) \wedge L (x,y))[/mm]
Hab da noch Schwierigkeiten und wäre froh über jede hilfe.
lg
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:56 Sa 22.01.2011 | | Autor: | Theoretix |
Hi, bei diesen Formalisierungen ist es immer praktisch, wenn du explizit angibst, welche Variable für was steht: Es scheint intuitiv klar zu sein, aber dann kann man sich leichter verständigen!
Gruß
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 20:22 Di 25.01.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
