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?