.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Help! Esercizio di Logica (http://www.dsy.it/forum/showthread.php?threadid=35433)

Help! Esercizio di Logica

L'appello si avvicina...
c'è qualcuno che potrebbe spiegarmi come risolvere gli esercizi del tipo:

Siano A l’insieme {a, b}, P lettera predicativa unaria, Q,R lettere
predicative binarie.
Stabilire per quali delle seguenti interpretazioni I la struttura A = (A, I) è un contromodello per la formula...

Non riesco proprio a capirli...
Grazie.