5,963
edits
Template:Individual-TLP-paragraph-de-5.5321: Difference between revisions
Template:Individual-TLP-paragraph-de-5.5321 (view source)
Revision as of 16:37, 2 April 2022
, 2 years agono edit summary
m (Bot: Adding {{ParTLPwrapper-de|) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-de| | {{ParTLPwrapper-de| | ||
{{ParTLPde|5.5321}} Statt „(''x'') : ''fx'' ⊃ ''x'' | {{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''“. | Und der Satz „{{spaced text|nur}} Ein ''x'' befriedigt ''f'' ()“ lautet: „(∃''x'') ''. fx'' : ∼(∃''x, y'') ''. fx . fy''“. | ||
}} | }} | ||