Wodurch zeichnet sich die Darstellung eines Fitch-Kalküls (im Unterschied zum semantischen Beweis in Form der Wahrheitstafel) formal aus?
Ein beliebiger Satz kann an jeder Stelle eine neue Unterableitung beginnen.
Die Reiteration erlaubt es, einen Satz, der als Prämisse gegeben oder bereits hergeleitet ist, zu wiederholen.
-> Die Rechtfertigung ist simpel: Wenn er auf einer Zeile wahr ist, dann ist er auch auf einer späteren Zeile wahr.
Welche drei Bedingungen müssen erfüllt sein, sodass eine Aussage zugänglich ist ?
Eine Zeile x ist von einer Zeile p aus zugänglich, wenn …
x und p sich in der gleichen Unterableitung befinden und x oberhalb von p steht.
x sich in einer Unterableitung links und oberhalb von p befindet. Die Unterableitung in der x sich befindet und p müssen dafür im gleichen Skopus sein.
p sich im Skopus von x befindet.
Last changeda month ago
