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:

Ho messo on-line le soluzioni di alcuni esercizi della dispensa di logica, riguardano in particolare la ricerca di dimostrazioni.

Scaricatevi il pdf da qui:
http://www.dsy.it/forum/showthread.php?threadid=15546

Ringraziamo il magnifico OpenOffice che ha reso il tutto facile e senza perdita di stile.
Qualora qualcuno notasse errori o volesse qualche spiegazione può postare qui (non fatelo nell'area Filez perchè nn la controllo solitamente).

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 30-11-2004 at 19:35

Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.61 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

Ciao futur ho dato un occhio all'es 3..c'è qlc che nn mi torna dopo la prima divisione in due rami..ti posto la misa soluzione cosi se hai voglia dai un occhio veloce e vediamo dov è l'errore...(cmq credo che hai sbagliato qnd applichi la regola su implica e congiunzione in un passaggio solo..)ù

http://www.dsy.it/forum/showthread.php?threadid=15546

Last edited by Barone on 27-11-2004 at 15:20

Alis

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 862 (0.10 al dì)
Location: Corsico
Corso:
Anno:
Time Online: 10 Days, 16:32:12 [...]
Status: Offline

Post actions:

Originally posted by Barone
Ciao futur ho dato un occhio all'es 3..c'è qlc che nn mi torna dopo la prima divisione in due rami..ti posto la misa soluzione cosi se hai voglia dai un occhio veloce e vediamo dov è l'errore...(cmq credo che hai sbagliato qnd applichi la regola su implica e congiunzione in un passaggio solo..)ù

http://www.dsy.it/forum/showthread.php?threadid=15546

A me viene l'esercizio uguale al tuo!

Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.61 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

Originally posted by Alis
A me viene l'esercizio uguale al tuo!

Last edited by Barone on 27-11-2004 at 15:57

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:

....ho corretto il pdf...

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]

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:

scusate non ho capito nell-esercizio fatto da Barone (38.4)
nel ramo di destra, al penultimo passaggio quando viene inserito il nuovo parametro (b)...per quale motivo si mette (P(b) or Q(b)) e non (P(a) or Q(a)).....non capisco con quale criterio scelgo un parametro gia presente od uno nuovo..e tra i vecchi quale devo scegliere...

HELP!
grazie

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 boban
nel ramo di destra, al penultimo passaggio quando viene inserito il nuovo parametro (b)...per quale motivo si mette (P(b) or Q(b)) e non (P(a) or Q(a)).....non capisco con quale criterio scelgo un parametro gia presente od uno nuovo..e tra i vecchi quale devo scegliere...

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

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:

..quindi quando dobbiamo inserire un parametro vecchio (come nel caso del quantificatore esistenziale a destra) e ce n è presente più di uno, si usa quello che ci facilita le cose, a nostro piacere....giusto??

e se non ce ne fossero di parametri vecchi, che faccio..ne inserisco uno nuovo?

grazie

Last edited by boban on 01-12-2004 at 19:48

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 boban
..quindi quando dobbiamo inserire un parametro vecchio (come nel caso del quantificatore esistenziale a destra) e ce n è presente più di uno, si usa quello che ci facilita le cose, a nostro piacere....giusto??

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

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:

grazie...

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:

gli esercizi 21 e 32 di pag 39 qualcuno li ha svolti?
a me non vengono tutti assiomi!

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