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:

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?

futurbaggio

U Frikkettone

User info:

Registered: Feb 2003
Posts: 774 (0.10 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline

Post actions:

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]

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:

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

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:

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

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:

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

Roberto

vero, ci stavo pensando anch'io mentre scrivevo...era solo per essere sicuro

MamboJambo#24

:: visual designer ::

User info:

Registered: Feb 2003
Posts: 563 (0.07 al dì)
Location: zona Mondo
Corso: comunicazione digitale
Anno: già dottore
Time Online: 8 Days, 3:14:09: [...]
Status: Offline

Post actions:

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

futurbaggio

U Frikkettone

User info:

Registered: Feb 2003
Posts: 774 (0.10 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline

Post actions:

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]

Last edited by futurbaggio on 14-12-2004 at 13:14

futurbaggio

U Frikkettone

User info:

Registered: Feb 2003
Posts: 774 (0.10 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline

Post actions:

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]

angelko

---

User info:

Registered: Jan 2004
Posts: 1393 (0.18 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline

Post actions:

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"

futurbaggio

U Frikkettone

User info:

Registered: Feb 2003
Posts: 774 (0.10 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline

Post actions:

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]

futurbaggio

U Frikkettone

User info:

Registered: Feb 2003
Posts: 774 (0.10 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline

Post actions:

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]

angelko

---

User info:

Registered: Jan 2004
Posts: 1393 (0.18 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline

Post actions:

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"

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:

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?

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

ops l'ho letto dopo....cmq meglio cosi la nostra soluzione è uguale quindi....

angelko

---

User info:

Registered: Jan 2004
Posts: 1393 (0.18 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline

Post actions:

bella!

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