Ho un esercizio che chiede di trovare un'interpretazione vera per la formula qui di seguito:
$AAxP(x)vvAAxnotP(x)$
x è una variabile, il dominio è $NN$ e la soluzione dice semplicemente: "P è vuota o totale"; ma non è proprio una interpretazione giusto? Per esserlo dovrei scegliere una relazione precisa
Ho un altro esempio che non capisco:
con la formula $AAxEEyR(x,y)^^notAAxP(x)$, la soluzione dice che è vera se R è seriale e P non totale, per esempio se R è "<" e P è "essere pari"
Perchè questa interpretazione dovrebbe essere vera? se io uso x=4, y=5 ho "4<5 e x non pari"...la quale mi sembra decisamente falsa, perchè la soluzione dice che è vera quindi?