[COMPITINO LOGICA] Soluzioni & commenti
Clicca QUI per vedere il messaggio nel forum |
| joker402 |
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 :D) |
| angelko |
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... |
| GinoPilotino |
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 :wall: :sighsob: |
| karma |
scusate se esco un po' ot ma quante tipologie di compito c'erano?
+ o - graze scusate |
| joker402 |
| Almeno due, ma non siamo riusciti ancora a capirlo... |
| luna |
| credo anche piu' di due.. |
| Barone |
Originally posted by luna
credo anche piu' di due..
da quello che mi9 hanno detto la prof ha un programmino per generare sequenti..quindi magari quella parte ha un numero di versioni molto elevato..per il restio credo ce ne siano almeno 4 versioni. |
|
|
|
