論理哲学論考 5.532

論理哲学論考　1-7　5.1-5.6　5.51-5.55　5.531-5.535

　　　　

5.532 また同様に、「(∃x, y ) . f (x, y ) . x = y 」ではなく「(∃x ) . f (x, x )」と、そして「(∃x, y ) . f (x, y ) . ～x = y 」ではなく「(∃x, y ) . f (x, y )」と。
（したがって、ラッセル流の「(∃x, y ) . f (x, y )」に替えて「(∃x, y ) . f (x, y ) . ∨ . (∃x ) . f (x, x )」と。）

5.5321 したがって、「(x ) : fx ⊃ x = a 」に替えて我々は例えば「(∃x ) . fx . ⊃ . fa : ～(∃x, y ) . fx . fy 」と書く。
また、「ただひとつの x だけが f ( ) を充たす」という文は「(∃x ) . f x : ～(∃x, y ) . fx . fy 」だ。


5.532	また同様に、「(∃x, y ) . f (x, y ) . x = y 」ではなく「(∃x ) . f (x, x )」と、そして「(∃x, y ) . f (x, y ) . ～x = y 」ではなく「(∃x, y ) . f (x, y )」と。（したがって、ラッセル流の「(∃x, y ) . f (x, y )」に替えて「(∃x, y ) . f (x, y ) . ∨ . (∃x ) . f (x, x )」と。）
5.5321	したがって、「(x ) : fx ⊃ x = a 」に替えて我々は例えば「(∃x ) . fx . ⊃ . fa : ～(∃x, y ) . fx . fy 」と書く。また、「ただひとつの x だけが f ( ) を充たす」という文は「(∃x ) . f x : ～(∃x, y ) . fx . fy 」だ。