Schneller Zugriff als Browser!
22 Beziehungen: Aussage (Logik), Aussageform, Aussagenlogik, Äquivalenzrelation, Bikonditional, Homonym, Implikation, Interpretation (Logik), Junktor, Klassische Logik, Logik, Mathematische Notation, Metasprache, Operator (Mathematik), Prädikatenlogik, Reflexive Relation, Symmetrische Relation, Tautologie (Logik), Transitive Relation, Unicodeblock Pfeile, Wahrheitstabelle, 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!!: Logische Äquivalenz 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!!: Logische Äquivalenz 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!!: Logische Äquivalenz und Aussagenlogik · Mehr sehen »
Äquivalenzrelation
Unter einer Äquivalenzrelation versteht man in der Mathematik eine zweistellige Relation, die reflexiv, symmetrisch und transitiv ist.
Neu!!: Logische Äquivalenz und Äquivalenzrelation · Mehr sehen »
Bikonditional
beide“. Dem entsprechen die roten Bereiche außerhalb und innerhalb beider Kreise. Als Bikonditional, Bisubjunktion oder materiale Äquivalenz, manchmal (aber mehrdeutig) einfach nur Äquivalenz bezeichnet man.
Neu!!: Logische Äquivalenz und Bikonditional · Mehr sehen »
Homonym
Als Homonym (griechisch „gleichnamig“) bezeichnet man ein Wort, das für verschiedene Begriffe steht.
Neu!!: Logische Äquivalenz und Homonym · Mehr sehen »
Implikation
Die Bezeichnung Implikation (von; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden.
Neu!!: Logische Äquivalenz und Implikation · Mehr sehen »
Interpretation (Logik)
Eine Interpretation (von) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird.
Neu!!: Logische Äquivalenz und Interpretation (Logik) · Mehr sehen »
Junktor
Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.
Neu!!: Logische Äquivalenz und Junktor · Mehr sehen »
Klassische Logik
Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält.
Neu!!: Logische Äquivalenz und Klassische Logik · 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!!: Logische Äquivalenz und Logik · Mehr sehen »
Mathematische Notation
Als mathematische Notation bezeichnet man in Mathematik, Logik und Informatik die Darstellung von Formeln und anderen mathematischen Objekten mittels mathematischer Symbole.
Neu!!: Logische Äquivalenz und Mathematische Notation · Mehr sehen »
Metasprache
Eine Metasprache ist eine „Sprache über Sprache“.
Neu!!: Logische Äquivalenz und Metasprache · Mehr sehen »
Operator (Mathematik)
Ein Operator ist eine mathematische Vorschrift, durch die man aus mathematischen Objekten neue Objekte bilden kann.
Neu!!: Logische Äquivalenz und Operator (Mathematik) · 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!!: Logische Äquivalenz und Prädikatenlogik · Mehr sehen »
Reflexive Relation
gerichtete Graphen dargestellt Die Reflexivität einer zweistelligen Relation R auf einer Menge ist gegeben, wenn x R x für alle Elemente x der Menge gilt, also jedes Element in Relation zu sich selbst steht.
Neu!!: Logische Äquivalenz und Reflexive Relation · Mehr sehen »
Symmetrische Relation
gerichtete Graphen dargestellt Die Symmetrie einer zweistelligen Relation R auf einer Menge ist gegeben, wenn aus x R y stets y R x folgt.
Neu!!: Logische Äquivalenz und Symmetrische Relation · Mehr sehen »
Tautologie (Logik)
Eine Tautologie (von ταὐτό t’autó „dasselbe“ und -logie), auch Verum („wahr“) genannt, ist in der Logik eine allgemein gültige Aussage, das heißt eine Aussage, die aus logischen Gründen immer wahr ist.
Neu!!: Logische Äquivalenz und Tautologie (Logik) · Mehr sehen »
Transitive Relation
gerichtete Graphen dargestellt Eine transitive Relation ist in der Mathematik eine zweistellige Relation R auf einer Menge, die die Eigenschaft hat, dass für drei Elemente x, y, z dieser Menge aus x R y und y R z stets x R z folgt.
Neu!!: Logische Äquivalenz und Transitive Relation · Mehr sehen »
Unicodeblock Pfeile
Der Unicodeblock Pfeile (Arrows, 2190 bis 21FF) enthält verschiedene Pfeile, die sowohl im einfachen Fließtext als auch in der Mathematik und Chemie benutzt werden.
Neu!!: Logische Äquivalenz und Unicodeblock Pfeile · Mehr sehen »
Wahrheitstabelle
Animation zur Erstellung einer Wahrheitstafel Eine Wahrheitstabelle oder Wahrheitstafel, auch Wahrheitswert-Tabelle oder Wahrheitsmatrix genannt, ist eine tabellarische Aufstellung des Wahrheitswertverlaufs einer logischen Aussage.
Neu!!: Logische Äquivalenz und Wahrheitstabelle · Mehr sehen »
Wahrheitswert
Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.
Neu!!: Logische Äquivalenz und Wahrheitswert · Mehr sehen »
Leitet hier um:
Gdw., Genau dann wenn, Genau dann, wenn, Logisch äquivalent.
