Panico letterali massimali
Clicca QUI per vedere il messaggio nel forum |
| zacguyot |
non riesco a capire perchè spass mi da i letterali max in questo modo:
la mia precedenza è: A>S>D>O>N>G....
LPO come ordinamento
e alcune clausole mi tornano es.:
D(x)* O(x) -> .........prima per LPO2 e poi per LPO1
->O(c)* ............... perchè è sola nella clausola (e qui dovrebbe essere anche strettamente max)
G(x,y)* O(x)* -> D(y)* .... perchè la prima e la seconda nn sono confrontabili e neanche la prima e la terza quindi tutti e 3 max.
ma poi altre non mi tornano proprio, es.:
[**CORREZIONE!! avevo messo la I al posto della S**]
A(x)* S(y,x)* D(y) -> perchè qui nn sono tutti e 3?
S(x,y)* O(x) -> A(y)* e qui? perchè nn tutti max?
ciao! |
| zacguyot |
Ancora peggio, non mi trovo + neanche con G(x,y)* O(x)* -> D(y)*
perchè O(x) e D(y) nn sono confrontabili quindi un asterisco a testa ma G(x,y) nn dovrebbe essere senza asterischi perchè minore lpo di O(x) e D(y) ?!?!?!?
sto impazzendo :( |
|
|
|
