aussagenlogisch

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

• Bewertung (Logik) — Bewertung wird in der Logik die Zuordnung von Wahrheitswerten zu den Aussageformeln einer Sprache auf der Grundlage einer Belegung genannt. Von „Bewertung“ spricht man in der Aussagenlogik. Analog spricht man in der Prädikatenlogik von… …   Deutsch Wikipedia

• Aussage — Semantik; Sinngehalt; Sinn; Bedeutung; Äußerung; Stellungnahme; Behauptung; Statement; Proposition * * * Aus|sa|ge [ au̮sza:gə], die; , n: 1. Angabe, Mitteilung, die man auf ein …   Universal-Lexikon

• Algorithmus von Gilmore — Der Algorithmus von Gilmore (auch Gilmore Algorithmus) basiert auf dem Satz von Herbrand und liefert ein Semi Entscheidungsverfahren um prädikatenlogische Formeln auf Unerfüllbarkeit zu testen. Es gilt: Die abzählbare Menge sei die Herbrand… …   Deutsch Wikipedia

• Antezedens und Sukzedens — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… …   Deutsch Wikipedia

• Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

• Aussagenkalkül — Ein Aussagenkalkül ist ein Kalkül für die Aussagenlogik. Er leitet aus einer gegebenen Menge von Aussagen neue Aussagen her, die aus den gegebenen Aussagen aussagenlogisch folgen. Allgemein werden die Aussagen, aus denen hergeleitet wird,… …   Deutsch Wikipedia

• Barbier-Paradoxon — Das Barbier Paradoxon oder die Antinomie des Barbiers ist eine anschauliche Variante der Russellschen Antinomie und wurde von Bertrand Russell 1918 aufgestellt. Inhaltsverzeichnis 1 Begriff und Problem 2 Russells Lösung 3 Varianten des Paradoxons …   Deutsch Wikipedia

• Beweiserschleichung — Eine Petitio principii (lat. „Inanspruchnahme des Beweisgrundes“; begging the question, engl.), auch Circulus in demonstrando, ist ein argumentativer Fehlschluss, der dann vorliegt, wenn eine Behauptung, für deren Wahrheit argumentiert werden… …   Deutsch Wikipedia

• Circulus in demonstrando — Eine Petitio principii (lat. „Inanspruchnahme des Beweisgrundes“; begging the question, engl.), auch Circulus in demonstrando, ist ein argumentativer Fehlschluss, der dann vorliegt, wenn eine Behauptung, für deren Wahrheit argumentiert werden… …   Deutsch Wikipedia

• Gilmore-Algorithmus — Der Algorithmus von Gilmore (auch Gilmore Algorithmus) basiert auf dem Satz von Herbrand und liefert ein Semi Entscheidungsverfahren um prädikatenlogische Formeln auf Unerfüllbarkeit zu testen. Es gilt: Die abzählbare Menge sei die Herbrand… …   Deutsch Wikipedia

• Gültigkeit — ist die Eigenschaft, dass etwas gültig ist. Gültig ist, „was gilt und als richtig anerkannt werden muss“.[1] Der Ausdruck „Gültigkeit“ ist mehrdeutig. Er bedeutet Wahrheit, Richtigkeit und Anerkanntwerden in unterschiedlichen Zusammenhängen.… …   Deutsch Wikipedia