0 Daumen
467 Aufrufe

Gegeben ist der Schluss:

(A xor ¬B)  (¬C  D)

∨ ¬D

----------------------

¬A xor B



Wie kann man dies nun beweisen o. ä.?

Muss ich jeweils in der Wahrheitstabelle nur die wahren Werte vergleichen muss und wenn diese bei beiden wahr sind, dann ist der Schluss wahr?

Avatar von

1 Antwort

+1 Daumen

Das über dem Srich sind ja wohl die Voraussetzungen.

Da steht ja C ∨ ¬D, dass ist genau die Negation von

der Conclusio der ersten Voraussetzungen.

Also kann die Praemisse in der ersten Voraussetzung nicht wahr, sein,

sondern ihr Gegenteil ist wahr.

Und das Gegenteil ist eben   ¬A xor B

Wenn du das mit Tabellen machst, wird das aber eine ganz schön große Tabelle,

würde ich nicht.


Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community