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

Originally posted by Randall
Da quello che ho capito devi sollevare al minimo possibile.
Ste

Originally posted by fabpicca
sinceramente non sono molto d'accordo con questa interpretazione.

Non ne capisco il fondamento teorico.

Originally posted by Barone
dici a me o ti riferisci al discorso in generale?

__________________
my website?|ubuntu linux|get Firefox|grazie Polonia |bagdad sour

"Come va che non ha le corna e le zampe di Caprone?" gli opposi. "Oh, Giuvà", mi disse il prete "adesso non si usa più.Satana è furbo". (I.Silone, Fontamara)
"Al giorno d'oggi non bisogna essere intelligenti, perchè la gente si offende" (un ubriacone)
"close your eyes / pay the price / for your paradise" (DM) "whatever you want to change/you'd better start changing it in your mind" (Transatlantic)

Es 27:
allora, prima svolgi il primo "perogniX,y,z etc" sostituendo a,b,c, e svolgi l'implica,
poi nel secondo perogniXYZ sostituisci a x e y "b", mentre a z "c",
e nell'esiste di destra sostituisci la x con la "b"...svolgi e ti viene!

capito o son stata poco chiara?

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

avevo già provato in quel modo, ma non mi convinceva.

Tra l'altro esagerando basta istanziare ogni volta x ,y,z sempre con a o b o c...e sarebbe lo stesso...

grazie comunque!

__________________
my website?|ubuntu linux|get Firefox|grazie Polonia |bagdad sour

"Come va che non ha le corna e le zampe di Caprone?" gli opposi. "Oh, Giuvà", mi disse il prete "adesso non si usa più.Satana è furbo". (I.Silone, Fontamara)
"Al giorno d'oggi non bisogna essere intelligenti, perchè la gente si offende" (un ubriacone)
"close your eyes / pay the price / for your paradise" (DM) "whatever you want to change/you'd better start changing it in your mind" (Transatlantic)

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!

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

grande flavietta!!!

vorrei fare una precisazione sull'esercizio di ghilardi che dice:
Un cliente ha comprato un prodotto che un commesso gli ha venduto.

la soluzione corretta per me è la seguente:

Ex(cliente( x ) e Ey(prodotto( y ) e difettoso( y ) e Ez(commesso( z ) e vendere( z,y,x )) e comprare( x,y ))))

nell'esercizio di Flavia comprare( x,y ) è tra parentesi dell'Ez fino all'ultimo passaggio, poi inspiegabilmente esce fuori dall'Ez ed entra nell'Ey.
Non so se è un errore di copiatura oppure se ghilardi ha sbagliato a svolgere l'esercizio (io non c'ero mercoledì a lezione) oppure se ho cannato IO

Ciao ho alcuni problemi nel risolvere gli esercizi della Bucalo nel caso in cui nel testo c'e' una cosa del tipo f(x) o g(x).
In particolare nell'esercizo 7 che e' gia' stato svolto da Futurbaggio ma che io ho risolto in maniera differente poiche' sono partito dall' E(esiste) di destra mentre futurbaggio dal A(per ogni) di sinistra.
Ecco il mio svolgimento con commento a fianco:

Q(a) , Ax(Q(x) e non P(f(x))-->P(x)) ====>ExP(x) /faccio E di dx

Q(a) , Ax(Q(x) e non P(f(x))-->P(x) =====>Ex(...),P(a) /faccio Ax di sx

Q(a) , Ax(...) , Q(a) e non P(f(a))-->P(a))===>P(a) /faccio --> di dx che si divide in due rami

1 ramo: Q(a),Ax(...) ===>P(a) , Q(a) e non P (f(a)) /faccio l'e di dx che si divide in due ulteriori rami

1/1 ramo: Q(a)===> P(a), Q(a) ASSIOMA
2/1 ramo: Q(a) ==> P(a) , non P(f(a)) /faccio il non di dx
P(f(a)), Q(a) ==> P(a)
Vedete questo secondo ramo non mi si chiude!!!!
Oppure dire P(f(a)) e' la stessa cosa che dire P(a)????

Rimango in attesa delle vostre risposte!!!!!!!!
Ciao e grazie a chiunque mi voglia aiutare!!!!!!!!!!!!!!

lo svolgimento del tuo esercizio è corretto.
dire P(f(a)) e P(a) dovrebbe (quando parlo io prendete sempre tutto col condizionale ) essere la stessa cosa

Originally posted by GinoPilotino
lo svolgimento del tuo esercizio è corretto.
dire P(f(a)) e P(a) dovrebbe (quando parlo io prendete sempre tutto col condizionale ) essere la stessa cosa

Originally posted by Axel
Ciao ho alcuni problemi nel risolvere gli esercizi della Bucalo nel caso in cui nel testo c'e' una cosa del tipo f(x) o g(x).
In particolare nell'esercizo 7 che e' gia' stato svolto da Futurbaggio ma che io ho risolto in maniera differente poiche' sono partito dall' E(esiste) di destra mentre futurbaggio dal A(per ogni) di sinistra.
Ecco il mio svolgimento con commento a fianco:

Q(a) , Ax(Q(x) e non P(f(x))-->P(x)) ====>ExP(x) /faccio E di dx

Q(a) , Ax(Q(x) e non P(f(x))-->P(x) =====>Ex(...),P(a) /faccio Ax di sx

Q(a) , Ax(...) , Q(a) e non P(f(a))-->P(a))===>P(a) /faccio --> di dx che si divide in due rami

1 ramo: Q(a),Ax(...) ===>P(a) , Q(a) e non P (f(a)) /faccio l'e di dx che si divide in due ulteriori rami

1/1 ramo: Q(a)===> P(a), Q(a) ASSIOMA
2/1 ramo: Q(a) ==> P(a) , non P(f(a)) /faccio il non di dx
P(f(a)), Q(a) ==> P(a)
Vedete questo secondo ramo non mi si chiude!!!!
Oppure dire P(f(a)) e' la stessa cosa che dire P(a)????

Rimango in attesa delle vostre risposte!!!!!!!!
Ciao e grazie a chiunque mi voglia aiutare!!!!!!!!!!!!!!

Originally posted by Axel

P(f(a)), Q(a) ==> P(a)
Vedete questo secondo ramo non mi si chiude!!!!
Oppure dire P(f(a)) e' la stessa cosa che dire P(a)????

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Originally posted by fabpicca
Tra l'altro esagerando basta istanziare ogni volta x ,y,z sempre con a o b o c...e sarebbe lo stesso...

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

ah quindi a e f(a) sono due variabili distinte?
grazie d'avermelo detto perchè se no avrei sbagliato all'esame