Prädikatenlogik
61Resolution (Logik) — Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein Widerlegungsverfahren: Statt direkt die Allgemeingültigkeit einer Formel zu… …
62Resolutionskalkül — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
63Resolutionsprinzip — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
64Resolutionsverfahren — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
65Resolvent — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
66Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …
67Sequenzenkalkül — In der Beweistheorie und der mathematischen Logik bezeichnet man mit Sequenzenkalkül eine Familie formaler Systeme (oder Kalküle), die einen bestimmten Stil der Ableitung und gewisse Eigenschaften teilen. Die ersten Sequenzenkalküle, LK für die… …
68Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …
69Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …
70Aussage (Logik) — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …
