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:

grazie ragazzi!!

Originally posted by Flavia
Ho messo nell'area filez l'esercizio 2 dei vecchi temi d'esame!

Inoltre la frase che Ghilardi ha svolto a lezione questo mercoledì

Inoltre lo svolgimento tipico dell'esercizio che ci sarà nel compitino della Bucalo sulle tavole di verità, i modelli e le conseguenze logiche!

un po' Off topic..ma avete notato in questo esercizio http://www.dsy.it/forum/attachment.php?s=&postid=247705 postato dalla dolce e cara Flavy cosa c'e' scritto in basso a destra????
Comunque è stato Angelko!!!

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

Parapapaaa:

nella frase:

"Se la sedia non si rompe, Luigino finirà i compiti di matematica."

In questo caso ho due frasi separete:ho due E separate unite da un implica, sono separate perchè i soggetti sono diversi.
Ma ho LA sedia: questa la devo sollevare solo dentro la sua frase(la prima E) o prima di entrambe poichè c'è il LA???

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

urcodiaz

User info:

Registered: Jan 2003
Posts: 83 (0.01 al dì)
Location:
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 1 Day, 1:26:51 [...]
Status: Offline

Post actions:

scusate mi è venuto un dubbio:

Vx(P(x)implicaQ(x)) V Vx(P(x)implicaS(x))

supponendo che sia la parte a dx del sequente, i 2 Vx (per ogni x) a destra si comportano allo stesso modo, introducendo una nuova variabile.

La domanda è:

se sostituisco al primo Vx x=a posso farlo anche nel secondo Vx oppure devo mettere x=b?

in pratica:

primo modo: P(a)implicaQ(a) V P(a)implicaQ(a)

secondo modo: P(a)implicaQ(a) V P(b)implicaQ(b)

quale dei due è giusto?
questo discorso vale anche per Esiste a sx...

Grazie!

__________________

internato

.primate.

User info:

Registered: Nov 2003
Posts: 67 (0.01 al dì)
Location: New Detroit Stamping
Corso: Comunicazione Digitale
Anno: 3
Time Online: 19:06:22 [...]
Status: Offline

Post actions:

innanzitutto devi risolvere il V tra i due "per ogni".....solo dopo questo passaggio puoi istanziare nuove variabili o inserire quelle già usate

__________________
C'mon and go.........with me.......

Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.58 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

Dipende tutto dal fatto che ti trovi a dx o a sx del sequente.

Quando introduci un termine nuovo c deve essere necessariamente un termine mai comparso nella dimostrazione...Per cui quando istanzi le x dei due Vx a destra del sequente devono essere necessariamente due istanze nuove della x..quindi a e b.(stessa cosa per Ex a sinistra).

invece negli altri casi qundo istanzi parametri t che poccono essere gia stati utilizzati dovresti essere libero di gfare quello che ti è piu comodo per finire l'es.

Qualcuno confermi cio che ho detto.

internato

.primate.

User info:

Registered: Nov 2003
Posts: 67 (0.01 al dì)
Location: New Detroit Stamping
Corso: Comunicazione Digitale
Anno: 3
Time Online: 19:06:22 [...]
Status: Offline

Post actions:

essendo in questo caso un V, nel passaggio dopo scrivi i due "per ogni" a dx, e solo ora puoi istanziare ma con 2 variabili diverse....ok??

__________________
C'mon and go.........with me.......

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:

Intervento del moderatore:
fatto un merge con il thread degli esercizi

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

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:

Originally posted by internato
essendo in questo caso un V, nel passaggio dopo scrivi i due "per ogni" a dx, e solo ora puoi istanziare ma con 2 variabili diverse....ok??

confermo cio' che dite,sia internato che barone

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

urcodiaz

User info:

Registered: Jan 2003
Posts: 83 (0.01 al dì)
Location:
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 1 Day, 1:26:51 [...]
Status: Offline

Post actions:

ok, ho eseguito l'esercizio introducendo con il primo per ogni la a e con il secondo per ogni la b...funziona! ho verificato tutti i casi e le interpretazioni e dovrebbe essere giusto...!!

Grandi!

altra piccola domandina:

nella ricerca di un contromodello possono chiudersi dei rami, l'importante è che ne rimanga aperto almeno uno. Nell'ultimo esercizio che ho fatto rimanevano aperti tre rami...ne studio uno solo per le interpretazioni e robe varie vero?
gli altri al max li uso per controllare.

Posso anche fermarmi appena trovo un ramo che nn si chiude e stud subito quello senza finire gli altri?

Grasias!

__________________

angelko

---

User info:

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

Post actions:

Originally posted by bau
Parapapaaa:

nella frase:

"Se la sedia non si rompe, Luigino finirà i compiti di matematica."

In questo caso ho due frasi separete:ho due E separate unite da un implica, sono separate perchè i soggetti sono diversi.
Ma ho LA sedia: questa la devo sollevare solo dentro la sua frase(la prima E) o prima di entrambe poichè c'è il LA???

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

angelko

---

User info:

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

Post actions:

Originally posted by urcodiaz
ok, ho eseguito l'esercizio introducendo con il primo per ogni la a e con il secondo per ogni la b...funziona! ho verificato tutti i casi e le interpretazioni e dovrebbe essere giusto...!!

Grandi!

altra piccola domandina:

nella ricerca di un contromodello possono chiudersi dei rami, l'importante è che ne rimanga aperto almeno uno. Nell'ultimo esercizio che ho fatto rimanevano aperti tre rami...ne studio uno solo per le interpretazioni e robe varie vero?
gli altri al max li uso per controllare.

Posso anche fermarmi appena trovo un ramo che nn si chiude e stud subito quello senza finire gli altri?

Grasias!

si a tutte le tue domande!
ne studi solo uno e puoi fermarti appena ne trovi uno che non si chiude!

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

boban

User info:

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

Post actions:

ma nei contromodelli se trovo diversi rami che non si chiudono le interpretazioni dovranno essere sempre le stesse in tutti i rami???
puo essere quindi una sorta di verifica???

urcodiaz

User info:

Registered: Jan 2003
Posts: 83 (0.01 al dì)
Location:
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 1 Day, 1:26:51 [...]
Status: Offline

Post actions:

se il sequente parte con (per ogni) a sx e (esiste) a dx entrambi sostituiscono la variabile con un'altra già utilizzata all'interno del sequente. Ma in questo caso ho solo x e y di partenza. aggiung a anche se prima nn compare mai?

ancora grazie...

__________________

boban

User info:

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

Post actions:

si devi istanziare un termine nuovo se non ce ne sono di vecchi.....

qualcuno mi sa dire l'interpretazioni dell'es 23 di pagina 44??

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:

grazie angelko,coyote spaziale :

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