Widerlegungsverfahren

Widerlegungsverfahren

Als Widerlegungsverfahren bezeichnet man Verfahren zum Beweis mathematisch-logischer Theoreme, die auf dem Widerlegungstheorem beruhen. Dabei wird eine zu beweisende Aussage negiert in eine bestehende Formelmenge aufgenommen und zu zeigen versucht, dass die resultierende Formelmenge unerfüllbar ist.

Bekannte Widerlegungsverfahren sind das Resolutionsverfahren und der Baumkalkül.

siehe auch: Widerspruchsbeweis, Beweis (Mathematik) (indirekter Beweis)


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Widerlegungskalkül — Als Widerlegungsverfahren bezeichnet man Verfahren zum Beweis mathematisch logischer Theoreme, die auf dem Widerlegungstheorem beruhen. Dabei wird eine zu beweisende Aussage negiert in eine bestehende Formelmenge aufgenommen und zu zeigen… …   Deutsch Wikipedia

  • Beth-Kalkül — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth-Tableau — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth-Tableaux — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth Tableau — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth Tableaux — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Resolution (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… …   Deutsch Wikipedia

  • Tableaukalkül — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”