Aussagenlogik |
26.12.2013, 12:49 | olaei | Auf diesen Beitrag antworten » |
Aussagenlogik Hallo Leute, ich muss das, was im Bild ganz oben steht, "ausrechnen" und eine einfachere Schreibweise überführen: http://s1.directupload.net/images/131226/yymqqnow.jpg Meine Ideen: Das ausgerechnete ist umkreist. Meine einfachere Schreibweise lautet: (A => B) ^ (B <=> C) Habe ich alles richtig gemacht? Schonmal vielen Dank ! :-) |
||
26.12.2013, 13:46 | Adramelec | Auf diesen Beitrag antworten » |
Hi! In deiner ursprungs-aussagenlogischen Satz machst du etwas mehr Klammern zu als auf. Ich nehme mal an das A und besonders das nicht_A stehen außerhalb der Klammer? Falls ja, dann ist dein Ausganssatz immer wahr. Denn schlussendlich wird ja mittels oder A und nicht A verknüpft. Und A und nicht A ist immer wahr. War dir das bewusst? (Ich sehe leider ja nicht alle Notizen von dir) Wenn ja, dann wäre eine verkürzte Schreibweise das: A v ~A. Das ist auch immer wahr. |
||
26.12.2013, 14:05 | olaie | Auf diesen Beitrag antworten » |
Hallo, vielen Dank für die schnelle Antwort. Ich habe ausversehen am Ende eine Klammer zu viel. A und nicht_A sind beide außerhalb der Klammer, das ist richtig. Mir ist etwas unklar, wieso man einfach das in der Klammer nicht beachtet und sagt, dass A sowieso mit nicht A verknüpft wird. Ich bekomme ja durch Verknüpfung von A mit dem was in der Klammer steht etwas raus und dieses Ergebnis muss ich dann mit nicht A verknüpfen oder? |
||
26.12.2013, 14:29 | Adramelec | Auf diesen Beitrag antworten » |
Okay, ich probiers mal zu erklären: Du kriegst verschieden Wahrheitswerte aus den "mittleren" teil also alles innerhalb der Klammer raus. z.B. das: 0100 (ich weiß das sind nur 4 wahrheitswerte, zur veranschaulichung reichts) nun verknüpft du die mit einem A und als Operanten ein Oder. Das A sieht so aus: 1100 und nun mit oder: 1100 (A) 0100 (ergebnis aus mittleren) = 1100 (Das heißt die Werte von A sind auf jeden Fall dabei... Und dein ~A sieht natürlich so aus: 0011 und nun machst du mit dem wieder eine oder verknüpfung: 1100 (das Ergebnis von deiner oder verknüpfung (das _mindestens_ A enthält) 0011 (nicht A) = 1111 (weil A und ~A auf jeden Fall immer wahr ist) Und genau das gleiche passiert bei deinem (wenn auch mit mehr Wahrheitswerten) Beispiel auch. Konnte ich helfen? |
||
26.12.2013, 14:44 | olaie | Auf diesen Beitrag antworten » |
Danke dir, aber ich kann das irgendwie überhaupt nicht nachvollziehen... Nehmen wir mal folgendes Gegenbeispiel: A -A 1 0 1 0 0 1 0 1 Klammerteil (M) ergibt (beispielsweise): 0010 1 1 0 0 (A) oder 0 0 1 0 (M) = 1 1 1 0 1 1 1 0 oder 0 0 1 1 (-A) = 1 1 0 1 Hier kommt nicht 1 1 1 1 raus. |
||
26.12.2013, 14:56 | Adramelec | Auf diesen Beitrag antworten » |
warum genau ist bei dir nicht 1 oder 1 = 1? |
||
Anzeige | ||
|
||
26.12.2013, 15:01 | olaie | Auf diesen Beitrag antworten » |
Ich habs verstanden, vielen Dank! Da erstmal draufzukommen ... Bei meiner umkreisten Lösung habe ich dann den selben Fehler gemacht... Danke!!! |
||
26.12.2013, 15:03 | Adramelec | Auf diesen Beitrag antworten » |
Freut mich wenn ich helfen konnte, dann noch viel Spaß und ein schönen Tag! |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|