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

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

es modello/contromodello scelta multipla
Clicca QUI per vedere il messaggio nel forum

asterix07

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?