|
|
|
|
 |
|  |
 |
futurbaggio |
| [QUOTE][i]Originally posted by Flavia [/i]
... |
01-12-2004 18:57 |
|
 |
futurbaggio |
U Frikkettone

Registered: Feb 2003
Posts: 774 (0.09 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Flavia
Dopo aver discusso in aramaico con il mio amico Futurbaggio ( ),
non abbiamo ancora trovato accordo! 
Dalla prossima volta ci confronteremo in dialetto... cmq nn si è trovato l'accordo perchè tu proponevi cose di cui nn eri convinta e io stesso nn lo ero...
Originally posted by Flavia
Una cosa è sicura:
Qualsiasi x R(x, f(x)) a sinistra diviene
Qualsiasi x R(x, f(x)), R (a, f(a))
Cioè.. se ho qualsiasi funzione della x(quindi la x come argomento di funzione), anche questa va cambiata mettendo il termine prescelto, in questo caso a!
Semplice applicazione della regola.
Originally posted by Flavia
Quando ho Qualsiasi (x),Qualsiasi (y) (R (f(x),f(y) ), allora io prendo come termine non x=a, ma f(x)=a, perchè f(x) è un termine!
La variabile vincolata è la x, quello che fai è scorretto.
Ho chiesto nel pomeriggio una verifica a Ghilardi, con cui ho svolto al volo l'esercizio e mi ha confermato che l'operazione che tu introduci è sbagliata.
Ecco la soluzione dell'esercizio (ancora un inchino a OpenOffice):
http://www.dsy.it/forum/showthread....2625#post242625
Roberto
PS Ha ragione Flavia??? 
PPS Flavia, spero che basti per perdonarmi il fatto che ero nel bagno delle donne...
__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]
|
|
01-12-2004 18:57 |
|
|
|  |
 |
Flavia |
| Perfetto Futur!!!!!!!!!!!!!
... |
02-12-2004 08:49 |
|
 |
Flavia |
Regina degli avatar

Registered: Sep 2002
Posts: 3228 (0.38 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline
Edit | Report | IP: Logged |
Perfetto Futur!!!!!!!!!!!!!
Ora siamo davvero d'accordo!!!!!!!!!!!!!!!!!

Ma guai a te se ti rivedo nel bagno delle donne... 
__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

|
|
02-12-2004 08:49 |
|
|
|  |
 |
angelko |
| scusate sono un attimo nel pallone, se ho P(x) --> ... |
06-12-2004 12:01 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.17 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline
Edit | Report | IP: Logged |
scusate sono un attimo nel pallone, se ho P(x) --> Q(x) ^ S(x) quale svolgo prima? chi ha la precedenza?
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
|
06-12-2004 12:01 |
|
|
|  |
 |
futurbaggio |
| [QUOTE][i]Originally posted by angelko [/i]
... |
06-12-2004 14:43 |
|
 |
futurbaggio |
U Frikkettone

Registered: Feb 2003
Posts: 774 (0.09 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by angelko
scusate sono un attimo nel pallone, se ho P(x) --> Q(x) ^ S(x) quale svolgo prima? chi ha la precedenza?
Va letto come:
P(x) --> [Q(x) ^ S(x)]
Quindi svolgi prima l'implica perchè l'and lega di più...
Roberto
__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]
|
|
06-12-2004 14:43 |
|
|
|  |
 |
angelko |
| ho un dubbio...
... |
07-12-2004 11:48 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.17 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline
Edit | Report | IP: Logged |
ho un dubbio...
ma i verbi in forma passiva (ad esempio "vengono ribassati" di un'esercizio dei temi d'esame dal sito del prof) si considerano come verbi intransitivi o come predicato nominale?
alla fine nello svolgimento non cambia nulla, ma nell'albero cosa metto?
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
|
07-12-2004 11:48 |
|
|
|  |
 |
boban |
| qualcuno mi sa dire l'ordine con cui vanno svilupp ... |
07-12-2004 13:01 |
|
 |
boban |
.consigliere.
Registered: Dec 2003
Posts: 131 (0.02 al dì)
Location: qui
Corso: comunicazione digitale
Anno: 999999999
Time Online: 5 Days, 0:38:16 [...]
Status: Offline
Edit | Report | IP: Logged |
qualcuno mi sa dire l'ordine con cui vanno sviluppati i vari AND OR IMPLICA e i QUANTIFICATORI....quali hanno precedenza su gli altri??....ero sicuro di averlo letto da qualche parte sulle dispense, ma non lo trovo più....mah?!
GRAZIE
|
|
07-12-2004 13:01 |
|
|
|  |
 |
angelko |
| per i quantificatori conviene svolgere prima gli " ... |
07-12-2004 13:49 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.17 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline
Edit | Report | IP: Logged |
per i quantificatori conviene svolgere prima gli "esiste" a sinistra e i "per ogni" a destra perchè introducono parametri nuovi, non ancora presenti nelle formule
per quanto riguarda i connettori logici, beh in caso di nessuna parentesi gli "e" e gli "o" sono piu forti degli implica, quindi prima svolgi gli implica; in caso di più "e" o "o" in successione cominci svolgendo quelli piu a destra
non so se è molto chiaro...
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
|
07-12-2004 13:49 |
|
|
|  |
 |
boban |
| perfetto, si sei stato chiaro...ma un altra cosa . ... |
07-12-2004 13:57 |
|
 |
boban |
.consigliere.
Registered: Dec 2003
Posts: 131 (0.02 al dì)
Location: qui
Corso: comunicazione digitale
Anno: 999999999
Time Online: 5 Days, 0:38:16 [...]
Status: Offline
Edit | Report | IP: Logged |
perfetto, si sei stato chiaro...ma un altra cosa ....
in caso ci siano delle parentesi, meglio risolvere prima i connettori fuori dalle parentesie poi quelli all'interno?
per capirci...
A and (B implica C)
faccio prima l AND e poi l IMPLICA
.....spero di essermi fatto capire....
|
|
07-12-2004 13:57 |
|
|
|  |
 |
angelko |
| si esatto!
... |
07-12-2004 14:07 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.17 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline
Edit | Report | IP: Logged |
si esatto!
fai prima and e poi implica!
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
|
07-12-2004 14:07 |
|
|
|  |
 |
boban |
| GRAZIE:ciao: :) ... |
07-12-2004 14:40 |
|
 |
boban |
.consigliere.
Registered: Dec 2003
Posts: 131 (0.02 al dì)
Location: qui
Corso: comunicazione digitale
Anno: 999999999
Time Online: 5 Days, 0:38:16 [...]
Status: Offline
Edit | Report | IP: Logged |
GRAZIE 
|
|
07-12-2004 14:40 |
|
|
|  |
 |
papousek |
| [QUOTE][i]Originally posted by boban [/i]
... |
07-12-2004 16:41 |
|
 |
papousek |
Prisoner

Registered: Jan 2005
Posts: 1562 (0.20 al dì)
Location: Sona
Corso: Dottore dal 2006
Anno: End
Time Online: 16 Days, 7:11:58 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by boban
perfetto, si sei stato chiaro...ma un altra cosa ....
in caso ci siano delle parentesi, meglio risolvere prima i connettori fuori dalle parentesie poi quelli all'interno?
per capirci...
A and (B implica C)
faccio prima l AND e poi l IMPLICA
.....spero di essermi fatto capire....
cooosa??
perchè nn si fa prima l'implica??ci sono le parentesi!!
A ^ (B-->C) si fa l'and per primo...e cosa esce?
aiuto!!
un altra cosa...nn capisco l esercizio 10 postato da futurbaggio (quelli di pag.38 delle dispense)..esattamente nn capisco il passaggio 5,la divisione in rami....qualcuno mi sa spiegare come diavolo ha fatto???
aiuto bis!!!
__________________
Break Out
Last edited by papousek on 07-12-2004 at 16:45
|
|
07-12-2004 16:41 |
|
|
|  |
 |
futurbaggio |
| [QUOTE][i]Originally posted by papousek [/i]
... |
07-12-2004 19:13 |
|
 |
futurbaggio |
U Frikkettone

Registered: Feb 2003
Posts: 774 (0.09 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by papousek
cooosa??
perchè nn si fa prima l'implica??ci sono le parentesi!!
A ^ (B-->C) si fa l'and per primo...e cosa esce?
Se il tutto si trova a sinistra verranno le due formule A, B --> C e poi ti risolvi l'implica...
Se invece si trova a destra allora devi dividere in due rami uno con A e l'altro con B-->C (sempre nella destra del sequente).
Originally posted by papousek
un altra cosa...nn capisco l esercizio 10 postato da futurbaggio (quelli di pag.38 delle dispense)..esattamente nn capisco il passaggio 5,la divisione in rami....qualcuno mi sa spiegare come diavolo ha fatto???
In pratica ho diviso il tutto in due rami perchè ho applicato la regola dell'implicazione sulla formula P(a) --> Q(f(a)) che trovi nella parte di sinistra del sequente al passo precedente.
Avrai quindi il ramo 1 con la formula P(a) spostata a destra e il ramo 2 con Q(f(a)) sempre a sinistra (controlla le regole dell'implica per convincerti).
Roberto
__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]
|
|
07-12-2004 19:13 |
|
|
|  |
 |
papousek |
| ...grazie...futurbaggio....pero nn capisco ancora ... |
07-12-2004 19:49 |
|
 |
papousek |
Prisoner

Registered: Jan 2005
Posts: 1562 (0.20 al dì)
Location: Sona
Corso: Dottore dal 2006
Anno: End
Time Online: 16 Days, 7:11:58 [...]
Status: Offline
Edit | Report | IP: Logged |
...grazie...futurbaggio....pero nn capisco ancora delle cose...tipo applicare le formule...perchè nelle stesse ci sono varie incognite..A...B...Delta...e quella specie di T...che quando arriva il momrnto di apllicarle nn riesco mai ad assegnare a ciascuna variabile..il valore del sequente....
...insomma...sono nel casino più completo...
__________________
Break Out
|
|
07-12-2004 19:49 |
|
|
|  |
 |
futurbaggio |
| [QUOTE][i]Originally posted by papousek [/i]
... |
07-12-2004 20:16 |
|
 |
futurbaggio |
U Frikkettone

Registered: Feb 2003
Posts: 774 (0.09 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by papousek
...grazie...futurbaggio....pero nn capisco ancora delle cose...tipo applicare le formule...perchè nelle stesse ci sono varie incognite..A...B...Delta...e quella specie di T...che quando arriva il momrnto di apllicarle nn riesco mai ad assegnare a ciascuna variabile..il valore del sequente....
Quella specie di T è una gamma in maiuscola (lettera dell'alfabeto greco), delta e gamma sono delle notazioni matematiche che ti dicono che devi ricopiare, nella ricerca di una dimostrazione, tutto quello che c'era al passaggio precedente a destra e a sinistra del segno di sequente.
Originally posted by papousek
...insomma...sono nel casino più completo...
Dal casino più completo se esce consultando le dispense che sono ben fatte, io nn predo mai appunti e ho studiato solo sulle dispese, so fare tutto bene!
Roberto
__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]
|
|
07-12-2004 20:16 |
|
|
|  |
 |
luna |
| scusate ragazzi voi l'esercizio 5 a pag 38 di logi ... |
07-12-2004 21:09 |
|
 |
luna |
.grande:maestro.

Registered: Apr 2003
Posts: 4565 (0.55 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline
Edit | Report | IP: Logged |
scusate ragazzi voi l'esercizio 5 a pag 38 di logica l'avete risolto?ho visto nell'area filez quello postato da Barone e anche a me viene incompleto,senza assiomi!risulta anche a voi cosi'??
__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous
|
|
07-12-2004 21:09 |
|
|
|  |
 |
| All times are GMT. The time now is 10:01. |
|
|
 |
|
 |
|
|
|  |
Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
|
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
|
|
|
|
|
|