5,235
edits
(Bot: Automated import of articles) |
m (Bot: Adding - }}) |
||
Line 1: | Line 1: | ||
{{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. | ||
}} |