Wieso ~ für die Negation?

[KatinkaMeer]

In Max, Min, Step müssen Formeln angegeben werden, dabei wird ~ für die Negation gefordert. Wieso nicht - ? Das wäre sowohl intuitiver als auch einfacher einzugeben.

[jvoigtlaender]

Hmm, da bin ich mir nicht sicher. Zum einen sieht - eben nach Minus aus, und könnte Neulinge eher verwirren durch "Verwechslung" logischer mit arithmetischen Operationen. Die Idee des ~ ist sicher, dass es ein Stück weit wie aussieht.

[jvoigtlaender]

Andererseits scheint etwa Prover9, den wir vielleicht irgendwann mal zur Demonstration in der Lehrveranstaltung benutzen werden, und uns also an dessen Eingabesprache orientieren könnten, tatsächlich - für logische Negation zu benutzen.

In Prolog wird \+ als Symbol für logische Negation genutzt.

@owestphal, was denkst du?

[jvoigtlaender]

Prover9 syntax:

[owestphal]

Prinzipiell finde ich ~ am Besten, auch weil es durch kein bekanntes Konzept überladen ist.

Es muss natürlich nicht nur eine Möglichkeit geben. Es könnte ja zum Beispiel sowohl ~ also auch nicht und not zulässig sein.

Siehe auch erster Google-Treffer für "truth table generator" :)

[KatinkaMeer]

Finde not auch gut.