marcooo

User info:

Registered: Sep 2007
Posts: 30 (0.00 al dì)
Location:
Corso: TLC
Anno: indefinito
Time Online: 20:38:41 [...]
Status: Offline

Post actions:

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.