EDB — 013

[013] Dato \(A\) un insieme, e \(P(x)\) una proposizione dipendente da una variabile libera \(x\), usa scrivere

quando vi è uno e un solo elemento \(x\) di \(A\) per cui \(P(x)\) è vera. Definite questa notazione con una formula ben formata. (Notate che avrete bisogno di usare il connettivo di uguaglianza, perché dovete poter esprimere l’idea di “unico”, che necessita di un metodo per poter dire quando due oggetti sono distinguibili e quando non lo sono).