spieleprogrammierer.de - Forum und Wiki zur Spieleprogrammierung und Spieleentwicklung

Hierzu: Difference between material and logical implication

Zitat von »Mastermind«

Wenn ich einen Beweis führe behaupte ich automatisch dass die Umformungen die ich dort vorgenommen habe wahr sind. Deswegen brauche ich das Zeichnen nicht auch noch mit dieser Bedeutung zu belegen. Wenn ich die Korrektheit des Beweises prüfen will, muss ich nur prüfen ob die impliziert-Beziehungen wahr oder falsch sind.

In deinem Fall muss ich prüfen ob die Ausssage "A impliziert B ist wahr" wahr ist. Gewonnen ist dadurch eigentlich nichts.

Naja. Wenn du beides brauchst, dann ist das nicht unbedingt klar, was gemeint ist.

Wenn ich z.B so etwas habe:
§A \rightarrow B \rightarrow C§
Was ist denn jetzt damit gemeint?
§A\rightarrow B \Rightarrow C§
oder eben doch?
§A\rightarrow B \rightarrow C§
Wenn man die Unterscheidung macht, dann ist es klar, was gemeint ist ansonsten musst du die Zusatzinformation irgendwie sonst reinbringen, wenn du einen Beweis führst. Dass es nichts neues Beiträgt in dem Sinne ist klar, aber das tut vieles nicht, aber es macht es einiges einfacher.

Da sieht man mal wieder wie uneinheitlich die mathematische Sprache doch eigentlich ist.

Zitat von »kieni17«

verstehts koa steirisch ih red holt net so schwul noch da schrift wie eis

Sorry für den kurzen Post, aber:
Was?

"Versteht ihr kein Steiereisch? Ich rede halt nicht so schwul nach der Schrift wie ihr." - Hoffe das stimmt.
Ich denke aber, dass man schon etwas mehr Respekt zeigen sollte, wenn man eine Frage von anderen beantwortet haben will, die auch noch die eigenen Hausaufgaben betrifft!

1. Versteh ich nicht, wieso er hier plötzlich in irgendeinem unverständlichen Dialekt schreibt
2. Was das hier mit dem Forum zu tun hat
3. Warum er uns seine Aufgabe beantworten lässt, wenn er mit einer Googlesuche, oder wahrscheinlich auch einem Blick ins Skript die Frage selbst beantworten hätte können

Back To Topic:
Linksklammerung nicht vergessen... sollte man vielleicht auch noch erwähnen, ansonsten wurde die übliche Reihenfolge ja schon geschrieben, ist aber eh nur ne Definitionssache, damit man Klammern weglassen kann...

Ja, das ist äquivalent.

Zitat von »Mastermind«

Ach guck an. Ich dachte so sagt ein Österreicher "Ich bin ein unverschämter homophober Vollidiot".

A ge heast, des isch wida amol ur nationalistisch! Typisch pifkies!