theory:propositional_logic:sentential_connective

[Kerli]

Trotzdem erklärt das nicht "genau dann, wenn...".

Da fällt mir unser Beispiel aus der Schule ein:

Das Licht leuchtet genau dann, wenn der Schalter eingeschaltet ist.

[nufan]

Trotzdem erklärt das nicht "genau dann, wenn...".

Da fällt mir unser Beispiel aus der Schule ein:

Das Licht leuchtet genau dann, wenn der Schalter eingeschaltet ist.

Endlich mal ein wirklich logisches Beispiel *ins Wiki kopier*

[Xin]

Das Licht leuchtet genau dann, wenn der Schalter eingeschaltet ist.

Endlich mal ein wirklich logisches Beispiel *ins Wiki kopier*

Das ist aber auch ein ganz anderer Satz.

Während vorher (Wien an Donau) in Kombination zu (Graz an Mur) gesetzt wurde, ist die Beziehung jetzt (Ergebniszustand) genau dann, wenn Schalter == ein.

Die Wiener kacken in die Donau (Ergebnis) genau dann, wenn Wien an der Donau liegt - und zwar vollkommen unabhängig davon, ob die Grazer in die Mur oder in den Busch kacken.
Zugegebenermaßen scheiß Logik, aber so ist das nunmal

[Kerli]

Das ist aber auch ein ganz anderer Satz.

Während vorher (Wien an Donau) in Kombination zu (Graz an Mur) gesetzt wurde, ist die Beziehung jetzt (Ergebniszustand) genau dann, wenn Schalter == ein.

Eigentlich nicht genau. Du kannst ja auch in die andere Richtung schließen, weil wenn das Licht ein ist kann man auch daraus schließen das der Schalter ein ist und das gleiche auch mit aus.

Außer natürlich es gibt noch einen zweiten Schalter oder die Lampe ist kaputt

[Xin]

Das ist aber auch ein ganz anderer Satz.

Während vorher (Wien an Donau) in Kombination zu (Graz an Mur) gesetzt wurde, ist die Beziehung jetzt (Ergebniszustand) genau dann, wenn Schalter == ein.

Eigentlich nicht genau. Du kannst ja auch in die andere Richtung schließen, weil wenn das Licht ein ist kann man auch daraus schließen das der Schalter ein ist und das gleiche auch mit aus.

Der Schalter ist genau dann ein, wenn die Lampe brennt.
Der Wiener wohnt genau dann an der Donau, wenn er reinkackt.

Ich kann aber nicht vom Wohnort der Wienern schließen, dass Grazer an der Mur wohnen.

Der Schalter ist mit der Lampe verbunden. Der Wiener aber nicht mit dem Grazer, die sind unabhängig. Ob die Mur und die Donau verbunden sind, weiß ich nicht, ich war in Erdkunde immer schlecht.

[Kerli]

Der Schalter ist mit der Lampe verbunden. Der Wiener aber nicht mit dem Grazer, die sind unabhängig. Ob die Mur und die Donau verbunden sind, weiß ich nicht, ich war in Erdkunde immer schlecht.

Die Mur fließt in die Drau und die Drau in die Donau
Ist doch alles ganz logisch;)

Sonst zum Artikel. Der ist eigentlich schon einmal ganz gut. Nur für die Antivalenz müssen wir uns noch auf ein Symbol einigen. Dem Din Standart entsprechend sollte es eigentlich das Plus in dem Kreis sein. Und sonst, da es ja um die Informatik geht, können wir ja auch noch einfach 'xor' hinschreiben.

[Xin]

Sonst zum Artikel. Der ist eigentlich schon einmal ganz gut. Nur für die Antivalenz müssen wir uns noch auf ein Symbol einigen. Dem Din Standart entsprechend sollte es eigentlich das Plus in dem Kreis sein. Und sonst, da es ja um die Informatik geht, können wir ja auch noch einfach 'xor' hinschreiben.

⊕ sollte erwähnt sein, ansonsten sollte man von OR, AND XOR sprechen.

In welcher Art steht man denn als Din? Und wieso schreibst Du CamelCase in deutschen Texten?

[nufan]

Auch Wikipedia ist sich bei dem Zeichen nicht sicher:
http://de.wikipedia.org/wiki/Kontravale ... Aussprache

Und wieso schreibst Du CamelCase in deutschen Texten?

Ich? Wo? *verwirrt*

[Xin]

Auch Wikipedia ist sich bei dem Zeichen nicht sicher:
http://de.wikipedia.org/wiki/Kontravale ... Aussprache

Normal... das (entweder) oder ist eine große Schwäche in der Umgangssprache.
Aber daher finde ich das Kapitel wichtig, weil es für Ungeübte eben häufig den Unterschied von 'irgendwie machen' zu 'exakter Beschreibung'. Entwicklung hat nichts mit Knetgummi zu tun hat, wo man irgendwas zurechtdrückt und hier und da etwas dranpappt und dann war's das. Hier verstehen viele, dass Informatik eine exaktes Logikspiel ist.

Und wieso schreibst Du CamelCase in deutschen Texten?

Ich? Wo? *verwirrt*[/quote]
Ich bezog mich auf die Din Standart, die Kerli ins Spiel brachte.

Bei Dir fiel mir nur auf, dass Deine Rechtschreibprüfung leider nicht zwischen das und dass unterscheiden kann - ich habe es aber noch nicht korrigiert.
Wenn einiges da ist, lese ich mir das komplett durch und dass und das schreibe ich beim Tippen auch häufig falsch, obwohl ich die Regeln genau kenne.

[nufan]

Bei Dir fiel mir nur auf, dass Deine Rechtschreibprüfung leider nicht zwischen das und dass unterscheiden kann - ich habe es aber noch nicht korrigiert.

Mit IE geschrieben, nicht FF.

Zurzeit sitze ich nach einer Woche nur Ubuntu wieder mehr vor Vista. Muss zusehen, dass ( ) ich MathCad auf Wine installiere.