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

Template:Individual-TLP-paragraph-de-5.5321 (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.5321}} Statt „(''x'') : ''fx'' ⊃ ''x'' <nowiki>=</nowiki> ''a''“ schreiben wir also z. B. „(∃''x'') ''. fx.'' ⊃ ''.fa'' : ∼(∃''x, y'') ''. fx . fy''“.
-{{ParTLPde|5.5321}} Statt „(''x'') : ''fx'' ⊃ ''x'' <nowiki>=</nowiki> ''a''“ schreiben wir also z. B. „(∃''x'') ''. fx.'' ⊃ ''.fa'' : ∼(∃''x, y'') ''. fx . fy''“.
 Und der Satz „{{spaced text|nur}} Ein ''x'' befriedigt ''f'' ()“ lautet: „(∃''x'') ''. fx'' : ∼(∃''x, y'') ''. fx . fy''“.
 }}