Mathematik online lernen im Mathe-Forum. Nachhilfe online

Startseite » Forum » Aussagelogik Schlussfolgerung

Aussagelogik Schlussfolgerung

Universität / Fachhochschule

Sonstiges

Tags: Aussagelogik, logisches denken

levitar aktiv_icon

18:01 Uhr, 17.05.2017

Ich habe die Aufgabe

(A \to B) \to C

__{_}__{_}__{_}__{_}__{_}__{_}_

C

Mir ist klar, dass das ein falscher Schluss ist. Weil wir anscheinend den wahrheitswert von

B

nicht kennen.
Was ich jetzt nicht verstehe ist, warum kennen wir den wahrheitswert von

B

nicht ? Wie genau würde die wahrheitstabelle dazu aussehen? Und wie komme ich dann auf die richtige Schlussfolgerung ?

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich bräuchte bitte einen kompletten Lösungsweg." (setzt voraus, dass der Fragesteller alle seine Lösungsversuche zur Frage hinzufügt und sich aktiv an der Problemlösung beteiligt.)

ledum aktiv_icon

12:17 Uhr, 19.05.2017

Hallo
deine Aufgabenstellung ist unklar. Was soll die 2 te Zeile darstellen?
poste die Originalausgabe.
grüß ledum

ermanus aktiv_icon

13:34 Uhr, 19.05.2017

Hallo,
wir kennen den Wahrheitswert von

B

nicht, weil

B

in der Prämissenmenge
nicht separat vorkommt und leider auch nicht die Prämisse

A \to B

.

Um einen korrekten Schluss zu bekommen, musst du deine Prämissen vervollständigen.
Folgende Möglichkeiten hast du:

1. Du nimmst

A \to B

auf oder
2. Du nimmst

B

auf. In diesem Falle könntest du die Prämisse

A

sogar rauswerfen.

Eine triviale Lösung wäre natürlich auch:
du nimmst

C

auf, aber das ist so sicher nicht gewollt.

Mithilfe von Wahrheitstafeln kannst du das ja mal überprüfen:

[(A \to B) \to C) \land A] \to C

ist keine Tautologie.

[(A \to B) \to C) \land (A \to B)] \to C

ist Tautologie.

[(A \to B) \to C) \land B] \to C

ist Tautologie.

Gruß ermanus

Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.

1371728

1371417

	Status: nicht eingeloggt	Noch nicht registriert?