0 Daumen
3k Aufrufe

Hey :-)

Der Ringschluss besagt:

A1 <=> A2 <=><=>  An

Folgendes ist zu zeigen
: A1 => A2 => => An => A1

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                            f


Ehrlich gesagt finde ich meinen Beweis ziemlich fragwürdig.
Fühle mich da noch sehr unsicher (Zweiter Uni Tag :-D).

Avatar von

1 Antwort

+1 Daumen
 
Beste Antwort

"Folgendes ist zu zeigen: A=> A=>  => A=> 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!

Avatar von 86 k 🚀
Mein Problem ist hier, wie ich " => " beweise, daher habe ich die Wahrheitstafeln verwendet.
Jedoch war mein Ansatz falsch.

Es ist leider völlig unklar, welche Aussage du eigentlich beweisen willst !?

Das A=> A=>  => A=> A1 gilt

Ob eine Aussage " A=> A=>  => A=> 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?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community