10 GERMAN BOOKS RELATING TO «DEDUKTIONSTHEOREM»
Discover the use of
Deduktionstheorem in the following bibliographical selection. Books relating to
Deduktionstheorem and brief extracts from same to provide context of its use in German literature.
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 ...