[Logica Matematica] Interpretazione enunciati

[memezio1]

Salve a tutti,
riprendo per mano questo corso e vorrei risolvere una categoria di esercizi che la volta scorsa ho saltato.

Di solito mi chiede di dimostrare la soddisfacibilità di un insieme di enunciati, come questo:

{ $EE$x ( p(x) $^^$ $AA$y $not$r(x,y) ), $AA$x $AA$y ( r(x,y) $=>$ r(y,x) ), $not$p(a), $AA$x ( $not$p(x) $=>$ $EE$y ( r(x,y) $^^$p(y) )) }

Guardo le soluzione, dove il docente definisce un'interpretazione I per gli enunciati

$D^I$ = {0,1,2} $a^I$ = 0, $p^I$ = {1,2}, $r^I$ = {(0,2),(2,0)}

il problema è che non mi viene fornita una spiegazione dettagliata.

Qualcuno mi può indirizzare? così mi risolvo tutti quelli simili degli anni passati...

Grazie!

[Lord K]

Ti propongo di pensare a cosa significa soddisfacibilità... poi la cosa dovrebbe essere, non dico immediata, ma decisamente semplice