Schneller Zugriff als Browser!
22 Beziehungen: Aussage (Logik), Aussageform, Aussagenlogik, Belegung (Logik), Berechenbarkeit, Bewertung (Logik), Eigenschaft, Erfüllbarkeitsäquivalenz, Erfüllbarkeitsproblem der Aussagenlogik, Gleichung, Interpretation (Logik), Komplexitätstheorie, Logik, Mathematik, Metasprache, Modelltheorie, Prädikat (Logik), Prädikatenlogik, Resolution (Logik), Unverträglichkeit (Logik), Variable (Logik), Wahrheitswert.
Aussage (Logik)
Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist, zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip).
Neu!!: Erfüllbarkeit und Aussage (Logik) · Mehr sehen »
Aussageform
Der Ausdruck Aussageform hat in der Logik zwei Bedeutungen, denen gemeinsam ist, dass es sich um Ausdrücke handelt, deren Wahrheit oder Falschheit noch offen ist.
Neu!!: Erfüllbarkeit und Aussageform · Mehr sehen »
Aussagenlogik
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.
Neu!!: Erfüllbarkeit und Aussagenlogik · Mehr sehen »
Belegung (Logik)
Im Rahmen der Interpretation formaler Systeme ist eine Belegung.
Neu!!: Erfüllbarkeit und Belegung (Logik) · Mehr sehen »
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Neu!!: Erfüllbarkeit und Berechenbarkeit · Mehr sehen »
Bewertung (Logik)
Bewertung wird in der Logik die Zuordnung von Wahrheitswerten zu den Aussageformeln einer Sprache auf der Grundlage einer Belegung genannt.
Neu!!: Erfüllbarkeit und Bewertung (Logik) · Mehr sehen »
Eigenschaft
Eine Eigenschaft (caractère) bezeichnet etwas, das einer Person, einem Gegenstand, einem Begriff oder einer (anderen) Eigenschaft zugeschrieben wird.
Neu!!: Erfüllbarkeit und Eigenschaft · Mehr sehen »
Erfüllbarkeitsäquivalenz
Erfüllbarkeitsäquivalenz ist eine Eigenschaft, die zwischen zwei prädikatenlogischen Formeln gelten kann.
Neu!!: Erfüllbarkeit und Erfüllbarkeitsäquivalenz · Mehr sehen »
Erfüllbarkeitsproblem der Aussagenlogik
Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von ‚ Erfüllbarkeit‘) ist ein Entscheidungsproblem der theoretischen Informatik.
Neu!!: Erfüllbarkeit und Erfüllbarkeitsproblem der Aussagenlogik · Mehr sehen »
Gleichung
Älteste gedruckte Gleichung (1557), in heutiger Schreibweise „14x + 15.
Neu!!: Erfüllbarkeit und Gleichung · Mehr sehen »
Interpretation (Logik)
Eine Interpretation (von) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird.
Neu!!: Erfüllbarkeit und Interpretation (Logik) · Mehr sehen »
Komplexitätstheorie
Die Komplexitätstheorie als Teilgebiet der theoretischen Informatik befasst sich mit der Komplexität algorithmisch behandelbarer Probleme auf verschiedenen formalen Rechnermodellen.
Neu!!: Erfüllbarkeit und Komplexitätstheorie · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Erfüllbarkeit und Logik · Mehr sehen »
Mathematik
Die Mathematik (bundesdeutsches Hochdeutsch:,; österreichisches Hochdeutsch:; mathēmatikē téchnē ‚die Kunst des Lernens‘) ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand.
Neu!!: Erfüllbarkeit und Mathematik · Mehr sehen »
Metasprache
Eine Metasprache ist eine „Sprache über Sprache“.
Neu!!: Erfüllbarkeit und Metasprache · Mehr sehen »
Modelltheorie
Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.
Neu!!: Erfüllbarkeit und Modelltheorie · Mehr sehen »
Prädikat (Logik)
Prädikat (von) nennt man in der modernen Prädikatenlogik den Teil einer atomaren Aussage, der wahrheitsfunktional ist.
Neu!!: Erfüllbarkeit und Prädikat (Logik) · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Erfüllbarkeit und Prädikatenlogik · Mehr sehen »
Resolution (Logik)
Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen.
Neu!!: Erfüllbarkeit und Resolution (Logik) · Mehr sehen »
Unverträglichkeit (Logik)
In der Logik bezeichnet man eine Aussage A als unverträglich mit einer Aussage B, wenn aus A und B ein Widerspruch folgt.
Neu!!: Erfüllbarkeit und Unverträglichkeit (Logik) · Mehr sehen »
Variable (Logik)
Eine Variable ist in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.
Neu!!: Erfüllbarkeit und Variable (Logik) · Mehr sehen »
Wahrheitswert
Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.
Neu!!: Erfüllbarkeit und Wahrheitswert · Mehr sehen »
Leitet hier um:
Erfüllbar, Erfüllbare Aussage, Kontingenz (Logik), Neutralität (Logik).
