Frage zu Logik - was heisst das? |
24.11.2004, 22:07 | easytiger | Auf diesen Beitrag antworten » |
Frage zu Logik - was heisst das? Erstmal sorry für die dumme Frage - ich lerne gerade ein wenig Logik mit alten Übungsblättern und bin dort über ein Symbol gestolpert, mit dem ich nix anfangen kann. Leider ist es auch nicht im meinem Lehrbuch und da ich den Namen nicht weiss, kann ich auch im Netz nicht danach suchen. Es ist ein senkrechter Strich mit einem waagerechten daran, also etwa so: |- Es geht dabei um die Aussage ((A => B) ^ (B => C)) |- (A => C) Kann mir jemand kurz erklären, was das bedeutet? Vielen Dank. |
||
24.11.2004, 22:09 | Steve_FL | Auf diesen Beitrag antworten » |
ich kenne dieses Zeichen nicht, aber meiner Meinung nach könnte das soviel heissen wie: ist äquivalent oder so Denn wenn A, dann auch B. Wenn aber B dann auch C. Daraus folgt, dass wenn A dann C mfg |
||
24.11.2004, 23:35 | JochenX | Auf diesen Beitrag antworten » |
aber aus der rechten seite folgt nicht unbedingt das linke.... denn es kann ja sein, das B völlig unabhängig von A und C ist.... also keine äquivalenz.... deshalb würde ich einfach annehmen, es entspricht einem einfachgerichteten implikationspfeil (in diesem fall nach rechts). mfg und gute nacht, jochen |
||
24.11.2004, 23:48 | Tobias | Auf diesen Beitrag antworten » |
Gemeint ist wahrscheinlich das hier: Das bedeutet aus der linken Formel folgt die rechte. Aber nicht im Sinne einer Implikation sondern für jede Interpretation, die die Formel links erfüllbar macht wird auch die Formel rechts erfüllbar. Also |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
|
Die Neuesten » |
|