Verwendet: Prinzip des Äquivalenzbeweises und ((A => B) ∧ (B => C)) => (A => C)Hier mit einer Wahrheitstafel zu beweisen wäre unsinning, da es ja ein Beweis durch Ringschluss ist. Trotzdem habe ich mal eine Wahrheitstafel erstellt.A => B B => C A => C w w w f w w f f f w f fEhrlich gesagt finde ich meinen Beweis ziemlich fragwürdig.Fühle mich da noch sehr unsicher (Zweiter Uni Tag :-D).
"Folgendes ist zu zeigen: A1 => A2 => … => An => A1"
Das ist tatsächlich ein Ringschluss.
Wenn man alle ' => ' beweist, hat man bewiesen, dass alle Aussagen äquivalent [<=> !] sind.
Man erspart sich also jeweils den Nachweis der Umkehrrichtung.
Aber irgendwie hat das mit dem Rest, den du schreibst, nichts zu tun!
Es ist leider völlig unklar, welche Aussage du eigentlich beweisen willst !?
Das A1 => A2 => … => An => A1 gilt
Ob eine Aussage " A1 => A2 => … => An => A1" wahr ist, kannst du erst überprüfen, wenn du die einzelnen Aussagen A1 ..... An kennst.
Die Gültigkeit des Beweisverfahrens 'Ringschluss' ist unmittelbar einsichtig.
Danke Wolfgang. Ich war deswegen verwirrt, da unser heutiger Kursleiter geschreiben hat "Zeige, dass".Ich habe mir auch vorher gedanken gemacht, was ich daran überhaupt zeigen soll.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos