La ricerca ha trovato 23 risultati
- sab gen 12, 2013 6:04 pm
- Forum: Il Forum
- Argomento: Dimostrazione alternativa
- Risposte: 1
- Visite : 2195
Dimostrazione alternativa
Penso che non tutti la conoscano quindi la posto: è il paradosso dell'insieme di tutti gli insiemi. Solitamente si usa l'assioma di regolarità per dimostrare che tale insieme non esiste: se l'insieme di tutti gli insiemi esistesse essendo un insieme sarebbe elemento di sè stesso. Poi c'è la dimostra...
- mer gen 09, 2013 6:51 am
- Forum: Quesiti irrisolti
- Argomento: R: paradossi
- Risposte: 20
- Visite : 105033
Re: R: paradossi
Paradosso del non essere: premessa: una cosa e' definibile se e solo se esiste. L'affermazione:"il non essere 'e' definibile" quindi e' auto-contradditoria. E'il solito paradosso risorvibile dando valore di verita' 0,5
- mar gen 08, 2013 9:09 pm
- Forum: Il Forum
- Argomento: Problemino di logica
- Risposte: 3
- Visite : 3361
Re: Problemino di logica
La definizione insiemistica di una funzione da A a B e' l'insieme di tutte le coppie ordinate e univoche (a,b) con a appartenente ad A e b a B. Quindi la cardinalita' dovrebbe essere
|A|x |B|
|A|x |B|
- mar gen 08, 2013 8:40 pm
- Forum: Il Forum
- Argomento: Problemino di logica
- Risposte: 3
- Visite : 3361
Re: Problemino di logica
A me ricorda la classe
di tutti gli insiemi, e' la classe di queste funzioni una classe propria? Questo se sono infiniti
di tutti gli insiemi, e' la classe di queste funzioni una classe propria? Questo se sono infiniti
- dom gen 06, 2013 1:16 pm
- Forum: Il Forum
- Argomento: Implicazione
- Risposte: 6
- Visite : 4706
Re: Implicazione
L'affermazione"esiste l'insieme di tutti gli insiemi" contraddice se stessa e quindi e'0,5. Le classio sono insiemi oppure classi proprie. La differenza e' che gli insiemi sono dotati di tutti gli assiomi di ZFC, la classe propria nemmeno uno. L'insieme in NBG e'chiamato classe impropria.
- ven gen 04, 2013 11:51 am
- Forum: Il Forum
- Argomento: Implicazione
- Risposte: 6
- Visite : 4706
Re: Implicazione
faccio un esempio:l'affermazione:" Esiste l'insieme di tutti gli insiemi" e' per meta' vero perche' esiste una classe di tutti gli insiemi, per meta' falso perche' tale classe non e' un insieme
- gio gen 03, 2013 11:34 am
- Forum: Il Forum
- Argomento: Implicazione
- Risposte: 6
- Visite : 4706
Re: Implicazione
Sono due affermazioni che negano se' stesse, la soluzione classica e' che sono senza senso, ma usando la logica fuzzy si deduce che 1 e2 non sono 0 oppure 1 ma0,5.l'implicazione quindi e' 0,5 implica 0,5, il che e'0,5. 0,5 significa che una proposizione e' vera solo a meta'.
- mer gen 02, 2013 2:26 pm
- Forum: Il Forum
- Argomento: Implicazione
- Risposte: 6
- Visite : 4706
Implicazione
1) 2 e' vera
2) 1 e' falsa
1 implica 2; cosa si puo' dire di questa implicazione?
2) 1 e' falsa
1 implica 2; cosa si puo' dire di questa implicazione?