Wahrheitstafel

[TobiasKa]

Ich muss eine Wahrheitstafel für einen Satz erstellen, aber weiß nicht wie die richtigen Verknüpfungen sind (und, oder, wenn..dann...). Erstmal der Satz:

Bogenhofen ist nicht die Hauptstadt von Oberösterreich und weil Bogenhofen die Hauptstadt von Oberösterreich ist, hat Bogenhofen eien Kanuclub.

es sind schonmal drei satzteile:

p: Bogenhofen ist nicht die Hauptstadt von Oberösterreich
q: und weil Bogenhofen die Hauptstadt von Oberösterreich ist,
r: hat Bogenhofen eien Kanuclub.

Wie gehts dann weiter?

[LimaX]

Bogenhofen hat keinen Kanuclub?

[Nina]

LOL Bogenhofen *prust* Es verfolgt mich selbst im TP *kleiner Insider*

[wys]

Ist lange her, aber vielleicht mal folgendes:

Im Grunde läßt sich der Satz ja in folgende (wahrheitsfunktionale) Aussagen umwandeln:

p, nicht-p, => r.

Das ist (junktoren-)logisch gültig (ex falso quodlibet). (Dein q ist hier nicht-p)

Schau vielleicht mal nach "Pradoxie der materialen Implikation", dürfte sich darüber aufschlüsseln lassen mit ww-Tabellen. Aber wie gesagt, lange her.

lg
wys

[TobiasKa]

(p) ^ (¬p -> r)
ich glaub so isses richtig.

dann q ist ja ¬p oder?

[offtopic]@nina: warst du mal im org bogenhofen[/offtopic]

[Nina]

[offtopic]@nina: warst du mal im org bogenhofen[/offtopic]

Ja, lang lang ist es her

[Strogij]

Hier gilt:

¬p ^ q => r

Also wenn p und ¬q wahr, dann ist auch r wahr.

Eine Wahrheitstafel für den indirekten Beweis habe ich angehängt.