asterix07

User info:

Registered: Nov 2007
Posts: 84 (0.01 al dì)
Location: Novara
Corso: Informatica
Anno: 2
Time Online: 1 Day, 9:21:44 [...]
Status: Offline

Post actions:

Ma come si eseguono questi tipi di esercizi?

Siano A l’insieme {a, b}, P, Q, R lettere predicative unarie. Stabilire per quali
(una o pi`u) delle seguenti interpretazioni I la struttura A = (A, I) `e un modello
per la formula
8x((P(x) ! Q(x)) ! R(x)) ^ 9x9y(P(x) ^ ¬R(y))

Potete spiegarmi anche (sempre nello stesso tipo di esercizo) richiede contromodello anzichè modello?