joker402

dsy core staff

User info:

Registered: Nov 2002
Posts: 2429 (0.29 al dì)
Location: Milano
Corso: TICom
Anno: II+
Time Online: 49 Days, 14:29:03: [...]
Status: Offline

Post actions:

Olà, so che molti non ne vorranno più sentir parlare di logica!! ma volevo confrontare le soluzioni degli esercizi.

Posto le mie di seguito, ho ricopiato anche il testo dell'es.2 perchè c'erano vari compiti diversi.

Es.2
AxAyR(x,y) -> NOT ExP(x) => NOT Ax NOT P(x) -> Ey NOT R(y,y)

Soluzione :
D={a,b,c}
Interpretazioni vere:
I(p)={a}
I(r)={(a,a),(b,b),(c,c)}
Interpretazioni che potrebbero essere vere:
I(p)={b}
I(r)={(a,b),(a,c),(b.a),(c,a),(c,b)}

Es.3
Formula A: 6 modelli
M1=TTF
M2=TFT
M3=TFF
M4=FTT
M5=FFT
M6=FFF

Formula B: 4 modelli, e cioè M1,M2,M5,M6

Formula C; non è conseguenza logica perché per M5 e M6 risulta F

Sono graditi confronti (ancora più graditi se mi dite che avete fatto come me )

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

angelko

---

User info:

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

Post actions:

uguale al mio

però io non ho scritto la parte sulle interpretazioni che potrebbero essere vere, aveva detto che non cambiava nulla e mi era venuto un dubbio in testa...

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

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:

ma si può che ho svolto tutto il compito corretto e ho sbagliato a scrivere le interpretazioni vere del contromodello per R???!!!
Mi sento come un calciatore che parte dalla sua area, scarta tutti e a porta vuota tira fuori

karma

:: EvangelistA ::

User info:

Registered: Feb 2003
Posts: 113 (0.01 al dì)
Location: Milano
Corso: Ingegneria Magica
Anno: 3
Time Online: 1 Day, 23:16:29 [...]
Status: Offline

Post actions:

scusate se esco un po' ot ma quante tipologie di compito c'erano?
+ o - graze scusate

__________________
Non è vero che i videogiochi condizionano i bambini! se così fosse dopo anni di pac-man passeremmo il tempo in locali semi-oscuri mangiando pillole colorate e ascoltando musica elettronica ripetitiva.

joker402

dsy core staff

User info:

Registered: Nov 2002
Posts: 2429 (0.29 al dì)
Location: Milano
Corso: TICom
Anno: II+
Time Online: 49 Days, 14:29:03: [...]
Status: Offline

Post actions:

Almeno due, ma non siamo riusciti ancora a capirlo...

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.55 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

credo anche piu' di due..

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Barone

non cambio mai avatar

User info:

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

Post actions:

Originally posted by luna
credo anche piu' di due..