.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Aiuto]Contromodelli (http://www.dsy.it/forum/showthread.php?threadid=19891)

NARV1 4 PRESIDENT!
bravo bravo

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

Originally posted by quakkaro
NARV1 4 PRESIDENT!
bravo bravo

__________________
.:N@RV!:.

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

__________________
...

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..

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