quantoren |
| 31.01.2005, 15:35 | way | Auf diesen Beitrag antworten » | ||
| quantoren ich soll folgende aussagen formalisieren: "es gibt kein übungsblatt, auf dem jede aufgabe für jeden studenten lösbar ist" "in jeder universitätsstadt gibt es wenigstens einen vermieter, der kein zimmer an studenten vermietet" "es gibt sätze, dir für (mindestens) einen zuhörer unverständlich sind, aber weder ausschliesslich fremdwörter enthalten noch mehr als 100 wörter lang sind" kennt sich jemand damit aus? ich weiss zwar umgefähr wie das geht, aber nicht zu 100% danke im vorraus |
||||
| 31.01.2005, 15:47 | JochenX | Auf diesen Beitrag antworten » | ||
na dann poste mal deine bisherigen ideen. die quantoren kannst du mithilfe von ("\not") "\exists" und ("\not") "\forall" im latex machen.... mfg jochen |
||||
| 31.01.2005, 15:49 | Tobias | Auf diesen Beitrag antworten » | ||
Sollst du das in Prädikatenlogik formulieren oder einen Misch-Masch aus Quantoren und nicht-formaler Sprache machen?
Formuliere den Satz so um: Für ALLE Studenten EXISTIERT eine Aufgabe in JEDEM Übungsblatt die NICHT LÖSBAR ist. |
||||
| 31.01.2005, 15:49 | Mazze | Auf diesen Beitrag antworten » | ||
Zeig doch mal deine Versuche! ich würd erstmal anfangen die einzelnen Teile in aussagenlogische Formeln umzuwandeln, etwa es gibt Kein Übungsblatt so dass phi kann man auch so schreiben wobei phi dann der nächste Schritt wäre, also die Studenten. |
||||
| 31.01.2005, 16:00 | Tobias | Auf diesen Beitrag antworten » | ||
Meinst du mit nächster Schritt, dass es sogar Modallogik wird? |
||||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
