Enzyklopädie > W > 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.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)