NOR-Bausteine und Prädikatenlogik
Der NOR-Baustein ist die Negation von "oder" - er gibt nur dann eine 1 aus, wenn beide Eingänge 0 sind. Das ist besonders in der Informatik wichtig, da damit alle anderen logischen Operationen dargestellt werden können.
Die Prädikatenlogik erweitert deine Werkzeugkiste erheblich. Ein Prädikat ist wie eine Schablone mit Lücken - "... ist satt" wird zu einer konkreten Aussage, wenn du "Carl" einsetzt: s(c).
Der Allquantor (∀) bedeutet "für alle gilt" und der Existenzquantor (∃) "es gibt mindestens einen". ∀x: L(x) heißt "alle Dinge sind leer", während ∃x: L(x) bedeutet "manche Dinge sind leer".
💡 Wichtig: Die Verneinung dreht Quantoren um - aus "alle" wird "mindestens einer nicht" und umgekehrt!
Diese Werkzeuge helfen dir dabei, präzise mathematische Beweise zu führen und komplexe Zusammenhänge zu verstehen.