a)
> Zeigen Sie, dass {false,→} vollständig ist.
Damit kann ich nichts anfangen, weil "false" für mich kein Operator ist.
Vielleicht sollst du zeigen, dass { ¬ , → } aussagenlogisch vollständig ist (?)
Da { ∧ ; ∨ } bekanntlich vollständig ist, genügt es dann zu zeigen, das sich ∧ und ∨ durch ¬ und → ersetzen lassen:
a b a∨b ¬a → b a∧b ¬(a → ¬b)
0 0 0 0 0 0
0 1 1 1 0 0
1 0 1 1 0 0
1 1 1 1 1 1
Gruß Wolfgang
