^^Proposizione logica sugli elementi di un'insieme, e scomposizione binaria dell'insieme.
corrispondenza biunivoca
PROPOSIZIONE LOGICA <-> S-COMPOSIZIONE BINARIA DI UN INSIEME
Il linguaggio insiemistico e il linguaggio logico si corrispondo per effetto
dell'assioma di specificazione.
L'assioma di specificazione e' uno degli assiomi fondamentali del
sistema-calcolo insiemistico: fa corrispondere
- a una proposizione logica che ha senso per ognuno degli elementi di un insieme
- il sottoinsieme degli elementi per cui la proposizione e' vera
Links
- Definizione
intensiva-estensiva.
- Assioma di selezione.
Assioma di specificazione. Set-builder_notation.