Template:Individual-TLP-paragraph-es-5.532

5.532 Y análogamente: no «(∃x, y) . f (x, y) . x = y», sino «(∃x) . f (x, x)»; y no «(∃x, y) . f (x, y) . ~x = y», sino «(∃x, y) . f (x, y)».

(Entonces, en lugar de la russelliana «(∃x, y) . f (x, y)»: «(∃x, y) . f (x, y) . ∨ . (∃x) . f (x, x)»).