Template:Individual-TLP-paragraph-de-5.46: Difference between revisions

Template:Individual-TLP-paragraph-de-5.46 (view source)

1 byte removed , 2 years ago

m

Bot: Automated text replacement (-\{\{ParTLPwrapper\-de\|\n\{\{ParTLPde\| +{{ParTLPwrapper-de|{{ParTLPde|)

5,235

edits

@@ Line 1: / Line 1: @@
-{{ParTLPwrapper-de|
+{{ParTLPwrapper-de|{{ParTLPde|5.46}} Wenn man die logischen Zeichen richtig einführte, so hätte man damit auch schon den Sinn aller ihrer Kombinationen eingeführt; also nicht nur „''p'' ∨ ''q''“ sondern auch schon „∼(''p'' ∨ ∼''q'')“ etc. etc. Man hätte damit auch schon die Wirkung aller nur möglichen Kombinationen von Klammern eingeführt. Und damit wäre es klar geworden, dass die eigentlichen allgemeinen Urzeichen nicht die „''p'' ∨ ''q''“, „(∃''x'') ''. fx''“, etc. sind, sondern die allgemeinste Form ihrer Kombinationen.
-{{ParTLPde|5.46}} Wenn man die logischen Zeichen richtig einführte, so hätte man damit auch schon den Sinn aller ihrer Kombinationen eingeführt; also nicht nur „''p'' ∨ ''q''“ sondern auch schon „∼(''p'' ∨ ∼''q'')“ etc. etc. Man hätte damit auch schon die Wirkung aller nur möglichen Kombinationen von Klammern eingeführt. Und damit wäre es klar geworden, dass die eigentlichen allgemeinen Urzeichen nicht die „''p'' ∨ ''q''“, „(∃''x'') ''. fx''“, etc. sind, sondern die allgemeinste Form ihrer Kombinationen.
 }}