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

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

10 bytes added , 2 years ago

no edit summary

5,963

edits

@@ Line 1: / Line 1: @@
 {{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'' &equals; 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.)
 }}