| Startseite | Impressum |
|
||
 |
SyntaktischeDie syntaktische Definition bezeichnet eine Definition, bei der ein Zeichen (oder eine Gruppe von Zeichen) durch ein anderes Zeichen ersetzt wird. Als Beispiel sei angenommen, die Aussenlogiksei in die Form eines abstrakten Kalkülsaufgestellt, so dass also nicht mehr die Gegenstände Aussagen, Aussagenverbindungen, Regeln über die Herstellung neuer Aussagenverbindungen u.a. sind, sondern nur noch Zeichen und Regeln über die Verknüpfung dieser Zeichen. Ferner soll angenommen werden, es seien bereits Zeichen für die logische Alternative und für die logische Negation gegeben. Soll nun die Implikation eingeführt werden, so könnte die durch die folgende syntaktische Definition geschehen:
|
