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

Template:Individual-TLP-paragraph-de-5.1311 (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.1311}} Wenn wir von ''p'' ∨ ''q'' und ∼''p'' auf ''q'' schliessen, so ist hier durch die Bezeichnungsweise die Beziehung der Satzformen von „''p'' ∨ ''q''“ und „∼''p''“ verhüllt. Schreiben wir aber z. B. statt „''p'' ∨ ''q''“ „''p'' {{!}} ''q'' . {{!}} . ''p'' {{!}} ''q''“ und statt „∼''p''“ „''p'' {{!}} ''p''“ (''p'' {{!}} ''q'' <nowiki>=</nowiki> weder ''p'', noch ''q''), so wird der innere Zusammenhang offenbar.
-{{ParTLPde|5.1311}} Wenn wir von ''p'' ∨ ''q'' und ∼''p'' auf ''q'' schliessen, so ist hier durch die Bezeichnungsweise die Beziehung der Satzformen von „''p'' ∨ ''q''“ und „∼''p''“ verhüllt. Schreiben wir aber z. B. statt „''p'' ∨ ''q''“ „''p'' {{!}} ''q'' . {{!}} . ''p'' {{!}} ''q''“ und statt „∼''p''“ „''p'' {{!}} ''p''“ (''p'' {{!}} ''q'' <nowiki>=</nowiki> weder ''p'', noch ''q''), so wird der innere Zusammenhang offenbar.
 (Dass man aus (''x'') ''. fx'' auf ''fa'' schliessen kann, das zeigt, dass die Allgemeinheit auch im Symbol „(''x'') . ''fx''“ vorhanden ist.)
 }}