Schneller Zugriff als Browser!
12 Beziehungen: Aussage (Logik), Axiom, Kalkül, Logik, Logische Äquivalenz, Prädikatenlogik, Quantor, Schlussregel, Skopus (Logik), Term, Theorem, Variable (Logik).
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!!: Substitution (Logik) und Aussage (Logik) · Mehr sehen »
Axiom
Ein Axiom (von griechisch ἀξίωμα axíoma, „Forderung; Wille; Beschluss; Grundsatz; philos. (...) Satz, der keines Beweises bedarf“, „Wertschätzung, Urteil, als wahr angenommener Grundsatz“) ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems weder begründet noch deduktiv abgeleitet, sondern als Grundlage willentlich akzeptiert oder gesetzt wird.
Neu!!: Substitution (Logik) und Axiom · Mehr sehen »
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Neu!!: Substitution (Logik) und Kalkül · 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!!: Substitution (Logik) und Logik · Mehr sehen »
Logische Äquivalenz
Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen.
Neu!!: Substitution (Logik) und Logische Äquivalenz · 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!!: Substitution (Logik) und Prädikatenlogik · Mehr sehen »
Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik.
Neu!!: Substitution (Logik) und Quantor · Mehr sehen »
Schlussregel
Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h.
Neu!!: Substitution (Logik) und Schlussregel · Mehr sehen »
Skopus (Logik)
In der Logik versteht man unter dem Bereich, der Reichweite oder dem Skopus (engl. scope „Bereich“, von lat. scopus „Ziel“) eines Quantors die kürzeste Formel, die diesem Quantor unmittelbar folgt.
Neu!!: Substitution (Logik) und Skopus (Logik) · Mehr sehen »
Term
In der Mathematik ist ein Term eine sinnvolle Kombination aus Zahlen, Variablen, Symbolen für mathematische Verknüpfungen und Klammern.
Neu!!: Substitution (Logik) und Term · Mehr sehen »
Theorem
Der Ausdruck Theorem (von theṓrēma ‚Angeschautes, Untersuchung, Lehrsatz‘), auch Lehrsatz, ist mehrdeutig.
Neu!!: Substitution (Logik) und Theorem · 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!!: Substitution (Logik) und Variable (Logik) · Mehr sehen »
