.dsy:it. - Logica matematica - Help! Esercizio di Logica

Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum

.dsy:it. Archive > Didattica > Corsi G - M > Logica matematica

Help! Esercizio di Logica
Clicca QUI per vedere il messaggio nel forum

marcooo

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.