Auch: Formale Logik, Mathematische Logik. Eine stark abstrahierende Form der Logik. Diese baut auf einer künstlichen Sprache auf und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussage...
Gefunden auf
https://www.computer-automation.de/lexikon/?s=2&k=S&id=28889&page=1
Auch: Formale Logik, Mathematische Logik. Eine stark abstrahierende Form der Logik. Diese baut auf einer knstlichen Sprache auf und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik. Die Logik hatte nicht immer eine in diesem Sinne formale Struktur, sonder...
Gefunden auf
https://www.elektroniknet.de/lexikon/?s=2&k=S&id=28889&page=1
Statt sprachlicher Ausdrücke für die Formulierung von Behauptungen und Beziehungen verwendet die symbolische Logik Symbole zur Darstellung kausaler Beziehungen und Folgen. Siehe auch: formale Logik, geteilte Logik, negative Logik, positive Logik, stromgesteuerte Logik.
Gefunden auf
https://www.enzyklo.de/Lokal/40004
Subst. (symbolic logic) Eine Darstellung kausaler Beziehungen und Folgen unter Verwendung von Symbolen anstelle sprachlicher Ausdrücke für die Formulierung von Behauptungen und Beziehungen. ® siehe auch Logik.
Gefunden auf
https://www.enzyklo.de/Lokal/40099
Keine exakte Übereinkunft gefunden.
