.dsy:it. - es modello/contromodello scelta multipla

.dsy:it.
//www.dsy.it

es modello/contromodello scelta multipla

Posted by asterix07 on 04-07-2010 19:24

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?