Преводи за „Schlussregeln“ в полски » немски речника

reguły wnioskowania MATH, ФИЛОС

Schlussregeln fpl

едноезични примери (не са проверени от PONS редакцията)

немски

Allgemein haben Schlussregeln die Form, wobei eine Menge von Formeln ist, die als Voraussetzung interpretiert werden und als die Konklusion.

de.wikipedia.org

Wie die Ableitung von moralischen Aufforderungen aus Faktensätze über Werte gemäß den Schlussregeln der deontischen Logik funktionieren soll, ist unklar.

de.wikipedia.org

Ein Zirkelbezug ist aber nicht dasselbe wie ein Zirkelschluss, da hier die Zuweisung von Wahrheitswerten zu Objekten nicht über die Bezugnahme, sondern durch Schlussregeln erfolgt.

de.wikipedia.org

Dabei war früher die Formalisierung immer sprachlich auf Basis der formalen logischen Figuren und Schlussregeln gemeint.

de.wikipedia.org

Die Übersetzung in eine formale Sprache soll aufzeigen, wo der Fehlschluss einen Ableitungsschritt macht, der gegen die formalen Schlussregeln verstößt.

de.wikipedia.org

Deren wesentliche Eigenschaft besteht gerade darin, dass logische Schlussregeln ausschließlich auf zeichenhaften Formeln ausgeführt werden.

de.wikipedia.org

Dabei werden Schlussregeln auf Prämissen angewandt, um zu Konklusionen zu gelangen.

de.wikipedia.org

Aufgrund dieser Eigenschaft verstehen sich moderne Aussagenkalküle und prädikatenlogische Systeme als Beweiskalküle, obwohl Schlussregeln per se noch keine Beweisregeln sind.

de.wikipedia.org