Übersetzung für 'Aussagenlogik' von Deutsch nach Russisch

Aussagenlogik {f}

логика {ж} высказываний

• Aufgrund der Tatsache, dass die Aussagenlogik eine echte Teilmenge der Prädikatenlogik 1.
• In der Aussagenlogik nennt man diese Regeln Resolutionsregeln.
• Es handelt sich also nicht um eine Aussagenlogik, sondern um eine Term- oder "Begriffslogik".
• Durch die Beschränkung auf endliche Universen kann eine Spezifikation in "Alloy" in eine Formel der Aussagenlogik transformiert werden.
• Das Negationszeichen (auch logisches Nicht) „¬“ ist in der Aussagenlogik das Zeichen für die Negation.

• Die Schaltalgebra ist isomorph zur Aussagenlogik. Deshalb werden in ihr die typischen Begriffe und Operatornamen der Aussagenlogik benutzt, und der Begriff „Logik“ kennzeichnet oft die verwendeten technischen Elemente (z. ...
• Die folgenden fünf Regeln stammen aus der traditionellen Aussagenlogik, deren Tradition spätestens in der Stoa (megarische Aussagenlogik) beginnt.
• Die Verteidiger der Aussagenlogik griffen Collingwood ihrerseits scharf an.
• Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
• Mit den beiden Verknüpfungen der Alphagraphen, der Verneinung (dem Cut) und der Und-Verknüpfung (Aufschreiben mehrerer Aussagen auf dem Annahmeblatt) lassen sich – wie für das Konditional und die Disjunktion beispielhaft gezeigt wurde – alle anderen Verknüpfungen der zweiwertigen Aussagenlogik darstellen (siehe funktionale Vollständigkeit von Junktoren).

• 1935 hat Jan Łukasiewicz als erster den eigenständigen Charakter und Wert der stoischen Logik herausgearbeitet, bei der es sich im Unterschied zur einflussreicheren aristotelischen Logik nicht um eine Begriffslogik, sondern um eine Aussagenlogik handelte.
• Verknüpfungstafeln treten zum Beispiel in der Aussagenlogik in Form von Wahrheitstafeln auf.
• Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen.
• Damit können auch mögliche Junktoren als Wahrheitsfunktion aufgefasst werden; dies kennzeichnet die klassische Aussagenlogik und setzt sie zum Beispiel von der modalen Aussagenlogik ab.
• 3-SAT ist eine Variante des Erfüllbarkeitsproblems der Aussagenlogik (von [...] ‚Erfüllbarkeit‘, kurz "SAT").

• Das logische System [...] hat ähnliche Eigenschaften wie die klassische Aussagenlogik.
• Für die zweiwertige Aussagenlogik gibt es also [...] einstellige Junktoren und [...] zweistellige Junktoren.