Forum:  Aussagenlogik
Thema: \(\begingroup\) Formale Aussage in natürliche Sprache umwandeln.\(\endgroup\)
Themen-Übersicht
Definiton
Junior
Dabei seit: 19.08.2016
Mitteilungen: 8
Aus:
Themenstart: 2017-09-26 17:44

Sei folgende Aussage gegeben: <math>
\begin{document}
\begin{equation}

(( A \Rightarrow B) \wedge \neg A) \Rightarrow \neg B

\end{equation}


\end{document}</math>

Wobei A = "es regnet" und B = "die Strasse ist nass" bedeutet. Die Aufgabe ist es nun die Aussage (1) in natürliche Sprache zu übersetzen, dabei habe ich Schwierigkeiten bzw. bin ich mir nicht sicher. Mein Vorschlag ist: "Wenn es regnet ist die Straße nass und es regnet nicht daraus folgt, dass die Straße nicht nass ist"


StrgAltEntf
Senior
Dabei seit: 19.01.2013
Mitteilungen: 4526
Aus: Milchstraße
Beitrag No.1, eingetragen 2017-09-26 19:40

Hallo Definiton,

wenn du noch ein paar Satzzeichen spendierst, sieht das doch gar nicht so schlecht aus.




Dieses Forumbeitrag kommt von Matroids Matheplanet
https://https://matheplanet.de

Die URL für dieses Forum-Thema ist:
https://https://matheplanet.de/default3.html?topic=231111=1722
Druckdatum: 2018-12-13 10:06