Prädikatenlogik negieren |
08.01.2018, 15:52 | Krischon | Auf diesen Beitrag antworten » | ||||
Prädikatenlogik negieren Moin, ich werde mit prädikatenlogischen Formeln nicht ganz warm. Übersetzen vom Text in Formel ist wesentlich leichter (bisher), als nur mit Formeln zu hantieren. Es geht um folgende Formel: Meine Ideen: So. wird zu . Dann habe ich eine Formel der Form , die ich negieren kann zu . (DeMorgan und Reformulation der Implikation) Ich Versuche das mal zu übersetzen: Falls das richtig sein sollte... Wie kann ich das noch vereinfachen? Lieben Gruß PS: Keine Ahnung, warum er Probleme bei der ersten Formel macht... Ich hab sie mal als Foto mit angehängt. |
||||||
08.01.2018, 17:23 | HAL 9000 | Auf diesen Beitrag antworten » | ||||
Altbekanntes Problem im Board: Der Parser durchsucht auch LaTeX-Formeln nach Smilies - und erkennt er einen wie bei dir :(, so stellt er ihn auch dar. Ausweg: Leerzeichen einbauen, d.h. : ( . |
||||||
08.01.2018, 20:39 | Dopap | Auf diesen Beitrag antworten » | ||||
RE: Prädikatenlogik negieren
bei dir ist anscheinend alles eine Formel Die erste "Formel" ist eine Aussage. ist ein logischerTerm. ist jetzt tatsächlich eine Formel, eine Tautologie. |
||||||
08.01.2018, 21:20 | Krischon | Auf diesen Beitrag antworten » | ||||
RE: Prädikatenlogik negieren
Falls unklar: Ich hab versucht die Prädikatenlogik mal in Aussagenlogik umzuwandeln, damit ich weiß, wohin ich arbeiten muss. Es geht eigentlich um das, was oben so blöd auseinandergerissen ist und ich nicht mehr editieren kann: Das möchte ich gerne negieren. Oben mein Ansatz. |
||||||
08.01.2018, 22:42 | Dopap | Auf diesen Beitrag antworten » | ||||
RE: Prädikatenlogik negieren Wenn die Aussagen A B C definiert sind, dann ist eigentlich kein Problem. Aber die Aussagen A B C sind aber im ganzen Text, voll mit und schwer auszumachen. Die Zuordnung der Mengen zu den Aussageformen ist mir nicht klar. Welche Menge gehört zu A? Was ist die Struktur? unter Verwendung von und könnte man das Ganze bestimmt lesbarer gestalten. |
||||||
08.01.2018, 22:47 | Krischon | Auf diesen Beitrag antworten » | ||||
RE: Prädikatenlogik negieren
Ich weiß ja nichtmal ob das überhaupt Sinn ergibt. Vielleicht kann man die ja auch ganz einfach direkt negieren (Die Lange Aussage). Einen Versuch habe ich unternommen, aber ob das so gelten kann...? |
||||||
Anzeige | ||||||
|
||||||
08.01.2018, 23:07 | Dopap | Auf diesen Beitrag antworten » | ||||
RE: Prädikatenlogik negieren
Meistens versteht man ja zuerst die Aussage und schreibt diese dann entsprechend auf. Geht hier aber nicht, da ich die Aussage nicht verstehe. Und eine formale direkte Negation ist mir bei der nicht einheitlichen Schreibmaschinen-Schreibweise schlecht möglich. sorry |
||||||
08.01.2018, 23:31 | Krischon | Auf diesen Beitrag antworten » | ||||
RE: Prädikatenlogik negieren
Ich versteh sie auch nicht wirklich. :P Macht aber ja nix. Vielleicht hat aber ja sonst jemand anderes ne Idee. |
||||||
09.01.2018, 18:15 | Dopap | Auf diesen Beitrag antworten » | ||||
ich habe mich erkundigt und HAL meint
was man auch so schreiben kann: |
||||||
09.01.2018, 23:23 | Dopap | Auf diesen Beitrag antworten » | ||||
[...] Es war ja die Negation der Aussage : gesucht, was formal erst mal zu und letztendlich zu führt. |
||||||
10.01.2018, 07:37 | Krischon | Auf diesen Beitrag antworten » | ||||
Ich bin nicht vertraut mit dem großen "und"-Zeichen. Dann dachte ich, dass die Umformung einer Implikation zu führt, dem Oder-Zeichen. So in etwa hab ich mir das dann auch rausgeschrieben (also mit dem Unterschied des und/oder).
(kopiert aus PM ; ) Mir ging es nur um Prädikaten-Aussagen, da ich Schwierigkeiten habe, die für mich verständlich zu übersetzen. Da hast du in vorherigem Post schon große Hilfe gezeigt, indem du die Logik mal in Worten formuliert hast Graphentheorie ist gar nicht Thema bei uns. (das ganze kommt aus den Diskreten Strukturen). Danke für deine Hilfe! Lieben Gruß Krischon |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|