Template:Individual-TLP-paragraph-es-5.5321
5.5321 En lugar de «(x) : fx ⊃ x = a», escribimos entonces, por ejemplo, «(∃x) . fx. ⊃ .fa : ~(∃x, y) . fx . fy».
Y la proposición «solo un x satisface f ()» reza «(∃x) . fx : ~(∃x, y) . fx . fy».
5.5321 En lugar de «(x) : fx ⊃ x = a», escribimos entonces, por ejemplo, «(∃x) . fx. ⊃ .fa : ~(∃x, y) . fx . fy».
Y la proposición «solo un x satisface f ()» reza «(∃x) . fx : ~(∃x, y) . fx . fy».