|
Guten Tag,
"Da Michael oder Moritz auf den Hund aufpassen muss, kann höchstens einer von beiden am Wochenende rausgehen"
Meine Aussagenlogische Modellierung:
Michael kann am Wochenende rausgehen Moritz kann am Wochenende rausgehen
ist das korrekt ??
|
|
|
. .
und zugleich
|
|
respektive XOR
|
|
könntest du statt "zugleich" deine aussage mit logischen Formeln formulieren?
|
|
Danke, Respon. Jetzt kenne ich endlich das Zeichen für das exklusive ODER. :-)
|
|
In der standardisierten Schreibweise sieht es so aus ( siehe Bild ). Falls ihr das nicht verwendet, nimm Supporters Darstellung:
|
|
Das ist also die Aussagenlogische Definition von der Obigen Aussage? Könntest du mir bitte kurz erläutern wie du darauf kommst? wäre sehr hilfreich
|
|
Siehe supporter: Es handelt sich hier um das exclusive ODER. ( "normalerweise" schließt das logische ODER drei Möglichkeiten ein: oder oder beide. Die dritte Möglichkeit soll lt. Angabe ausgeschlossen werden.)
|
|
Danke dir, habs jetzt verstanden :-)
|
|
Dank gilt supporter.
|
|
"Falls Robin nicht den ersten Termin nutzt, dann nutzt Mirko im Gegensatz zu Florian den ersten Termin."
Könntest du mir eventuell helfen diesen Satz aussagenlogisch zu modellieren?
|
|
Ich würde diesbezüglich sagen:
Robin nimmt ersten Termin Florian nimmt ersten Termin Mirko nimmt ersten Termin
¬ ∧ ¬
|
|
Genau das hatte ich auch als Ergebnis heraus, das war ne Bestätigung, vielen vielen Dank !
|
|
Genau das hatte ich auch als Ergebnis heraus, das war ne Bestätigung, vielen vielen Dank !
|
|
Kein Problem ;-)
|
|
¬ R⇒(M ∧ ¬
Ich hatte es noch eingeklammert, spielt aber keine Rolle oder ? :-)
|
|
Spielt keine Rolle: Es gilt "Nicht" vor "Und/Oder" vor "Implikation/Aquivalenz/Subjunktion/Bijunktion"
|
|
Alles Klar, vielen dank :-)
|
anonymous
08:46 Uhr, 12.11.2017
|
Hallo Ich muss nochmals auf die erste Aufgabe zurückkommen: "Da Michael oder Moritz auf den Hund aufpassen muss, kann höchstens einer von beiden am Wochenende rausgehen"
Achtung! xor ist NICHT die Lösung. Exklusiv-Oder besagte, dass genau einer von beiden rausgeht. Die Aufgabe aber lautet 'HÖCHSTENS'. . es ist auch möglich, dass beide zu Hause bleiben. Diesen Fall schließt xor aber aus.
Ich schlage vor: NICHT(M
|
|
Habe ich nicht bedacht ! Na ja, Logik halt.
|