Symbol-Logik

См. также в других словарях:

• Symbol — des Sternbildes Löwe Der Terminus Symbol (aus dem Griechischen: Etwas Zusammengefügtes) oder auch Sinnbild wird im Allgemeinen für Bedeutungsträger (Zeichen, Wörter, Gegenstände, Vorgänge etc.) verwendet, die eine Vorstellung meinen (von etwas,… …   Deutsch Wikipedia

• Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 …   Universal-Lexikon

• Symbol — Zeichen; Vorzeichen; Signal; Piktogramm; Ikon; Bildzeichen; Token; Markierung; Merkmal; Emblem; Wahrzeichen; Hoheitszeichen; …   Universal-Lexikon

• Religiöses Symbol — Symbol des Sternbildes Löwe Der Terminus Symbol (aus dem Griechischen: Etwas Zusammengefügtes) oder auch Sinnbild wird im Allgemeinen für Bedeutungsträger (Zeichen, Wörter, Gegenstände, Vorgänge etc.) verwendet, die eine Vorstellung meinen (von… …   Deutsch Wikipedia

• Formales System (Logik) — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …   Deutsch Wikipedia

• Variable (Logik) — Variable bezeichnet in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.[1] Im Gegensatz zu logischen Konstanten haben Variablen „keine selbständige Bedeutung“[2] und sind… …   Deutsch Wikipedia

• Transistor-Transistor-Logik — Die Transistor Transistor Logik (TTL) ist eine Schaltungstechnik (Logikfamilie) für logische Schaltungen (Gatter), bei der als aktives Bauelement der Schaltung planare npn Bipolartransistoren verwendet werden. Meist wird am Eingang ein… …   Deutsch Wikipedia

• Lineare temporale Logik — (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL können Formeln über die Zukunft von Pfaden aufgestellt werden, beispielsweise dass eine Bedingung irgendwann wahr wird oder eine Bedingung wahr… …   Deutsch Wikipedia

• Vollständigkeit (Logik) — Man bezeichnet ganz unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle mit dem Begriff Vollständigkeit. Zur Unterscheidung werden die Begriffe Vollständigkeit von Theorien Vollständigkeit von Sequenzenkalkülen verwendet. Daneben wird… …   Deutsch Wikipedia

• Funktor (Logik) — In der Logik wird unter einem Funktor gewöhnlich ein Operator verstanden, der – je nach Stelligkeit – auf einen oder mehrere singuläre Terme (Variable, Nominatoren oder funktorielle Terme) angewendet wird und wiederum einen singulären Term… …   Deutsch Wikipedia

• Formelsammlung Logik — Inhaltsverzeichnis 1 Aussagenlogik 1.1 Die Wahrheitstafeln der Junktoren 1.2 Logische Grundgesetze 1.3 Implikation …   Deutsch Wikipedia