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

domanda scema ma non banale; se abbiamo
A v B v C
nella ricerca delle dimostrazioni, teoricamente questo non si dovrebbe leggere
A v (B v C) ?
quindi uno non dovrebbe risolvere prima il primo v?

Originally posted by GinoPilotino
domanda scema ma non banale; se abbiamo
A v B v C
nella ricerca delle dimostrazioni, teoricamente questo non si dovrebbe leggere
A v (B v C) ?
quindi uno non dovrebbe risolvere prima il primo v?

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

Dubbio atroce!:
se in un sequente ho, alla SINISTRA :

esistex esistey(Q(g(x)^Q(y,g(x)))

se sostituisco prima la x con una variab nuova tipo a, poi posso mettere in y la variabile g(a) ???

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

ops...ho sbagliato a scrivere
era:
esistex esistey(Q(g(x), y)^Q(y,g(x)))

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

Originally posted by futurbaggio
L'ordine nn cambia anche se lo svolgi come (A v B) v C... proprietà associativa!

Roberto

ragazzi mi sono appena messo a fare gli ex...

domanda da pivello:

quale è la priorità di calcolo nei sequenti??
cioè se io ho un sequente con ESISTE - PEROGNI - IMPLICA - NOT - AND - OR ... cosa vado a svolgere per prima??

mamma se sono indietro....
grazie...






-MJ-

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

Da un commento di Flavia nell'area Filez:
<<PROMEMORIA 2: il determinante "un" all'interno di un "se..allora" va interprteato come un "tutti">>

Flavia, l'hai postato in relazione alla frase "Se mi regali una penna nuova, la uso".
A me nn convince molto il fatto che "una penna nuova" sia sinonimo di "tutte le penne nuove", anche perchè logicamente nn aspetto che me le si compri tutte affinchè le usi...
Illuminami, anche perchè magari questo promemoria te l'ha segnalato Ghilardi.

Roberto

__________________
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 MamboJambo#24
quale è la priorità di calcolo nei sequenti??
cioè se io ho un sequente con ESISTE - PEROGNI - IMPLICA - NOT - AND - OR ... cosa vado a svolgere per prima??

__________________
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 futurbaggio
Da un commento di Flavia nell'area Filez:
<<PROMEMORIA 2: il determinante "un" all'interno di un "se..allora" va interprteato come un "tutti">>

Flavia, l'hai postato in relazione alla frase "Se mi regali una penna nuova, la uso".
A me nn convince molto il fatto che "una penna nuova" sia sinonimo di "tutte le penne nuove", anche perchè logicamente nn aspetto che me le si compri tutte affinchè le usi...
Illuminami, anche perchè magari questo promemoria te l'ha segnalato Ghilardi.

Roberto

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

Originally posted by angelko
io penso che si intenda come: qualsiasi penna nuova mi regali, la uso, quindi P incluso in Q.

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

Nello svolgimento dell'esercizio 11 di Flavia mi sembra che il SN "ogni città che incontra" sia stato sollevato troppo prima... ne risulta che l'albero è un po' sballato, come anche l'interpretazione finale nella logica del primo ordine.
Qualcuno l'ha fatto diversamente da Flavia?

Roberto
PS Flavia, domani mattina confrontiamo...

__________________
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 futurbaggio
Nello svolgimento dell'esercizio 11 di Flavia mi sembra che il SN "ogni città che incontra" sia stato sollevato troppo prima... ne risulta che l'albero è un po' sballato, come anche l'interpretazione finale nella logica del primo ordine.
Qualcuno l'ha fatto diversamente da Flavia?

Roberto
PS Flavia, domani mattina confrontiamo...

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

l'ho fatto e mi risulta diversamente......(cmq flavia nei suoi PROMEMORIA lo aveva scritto che c'erano alcuni errorini di sollevamento in quell esercizio)......
cmq la mia soluzione è:

viaggiare(Antonio) IMPLICA PEROGNIy(incontrare(Antonio y) AND città (y) IMPLICA visitare(Antonio y))

cosi anche per te?

Originally posted by angelko
si hai ragione!
ma infatti flavia l'aveva detto che lo postava lo stesso nonostante gli errori!

io l'ho fatto in modo diverso, ho sollevato su tutto Antonio e poi all'interno del secondo enunciato "ogni città che incontra" e mi esce cosi:

viaggiare(Antonio) --> PEROGNIy((città(y) AND incontra(Antonio,y)) --> visitare (Antonio, y))

bella!

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