Übersetzung von natürlicher Sprache in formale Spr… Übersetzung von formaler Sprache in natürliche Sprache
Bei der Übersetzung einer Aussage in natürlicher Sprache in eine formale Aussage kann man ebenfalls die Tabelle der vorhergehenden Seite benutzen. Eventuell müssen die Aussagen erst geeignet umformuliert werden.
Beispiel:
Wir übersetzen die Aussage
\(\qquad\) | \(((a < b) \land (b < c))\) \( \implies (a < c)\) |
in natürliche Sprache.
Zuerst übersetzen wir die Implikation \(\implies\):
\(\qquad\) | Wenn \((a<b) \land (b<c)\), dann \((a<c)\). |
Nun übersetzen wir die Konjunktion \(\land\):
\(\qquad\) | Wenn \((a<b)\) und \((b<c)\), dann \((a<c)\). |
Nun entfernen wir noch die unnötigen Klammern:
\(\qquad\) | Wenn \(a<b\) und \(b<c\), dann \(a<c\). |
\(\enspace\)