[COMPITINO LOGICA] Soluzioni & commenti
Posted by joker402 on 20-12-2004 21:25
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)
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited