Aussagen form., PL 1. Stufe < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 17:40 Sa 09.12.2006 | | Autor: | Denny22 |
| Aufgabe | Gegeben sind folgende Aussagen:
(1) "Jens wacht auf."
(2) "Jens holt einen Aufnehmer."
(3) "Wenn Jens aufwacht und sein Zimmer säubert, ist Jens Mutter erfreut."
(4) "Wenn Jens einen Aufnehmer holt, dann säubert er auch sein Zimmer."
Aufgabe:
Formalisiere die Aussagen in Prädikatenlogik erster Stufe. |
Hallo an alle,
es wäre sehr nett, wenn mir jemand bei dieser eigentlich sehr leichten Aufgabe behilflich sein könnte.
Ich bedanke mich für Eure Bemühungen.
P.S.: Diese Frage wurde in keinem anderen Forum und auf keiner anderen Internetseite gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:20 Mi 13.12.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
