Template:Individual-TLP-paragraph-it-5.5321
5.5321 Anziché «(x) : f x ⊃ x = a» scriviamo quindi ad es. «(∃x) . f x. ⊃ .f a : ~(∃x, y) . f x . f y».
E la proposizione «un solo x soddisfa f ( )» suona: «(∃x) . f x : ~(∃x, y) . f x . f y».
5.5321 Anziché «(x) : f x ⊃ x = a» scriviamo quindi ad es. «(∃x) . f x. ⊃ .f a : ~(∃x, y) . f x . f y».
E la proposizione «un solo x soddisfa f ( )» suona: «(∃x) . f x : ~(∃x, y) . f x . f y».