Widerspruchsbeweis Aussagenlogik

Question

Ich müsste ein Widerspruchs Beweis aufstellen sprich.

p^-|q (Negation von q) =>p .

-| p ---> ( q ^ -|q)=>p 

Jetzt soll ich ein Widerspruchs Beweis herleiten.

Mein Prof gab mir ein Beispiel mit dem ich nicht viel anfangen konnte.

Der Apfel ist nicht rot --> 1/5 > 1/10-->Der Apfel ist rot.

Kann mir einer ein besseres Beispiel geben?

Comments

In der Symbolleiste des Eingabfeldes für Fragen gibt es eine Schaltfläche, die mit Ω beschriftet ist. Dahinter verbergen sich viele mathematikspezifische Sonderzeichen. Verwende diese um deine Formeln lesbarer zu gestalten.