Aussagenlogik - natürlichsprachlichen Text formalisieren / Tautologien finden |
| 19.10.2013, 19:47 | All_That_Remains | Auf diesen Beitrag antworten » |
| Aussagenlogik - natürlichsprachlichen Text formalisieren / Tautologien finden es geht um folgende Aufgabe, bei der ihr mir hoffentlich helfen könnt: "Angenommen Sie haben eine Datenbank, in der alle Studierende der Universität und Angaben über Alter, Semesterzahl etc. gespeichert sind.Nun stellen Sie Anfragen an diese Datenbank. Von welchen der folgenden Anfragen k önnen Sie die Antwort (Ja/Nein) der Datenbank vorhersagen?" "Ist es richtig: Wenn die durchschnittliche Semesterzahl der Studentinnen höher ist als die der Studierenden mit Geburtsort Berlin, dann ist die durchschnittliche Semesterzahl der (männlichen) Studenten niedriger als die der Studierenden, die nicht in Berlin geboren sind?" Wie im Betreff schon angegeben handelt es sich um eine Aufgabe aus der Aussagenlogik. Um die Antwort der Datenbankabfrage schon vorher zu können, muss es sich um eine Tautologie (oder Antilogie) handeln. Die Anfrage ist von der Form bzw mit A = durchschn. # Sem. Studentinnen > durchschn. # Sem. Stud. geb. in Berlin und B = durchschn. # Sem. Studenten (m) < durchschn. # Sem. Stud. nicht in Berlin geb. Da es mir bisher nicht gelungen ist, ein Beispiel zu konstruieren, wo falsch ist, gehe ich davon aus, dass es sich um eine Tautologie handelt. Allerdings kann ich es leider nicht beweisen. Am liebsten würde ich die Aussagen A und B in atomare Formeln zerlegen und dann mittels einer Wahrheitstafel meine Annahme verifizieren, aber bisher konnte ich keine Zerlegung finden ... sind daher A und B vllt schon atomar? Als vielversprechendster Ansatz erscheint mir bisher anzunehmen, dass gilt, d.h. = # Sem. weibl. > # Sem. geb. Berlin und = # Sem männl. > # Sem. nicht geb. Berlin, und das zu einem Widerspruch zu führen. (alle Studentinnen und Studenten zusammen müssen ja im Durchschnitt gleich lange studieren, wie alle, die aus Berlin und woanders her kommen). Da es sich hier leider um durchschnittliche Semesterzahl (= Mittelwert) handelt, kann ich ja bekanntlich nicht einfach beide addieren und dann durch 2 teilen ... Hat jemand von euch eine Idee? |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
| Die Größten » |
|
| Die Neuesten » |
|
