quakkaro

.arcimaestro.

User info:

Registered: Mar 2005
Posts: 363 (0.05 al dì)
Location: Città
Corso: Corso di Studi
Anno: Anno di Corso
Time Online: 1 Day, 22:48:42 [...]
Status: Offline

Post actions:

NARV1 4 PRESIDENT!
bravo bravo

__________________
--------railed------->

N@RV1

User info:

Registered: Jan 2004
Posts: 759 (0.09 al dì)
Location: Garbagnate Milanese
Corso: TICOM
Anno: Primo
Time Online: 9 Days, 9:55:12 [...]
Status: Offline

Post actions:

Originally posted by quakkaro
NARV1 4 PRESIDENT!
bravo bravo

__________________
.:N@RV!:.

Stepunk

User info:

Registered: Mar 2003
Posts: 47 (0.01 al dì)
Location: Novara
Corso: ComDig
Anno: tendente a infinito
Time Online: 1 Day, 3:01:21 [...]
Status: Offline

Post actions:

domandina: ma se trovo un assioma non devo in nessun caso trovare il contromodello, giusto?

__________________
...

MamboJambo#24

:: visual designer ::

User info:

Registered: Feb 2003
Posts: 563 (0.07 al dì)
Location: zona Mondo
Corso: comunicazione digitale
Anno: già dottore
Time Online: 8 Days, 3:14:09: [...]
Status: Offline

Post actions:

non fai nulla...pero è strano xke cosi diventa un esercizio di dimostrazione!eh! non dovrebbe capitare...

domanda..quando ho ad es.

Ex P(x) , perOgni y R(y)

faccio prima l'esistenza e metto P(a) con nuovo parametro...quando vado a fare il per ogni su incognita y cosa metto?? sarebbe da quantificare con vecchio parametro ma il vecchio l'ho usato per una x e mai su una y...
dovrei mettere R(a) lo stesso o un parametro nuovo R(b)?????

spero di essermi spiegato..
grazie

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

columbia

User info:

Registered: Dec 2003
Posts: 248 (0.03 al dì)
Location: settentriunale di periferia
Corso: Comunicazione digitale
Anno: teoricamente secondo
Time Online: 2 Days, 2:52:54 [...]
Status: Offline

Post actions:

si metti R(a), praticamente da quanto ho capito io devi trovare un ramo che non chiude e scrivi il dominio nel tuo caso d=[a], (nel dominio metti le variabili), poi scrivi R(a) = vera. Se per caso avevi al posto di R(a), non R(a) scrivevi R(a)= falsa poi continui se hai tipo Q(a), Q(b) e le istanzi tutte se no ti fermi.

Questo è quello che ho capito io se c'à qualche errore correggetemi ciao