Wie zeigt man die funktionale Vollständigkeit von {¬,→} ?
Danke.
Eine Menge von Junktoren heißt funktional vollständig , wenn mit ihrer Hilfe alle möglichen Wahrheitswertfunktionen ausgedrückt werden können !Das ist hier der Fall !
