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 !
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
