UZI

free pain dispenser

User info:

Registered: Mar 2003
Posts: 2211 (0.28 al dì)
Location: monza - troppi fighetti
Corso: com. dig.
Anno: Dottor Morte
Time Online: 14 Days, 4:46:06: [...]
Status: Offline

Post actions:

[logica] come si fa' sto esercizio?!?

c'è questo esercizio, sulle dimostrazioni, che mi lascia basito:

es.31 pag.39 dispensa di logica

AxR(x,f(a)) => EyR(g(y),y)


naturalmente A è 'per ogni' ed E 'esiste'...

aiutatemi, vi prego

__________________
those who test will find a bullet in they chest
put ta rest
by a brotha who was hopeless
grow up broke on tha rope of insanity
how many pistols smoking coming from a broken family

UZI

free pain dispenser

User info:

Registered: Mar 2003
Posts: 2211 (0.28 al dì)
Location: monza - troppi fighetti
Corso: com. dig.
Anno: Dottor Morte
Time Online: 14 Days, 4:46:06: [...]
Status: Offline

Post actions:

aspè... si fà forse così?

AxR(x,f(a)) => EyR(g(y),y)
AxR(x,f(a)) => EyR(g(y),y) , R(g(f(a)),f(a))
AxR(x,f(a)) , R(g(f(a)),f(a)) => EyR(g(y),y) , R(g(f(a)),f(a))

è l'unica cosa sensata che mi è venuta in mente...


che figata passare il sabato sera a casa con l'influenza a fare gli esercizi di logica... mi vien da sboccare

__________________
those who test will find a bullet in they chest
put ta rest
by a brotha who was hopeless
grow up broke on tha rope of insanity
how many pistols smoking coming from a broken family

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.40 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

Certo, è così!

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

UZI

free pain dispenser

User info:

Registered: Mar 2003
Posts: 2211 (0.28 al dì)
Location: monza - troppi fighetti
Corso: com. dig.
Anno: Dottor Morte
Time Online: 14 Days, 4:46:06: [...]
Status: Offline

Post actions:

Originally posted by Flavia
Certo, è così!

OK Grazie!!!

sapevo di poter contare su di te!

__________________
those who test will find a bullet in they chest
put ta rest
by a brotha who was hopeless
grow up broke on tha rope of insanity
how many pistols smoking coming from a broken family

Biffone

.consigliere.

User info:

Registered: Jul 2002
Posts: 141 (0.02 al dì)
Location: Monza
Corso: Comunicazione Digitale
Anno: 3
Time Online: 7 Days, 1:08:09: [...]
Status: Offline

Post actions:

svolgendo come primo passaggio l'implica a sinistra si ottengono due rami:

questo ramo
=> esiste y ( per ogni x non P(x)), non Q(a)


come si risolve?
c'è forse un errore nel testo?


grazie

N@RV1

User info:

Registered: Jan 2004
Posts: 759 (0.10 al dì)
Location: Garbagnate Milanese
Corso: TICOM
Anno: Primo
Time Online: 9 Days, 9:55:12 [...]
Status: Offline

Post actions:

Originally posted by Biffone
svolgendo come primo passaggio l'implica a sinistra si ottengono due rami:

questo ramo
=> esiste y ( per ogni x non P(x)), non Q(a)


come si risolve?
c'è forse un errore nel testo?


grazie

__________________
.:N@RV!:.

Biffone

.consigliere.

User info:

Registered: Jul 2002
Posts: 141 (0.02 al dì)
Location: Monza
Corso: Comunicazione Digitale
Anno: 3
Time Online: 7 Days, 1:08:09: [...]
Status: Offline

Post actions:

secondo me manca una parte di testo.
Guarda la parte destra, doce c'è esiste y (per ogni x ........etc

manca il termine y all'interno della parentesi

N@RV1

User info:

Registered: Jan 2004
Posts: 759 (0.10 al dì)
Location: Garbagnate Milanese
Corso: TICOM
Anno: Primo
Time Online: 9 Days, 9:55:12 [...]
Status: Offline

Post actions:

Originally posted by Biffone
secondo me manca una parte di testo.
Guarda la parte destra, doce c'è esiste y (per ogni x ........etc

manca il termine y all'interno della parentesi

uhm...hai ragione..allora è cannato qualcosa... No?!

__________________
.:N@RV!:.

Mifune

dsy moderator

User info:

Registered: Jul 2003
Posts: 3061 (0.39 al dì)
Location: Milano/ we Milano 3
Corso: Work
Anno: Work
Time Online: 20 Days, 22:03:07: [...]
Status: Offline

Post actions:

domani provo a darci una occhiata ora nn riesco piu a ragiunar...

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog