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:

l'esercizio sui modelli, di cui parlate è postato da qualche parte?!

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

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:

Originally posted by angelko
a me vengono cosi:

nel primo:
a)I modelli di A sono:
M1) p= T, q= F, s= T;
M2) p= T, q= F, s= T;
M3) p= F, q= T, s= F;
M4) p= F, q= F, s= F.

b)I modelli di {A,B} sono: M1, M2, M4

c) C non è conseguenza logica perché è falsa in M1 e M2

il secondo:
a)I modelli di A sono:
M1) p= T, q= T, r= F;
M2) p= T, q= F, r= F;
M3) p= F, q= T, r= F;
M4) p= F, q= F, r= T.

b) I modelli di (A,B) sono: M1,M2

c) C non è conseguenza logica perche è falsa in M1

il terzo non l'ho fatto

Nel primo mi si differenzia solo m2: p=T q=s=F, per il resto tutto uguale.

x barone: anche a me il terzo non viene conseguenza logica

Last edited by Alis on 19-12-2004 at 18:08

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 PuDDu
Bene, i due che hai fatto sono come i miei, ma c'è un errore penso di copiatura in M2 del primo dovrebbe essere: M2) p= T, q= F, s= F; sennò è uguale a M1.

__________________
"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 luna
hai ragione!non avevo visto la parentesi!

io ho fatto un procedimento diverso dal tuo,prima ho fatto i perogni a destra,visto che bisogna introdurre parametri nuovi,quindi a e b... quindi a destra mi ritrovo R (a,b)-->(P(a)seesolose notP(b)).
non credo cambi molto!sta di fatto che rimangono almeno due rami aperti...e tutti dicono che basta risolverne solo uno...
un ramo ad esempio mi viene

P(a),R(a,b),R(a,c),R(b,c),R(c,c),P(b)==>

be'...in questo caso il
D è formato da a,b e c

L'interpretazione dovrebbe essere Vera per P sia in a che in b
per R sia (a,b) sia (a,c) sia (b,c) sia (c,c)

P potrebbe essere vera o falsa in C...
Sinceramente ci ho capito ben poco di questi esercizi,perche' la prof ce li ha sempre dati semplici,mentre quelli sulle dispense,a mio parere,sono un bel casotto!

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

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:

un parametro nuovo ogni volta? ma non sostituisce x con una variabile nuova e poi mantiene sempre quella...

basta non apro più niente...come va va!

alla grande!

__________________

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 angelko
mi sembra che tu abbia fatto un errore!
quando svolgi il AxEy a sinistra, l'Ey introduce un parametro nuovo ogni volta, non puoi mettere solo c e basta! il dominio quindi è infinito! e le coppie di R che hai scritto sopra sono sbagliate!

ma scusa...l'esiste a sinistra non deve essere ripetuto...altrimenti che ci sta a fare a sinistra?secondo me non c'entra il fatto che ci sia il Perogni davanti,perche' poi rimarrebbe il perogni giustamente ma poi R(x,c) appunto perche' la y l'hai gia' cambiata tramite l'esiste...
Per il resto,dubbi identici..chissa come si fanno...urge l'aiuto di flavy!!

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

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:

lasciando in sospeso il nostro dubbio
...qualcuno mi sa dire i risultati dell'ese 48 e 49 a pag 45?...grazie.

Last edited by boban on 19-12-2004 at 20:04

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 luna
ma scusa...l'esiste a sinistra non deve essere ripetuto...altrimenti che ci sta a fare a sinistra?secondo me non c'entra il fatto che ci sia il Perogni davanti,perche' poi rimarrebbe il perogni giustamente ma poi R(x,c) appunto perche' la y l'hai gia' cambiata tramite l'esiste...
Per il resto,dubbi identici..chissa come si fanno...urge l'aiuto di flavy!!

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

Originally posted by angelko
il perognix davanti fa ripetere tutto il resto, quindi anche l'esistey si ripete ogni volta!

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:

puoi svolgerli entrambi insieme...solo che uno introduce un termine gia' esistente e l'altro uno nuovo...solo che,da come dice il fidato Angy,non devi ricopiare poi solo la formula del Perogni ma anche quella dell'esiste.
Quindi se ad esempio hai

AxEy (P(x)-->Q(y)) a sinistra del sequente

in questo caso risolvi la formula inserendo un parametro gia' esistente(ad es a) e uno nuovo(ad es b) solo che dovrai poi ricopiare di nuovo la formula come si fa sempre per il perogni a sinistra
Per cui
P(a)-->Q(b),AxEy(P(x)-->Q(y))...

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

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 luna
puoi svolgerli entrambi insieme...solo che uno introduce un termine gia' esistente e l'altro uno nuovo...solo che,da come dice il fidato Angy,non devi ricopiare poi solo la formula del Perogni ma anche quella dell'esiste.
Quindi se ad esempio hai

AxEy (P(x)-->Q(y)) a sinistra del sequente

in questo caso risolvi la formula inserendo un parametro gia' esistente(ad es a) e uno nuovo(ad es b) solo che dovrai poi ricopiare di nuovo la formula come si fa sempre per il perogni a sinistra
Per cui
P(a)-->Q(b),AxEy(P(x)-->Q(y))...

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

quindi se io mi trovo nel caso scritto da te...e ho ben due termini vecchi (a,b) scrivero:

P(a)-->Q(c),P(b)-->Q(d),AxEy(P(x)-->Q(y))...

dove c e d sono termini nuovi e ne avrei dovuti inserire altri ancora nuovi se avessi avuto piu di due termini vecchi....giusto?

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 boban
quindi se io mi trovo nel caso scritto da te...e ho ben due termini vecchi (a,b) scrivero:

P(a)-->Q(c),P(b)-->Q(d),AxEy(P(x)-->Q(y))...

dove c e d sono termini nuovi e ne avrei dovuti inserire altri ancora nuovi se avessi avuto piu di due termini vecchi....giusto?

beh occhio però che a questo punto anche 'c' e 'd' sono diventati termini gia presenti e quindi alla x adesso puoi sostituire anche quelli e cosi via ogni volta che ne introduci uno nuovo... in pratica va avanti all'infinito questo ramo

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

giusto, vero non ci avevo pensato....
grazie!!

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 angelko
beh occhio però che a questo punto anche 'c' e 'd' sono diventati termini gia presenti e quindi alla x adesso puoi sostituire anche quelli e cosi via ogni volta che ne introduci uno nuovo... in pratica va avanti all'infinito questo ramo

gia'! comunque si boban il tuo ragionamento e' giusto!

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