Studium, Ausbildung und Beruf

web uni-protokolle.de
 powered by
NachrichtenLexikonProtokolleBücherForenMontag, 28. Mai 2012 

Resolution (Logik)


Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Resolution bezeichnet in der Logik eine Schlussweise die es erlaubt von
<math>(A_1 \vee A_2 \vee \dots \vee \wedge (B_1 \vee B_2 \vee \dots \vee \vee \neg A_1)</math>
zu schliessen auf
<math>A_2 \vee \dots \vee A_n \vee \vee \dots \vee B_m</math>



Bücher zum Thema Resolution (Logik)

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Resolution_(Logik).html">Resolution (Logik) </a>