5,235
edits
m (Bot: Adding - }}) |
m (Bot: Adding {{ParTLPwrapper-de|) |
||
Line 1: | Line 1: | ||
{{ParTLPwrapper-de| | |||
{{ParTLPde|5.5321}} Statt „(''x'') : ''fx'' ⊃ ''x'' = ''a''“ schreiben wir also z. B. „(∃''x'') ''. fx.'' ⊃ ''.fa'' : ∼(∃''x, y'') ''. fx . fy''“. | {{ParTLPde|5.5321}} Statt „(''x'') : ''fx'' ⊃ ''x'' = ''a''“ schreiben wir also z. B. „(∃''x'') ''. fx.'' ⊃ ''.fa'' : ∼(∃''x, y'') ''. fx . fy''“. | ||