GinoPilotino

.grande:maestro.

User info:

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline

Post actions:

si ok, difatti era quello che facevo io, perchè nel primo ramo si chiudeva subito ma nel secondo se sostituivo p(b)-->q(b) non si chiudeva mai il ramo

joker402

dsy core staff

User info:

Registered: Nov 2002
Posts: 2429 (0.29 al dì)
Location: Milano
Corso: TICom
Anno: II+
Time Online: 49 Days, 14:29:03: [...]
Status: Offline

Post actions:

Se nell'ultimo passaggio della ricerca di contromodelli avessi:
R(c,b),R(b,a)=>R(a,a),R(a,c)
io metto:
D={a,b,c}
interpretazioni vere: R={c,b} R={b,a}

è giusto scrivere così o la prof vuole che si scrivano anche quelle false?
ma soprattutto (dubbio che mi ha insinuato l'impeccabile Flavia ), nelle interpretazioni vere devo solo copiare quelle che stanno a sinistra, oppure devo mettere anche tutte quelle che NON SONO FALSE? (cioè R={b,b} R={a,b}, ecc...)
si è capito?

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

Flavia

Regina degli avatar

User info:

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

Post actions:

Allora sei giunto a uno stato di terminazione!
Evviva! Brindiamo!

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

Last edited by Flavia on 14-12-2004 at 18:53

Flavia

Regina degli avatar

User info:

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

Post actions:

Originally posted by joker402
Se nell'ultimo passaggio della ricerca di contromodelli avessi:
R(c,b),R(b,a)=>R(a,a),R(a,c)
io metto:
D={a,b,c}
interpretazioni vere: R={c,b} R={b,a}

è giusto scrivere così o la prof vuole che si scrivano anche quelle false?
ma soprattutto (dubbio che mi ha insinuato l'impeccabile Flavia ), nelle interpretazioni vere devo solo copiare quelle che stanno a sinistra, oppure devo mettere anche tutte quelle che NON SONO FALSE? (cioè R={b,b} R={a,b}, ecc...)
si è capito?

Ma è la cosa che ti ho chiesto io stamane!
Io direi così!

interpretazioni vere: R={c,b} R={b,a}
interpretazioni false: R={a,a} R={a,c}
interpretazioni che potrebbero essere vere: R={b,b}R={c,c}R={a,b}R={b,c}R={c,a} .. perchè queste sono le formule che potresti trovare su altri rami o che comunque non vengono considerate ma potrebbero essere vere!

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

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

e bisogna scrivere anche quelle che potrebbero essere vere??

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

e bisogna scrivere anche quelle che potrebbero essere vere??

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

Flavia

Regina degli avatar

User info:

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

Post actions:

beh, la prof mercoledì in classe ha fatto così!
Quindi io lo faccio sicuramente!

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

Alis

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 862 (0.10 al dì)
Location: Corsico
Corso:
Anno:
Time Online: 10 Days, 16:32:12 [...]
Status: Offline

Post actions:

Come vi viene questo esercizio?
Esistex P(x), AyAz(Q(y,z) --->P(y) e nonP(z)) sequente nonEsistex nonP(x)

allora a me viene un contromodello e un ramo non si chiude e viene:
P(a) sequente Q(b,b),P(b)

quando faccio l'interpretazione scrivo: l'interpretazione di P è a, di Q è b, e basta o devo aggiungere qualcosaltro?

grazie

Flavia

Regina degli avatar

User info:

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

Post actions:

No Alis!
Scrivi che il dominio è {a,b}
L'interpretazione di P è = {a}
L'interprteazione di Q è = {} oppure = {a,a} oppure = {a,b} oppure= {b,a}. Non si sa!Angelko dice: "E'indifferente scrivere anche solo insieme vuoto!". ma Flavia replica: " io scriverei tutto!"

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

Alis

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 862 (0.10 al dì)
Location: Corsico
Corso:
Anno:
Time Online: 10 Days, 16:32:12 [...]
Status: Offline

Post actions:

ok grazie flavia!!

invece questo esercizio come ti viene?
Vx(Q(x,x)-->P(x)) sequente ESISTExESISTEy nonQ(x,y)-->ESISTExP(x)

all'ultimo ramo che non si chiude mi viene così: sequente Q(b,b), Q(a,a), Q(a,b), P(a), P(b)

D={a,b}
Interpretazione di Q è {b,a}, { }

giusto?

ho un pò di confusione sull'interpretazione!

Last edited by Alis on 17-12-2004 at 14:59

joker402

dsy core staff

User info:

Registered: Nov 2002
Posts: 2429 (0.29 al dì)
Location: Milano
Corso: TICom
Anno: II+
Time Online: 49 Days, 14:29:03: [...]
Status: Offline

Post actions:

Originally posted by Alis
invece questo esercizio come ti viene?
[...]
D={a,b}
Interpretazione di Q è {b,a}, { }

giusto?

A me viene esattamente così, e la scrittura dell'interpretazione l'avrei fatta uguale. (anzi, a dire il vero mi ero dimenticato l'insieme vuoto )

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

Flavia

Regina degli avatar

User info:

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

Post actions:

Originally posted by Alis


D={a,b}
Interpretazione di Q è {b,a}, { }

giusto?

ho un pò di confusione sull'interpretazione!

Io non metterei così però!Magari è solo una cavolata, però al posto della virgola metterei un "oppure"!Magari la virgola sembra che debbano valere contemporaneamente!

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

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.55 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

ma in questo caso,non essendoci nulla a sinistra del sequente l'interpretazione potrebbe essere Q {b,a} oppure { },insomma...io metterei "potrebbe" non "è" o sbaglio???


p.s. queste piccolezze mi mandano a male

__________________
"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

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

Qualcuno ha lo svolgimento del contromodello
che la prof aveva fatto risolvere a quella ragazza, e lo può postare?

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

poi su questo ci ho un dubbione...

perognixR(x,f(x)), perognixperogniy(R(f(x),f(y))->R(x,y)) ------>(sequente)

voi come lo fareste?!

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol