Einsetzen: in einer Formel kann ein Symbol unter bestimmten Voraussetzungen für ein anderes Symbol eingesetzt werden. Bsp Wird eine Konstante für eine Variable eingesetzt, wird aus einer Aussagenfunktion eine Aussage. Siehe auch Ersetzen, Ersetzbarkeit, Substitution, Allgemeingültigkeit, Gültigkeit, Aussage, Aussagenfunktion, Feinkörnig/grobkörnig, Logische Formeln, Formeln._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|