Informatiker Board | Theoretische Informatik | wohlgeformte formeln

Informatiker Board » Themengebiete » Theoretische Informatik » wohlgeformte formeln » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 3 Beiträge
newsys	Ok - danke!
Tobias	Vorweg: Ja, so kann man es machen. Du gehst von innen nach außen vor. Eine zweite Möglichkeit ist von außen nach innen. Dabei gehst du zuerst einmal davon aus, dass die inneren (komplexen) Formeln wohlgeformt sind und entscheidest, ob die nächst äußeren Formeln konstruierbar sind. In konkreten Fall: Annahme: X = (A ^ B) und C sind wohlgeformte komplexe Formeln. (XC) entspricht keiner gültigen Regel. => Ausdruck nicht wohlgeformt
newsys	wohlgeformte formeln Hallo allerseits, ich habe diese Aufgabe: Beweisen Sie, dass die Zeichenkette $[latex]((A\wedge B)C)[/latex]$ kein wohlgeformter Ausdruck der Aussagenlogik ist. Ich habe es nun so gemacht: Definition 2.2 nach Script Kap 2. Aussagenlogik-Syntax[12]: Die wohlgeformten Ausdrücke der Aussagenlogik (Formeln) sind induktiv definiert: 1. Alle Aussagensymbole sind (atomare) Formeln. Beispiel: A,B,C,D,... 2. Falls F und G Formeln sind, so sind $[latex](F\wedge G),(F\vee G),(F\Rightarrow G) und (F\Leftrightarrow G) [/latex]$ (komplexe) Formeln. 3. Falls F eine Formel ist, so ist auch $[latex]\neg F[/latex]$ eine (komplexe) Formel. 4. Es gibt keine anderen Formeln, als die, die durch endliche Anwendungen der Schritte 1-3 erzeugt werden. A ist eine atomare Formel (Definition 2.2.1), da es ein Aussagensymbol ist. B ist ebenfalls eine atomare Formel (Definition 2.2.1), da es ein Aussagensymbol ist. Somit ist auch $[latex](A\wedge B)[/latex]$ eine Formel. (Definition 2.2.2) C ist eine atomare Formel (Definition 2.2.1), da es ein Aussagensymbol ist. Aber: $[latex]((A\wedge B)C)[/latex]$ ist kein wohlgeformter Ausdruck der Aussagenlogik, da zwischen der ersten geschlossen Klammer und dem C kein Operand vorhanden ist. Somit kann man $[latex]((A\wedge B)C)[/latex]$ nicht durch endliche Anwendungen der Schritte 1-3 erzeugen. Kann ich das so machen? Gibt es eine andere Art diese Aufgabe zu lösen?