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

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

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

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"

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"

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!

__________________

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!

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

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

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"

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

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

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"

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?

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?

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

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

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

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