与 «DEDUKTIONSTHEOREM»相关的德语书籍
在以下的参考文献中发现
Deduktionstheorem的用法。与
Deduktionstheorem相关的书籍以及同一来源的简短摘要提供其在 德语文献中的使用情境。
1
Beiträge zur Philosophie von Stephan Körner
Das Relevanzkriterium für Deduktionen erhält man dann einfach durch
Übertragung der Relevanzdefinition für Formeln auf die den Deduktionen P h C
per Deduktionstheorem zugeordneten gültigen Implikationen: P l- C ist eine
relevante ...
2
Einführung in die Logik
Strukturell verwandt mit dem Deduktionstheorem ist die Technik der
konditionalen Deduktion im Bereich des Regelkalküls der Deduktionsregeln (
siehe oben Rz 253-257). Bereichern (und die Ableitungen intuitiv plausibler
gestalten) könnte ...
3
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der ...
Im Umgang mit freien Variablen müssen wir dagegen mehr Vorsicht walten
lassen, wie die folgende Ableitungssequenz beweist: 1 {P(x)} i- P(x) 2. {P(x)} i- Vx
P(x) (Satz 2.4) (G‚ 1) Wäre das Deduktionstheorem uneingeschränkt gültig, so
ließe ...
A -> (C -» AI 0(x)) LS V-10,p+2 Also ist /4 — > 5 auch in diesem Fall aus M
ableitbar, d. h. das Deduktionstheorem gilt auch bei einer Anwendung der AE+.
Fall (f) ist analog zu zeigen. Damit ist das Deduktionstheorem für den KNSr
bewiesen.
5
Grundkurs Künstliche Intelligenz: Eine Praxisorientierte ...
Somit ist dieses Verfahren für große Variablenanzahl zumindest im Worst-Case
nicht anwendbar. Wenn eine Formel Q aus WB folgt, so ist nach dem
Deduktionstheorem WB ⇒ Q eine Tautologie. Also ist die Negation ¬(WB ⇒ Q)
unerfüllbar.
6
Einführung in die intensionale Semantik
Wir definieren: D2.5-1: Wir nennen eine AF A in einer Ableitung K kritisch, wenn
K eine Anwendung von RN auf eine Formel enthält, die in K von A abhängt i2.
Das Deduktionstheorem für 7Vr lautet nun T2.5-1: Gibt es eine Ableitung vor.
Franz von Kutschera, 1976
7
Einführung in Die Mathematische Logik: Ein Lehrbuch
In einer solchen Situation ist mit der Relation ∀ äußerst vorsichtig umzugehen.
Denn es gelten weder die Fallunterscheidungsregel (¬2) X,α∀βX,¬α∀βX∀β
noch das Deduktionstheorem X,α ∀β X ∀α→β uneingeschränkt. So gilt z.B. x= y
...
Wolfgang Rautenberg, 2008
8
Die richtige Formel: Philosophische Probleme der logischen ...
48 (D14), bzw. die 3‚Hälfte von (D14), wird üblicherweise als „
Deduktionstheorem“ bezeiche net. Die wichtigsten Resultate zum
Deduktionstheorem und ein ausführliches Literaturven zeichnis finden sich in:
Porte: ]earr ofdedrietion theoremr.
9
Einführung in die Logik
A[A] HG(1) Auch für PK gilt ein Deduktionstheorem. Satz 20.10 (
Deduktionstheorem) Sind A1, , An, A und B Sätze von PL und ist der Satz B in PK
aus den Sätzen A1, , An, A ableitbar, dann ist in PK auch der Satz AB aus den
SätzenA1, ,An ...
10
Die Wahrheit über den Lügner: eine philosophisch-logische ...
Daß in CD dieses semantische Analogon zum Deduktionstheorem nicht gilt, ist
eine unmittelbare Konsequenz aus dem nicht-klassichen Verhalten der Negation
, d.h. aus )£JDU A folgt in CD nicht notwendigerweise \=JD -,A. Dieses Problem ...
