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:

ovviamente a lezione della bucalo non c'ero (), e sto provando di mio a sviluppare i contromodelli.
volevo sapere una cosa: può accadere che se sviluppo un ramo ottengo sempre una ramificazione in due rami dove uno di questi si chiude sempre con un assioma mentre l'altro non si chiude mai?

es. ho provato a risolvere il primo esercizio d'esempio che c'è sulle dispense ma l'ho fatto diversamente dalla prof. Io l'ho risolto come segue:

Ax(P(x)-->Q(x)) ==> ExP(x) --> AxQ(x)
--------------------------------------------------
Ax(P(x)-->Q(x)), ExP(x) ==> AxQ(x)
----------------------------------------------
Ax(P(x)-->Q(x)), P(a) ==> AxQ(x)
---------------------------------------------
Ax(P(x)-->Q(x)), P(a) ==> Q(b)
-------------------------------------------
Ax(P(x)-->Q(x)), P(a)-->Q(a), P(a) ==> Q(b)
-------------------------------------------------------------

ora avrei due rami:

1) Ax(P(x)-->Q(x)), P(a) ==> Q(b), P(a)
2) Ax(P(x)-->Q(x)), P(a), Q(a) ==> Q(b)

sviluppo il secondo ramo e viene

Ax(...), P(b)-->Q(b), P(a), Q(a) ==> Q(b)

a questo punto ottengo due rami dove

1a) Ax(...), P(a), Q(a) ==> Q(b), P(b)
2a) Ax(...), Q(b), P(a), Q(a) ==> Q(b)

ora, il secondo ramo è un assioma mentre il primo se lo sviluppo continuo ad avere un ramo di sinistra che non si chiude mai mentre il ramo di destra è sempre un assioma.
E' corretto come svolgimento?

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:

E'esattamente la definizione di contromodello!

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

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:

fico

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:

Vero??????

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

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:

Spettacolo

papousek

Prisoner

User info:

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

Post actions:

nn ci capisco na mazza.....uffa

__________________
Break Out

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 papousek
nn ci capisco na mazza.....uffa

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

Ciao a tutti
Non ho potuto seguire le lezioni di logica...e fatico un po' a capire come funzionano i cntromodelli...
...qualcuno mi sa dire qualcosa a riguardo?
Ho chiaro che si lavora su un ramo che non chiude,
ma non ho capito la parte finale, quando si scrive la soluzione
Grazie!

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

Scrivi un dominio D, un insieme, che ha come elementi tutti i termini che hai usato (a, b, c).
Scrivi che tutte le formule che hai a sinistra sono vere e tutte quelle che hai a destra false.
Se ad esempio a sinistra hai P(b) e Q(a) e a destra P(a),
scrivi che il dominio [ l'insieme degli elementi a eb, che l'intepretazione di P e' l'insieme che contiene solo b e quella di Q e' l'insieme che contiene solo a!


Domanda: un tizio che non so chi sia ma che mi saluta mi ha chiesto una cosa che non so neanche io.
Ad esempio, nel caso sopracitato, Q(b) non compare da nessuna parte. Io cosa devo scrivere? che di Q(b) non so nulla?

Come nell'esercizio che aveva corretto in classe: non comparivano formule a sinistra, a destra comprarivano solo R(a,b), R(b,b), R(a,a). Quindi lei aveva detto che l'interpretazione di R era o l'insieme vuoto (dato che a sinistra non compariva nulla) oppure R(b,a), che nelle formule non compariva..

Cosa devo scrivere??????L'interpretazione di R e' l'insieme vuoto oppure devo scrivere:" Potrebbe essere (b,a)"!

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

Belle domande
Intanto grazie mille per la risposta...ah: quando dici tutte le formule a sin sono vere, intendi le formule che mi rimangono alla fine dell'es, sul ramo che nn si chiude?
Provo a informarmi per vedere se trovo risposta alle tue domande

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

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 Flavia

Scrivi un dominio D, un insieme, che ha come elementi tutti i termini che hai usato (a, b, c).
Scrivi che tutte le formule che hai a sinistra sono vere e tutte quelle che hai a destra false.
Se ad esempio a sinistra hai P(b) e Q(a) e a destra P(a),
scrivi che il dominio [ l'insieme degli elementi a eb, che l'intepretazione di P e' l'insieme che contiene solo b e quella di Q e' l'insieme che contiene solo a!

Domanda: un tizio che non so chi sia ma che mi saluta mi ha chiesto una cosa che non so neanche io.
Ad esempio, nel caso sopracitato, Q(b) non compare da nessuna parte. Io cosa devo scrivere? che di Q(b) non so nulla?

Come nell'esercizio che aveva corretto in classe: non comparivano formule a sinistra, a destra comprarivano solo R(a,b), R(b,b), R(a,a). Quindi lei aveva detto che l'interpretazione di R era o l'insieme vuoto (dato che a sinistra non compariva nulla) oppure R(b,a), che nelle formule non compariva..

Cosa devo scrivere??????L'interpretazione di R e' l'insieme vuoto oppure devo scrivere:" Potrebbe essere (b,a)"!

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

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 gli appunti dell'ultima lezione dalla prof?!
Aveva fatto i contromodelli, giusto?!

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

Originally posted by angelko
allora, nel secondo caso, dell'esercizio fatto in classe, mi ricordo bene che la bucalo aveva detto che era indifferente scrivere che l'interpretazione di R era insieme vuoto o che potrebbe essere (b,a), quindi qualunque cosa scrivi va bene!

invece nel primo caso è diverso perchè se hai già Q(a) a sinistra (mi sto riferendo all'esempio che hai scritto sopra) l'interpretazione di Q è {a} e basta, Q(b) non lo prendi neanche in considerazione!

Ci siamo Angy!

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

Randall

.arcimaestro.

User info:

Registered: Oct 2001
Posts: 327 (0.04 al dì)
Location: Milano
Corso: TICom
Anno: Laureato
Time Online: 4 Days, 4:53:15 [...]
Status: Offline

Post actions:

Volevo chiedervi una cosa riguardo l'istanziazione dei perogni sinistri e esiste destri durante la ricerca di un contromodello.

Mi pare che la prof abbia detto che in un esercizio di questo tipo bisogna istanziare su tutte le variabili già introdotte.
Quindi con un sequente di questo tipo

avendo già introdotto i termini a e b, alla fine ottengo quattro istanziazioni,? E' corretto?



[Edit:] naturalmente il sequente non è completo, ho tralasciato le altre formule che non erano attinenti all'esempio.

Grazie.

Ciao
Ste

__________________
Dare una laurea in psicologia a me
è come dare una laurea in legge a Berlusconi
--------------------------Roberto Benigni-----

Last edited by Randall on 13-12-2004 at 17:03

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:

Certo, 4 instanziazioni!

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