Implikation

[Der Martin]

Hallo,

Zur Frage von Martin, weshalb man überhaupt die Implikation definiert:
Ganz einfach, weil sie intuitiv ist.

das finde ich nicht - meine Intuition funktioniert anscheinend anders. ;-)
Intuitiv finde ich die Verknüpfungen UND und ODER, sowie die Negation. Alles andere lässt sich daraus ableiten (z.B. ein exklusives Oder), was aber nicht in jedem Fall sinnvoll sein muss.

Warum definiert man denn die anderen Operatoren. Die Implikation und die Konstante "false" würden ja auch reichen. ;-)

Ah ja? Das kann ich mir im Moment nicht vorstellen, habe aber nicht genug Interesse an der Theorie, als dass ich es verifizieren oder falsifizieren möchte.

Ciao,
 Martin