La ricerca ha trovato 23 risultati

da p138
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...
da p138
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
da p138
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|
da p138
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
da p138
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.
da p138
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
da p138
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'.
da p138
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?