Sei sulla pagina 1di 2

Prova di Logica Matematica, Esame del 29 Gennaio 2013

Versione 1

Su ogni foglio, indicare Cognome, Nome e Matricola. Esercizi 1 e 2 primo foglio, Esercizi 3 e 4 secondo foglio Consegnare questo foglio insieme ai due fogli con le soluzioni. Cognome: Matricola: PRIMO FOGLIO Esercizio 1 (8pt) Dimostrare mediante deduzione naturale la seguente regola: x(P (x) y (Q(y ) R(x, y ))) x(P (x) Q(x)) y (Q(y ) R(y, y )) Nome:

Esercizio 2 (8pt) Dati termini t, s di un linguaggio del primordine, dimostrare per induzione strutturale sul termine t che per ogni variabile y che non compare in t: t[x/y ][y/s] = t[x/s] [Si ricordi, nella base dellinduzione, di considerare tutti i casi.] Soluzione: Base: t ` e una variabile. Ci sono due casi (si ricordi che t = y ` e escluso per ipotesi). Se t = x allora t[x/y ][y/s] = y [y/s] = s = x[x/s], mentre se t = z per qualche z = x allora t[x/y ][y/s] = z = t[x/s]. Se t = c per una costante c, evidentemente non avviene alcuna sostituzione e lequazione ` e vera. Passo induttivo: Sia t = f (t1 , . . . , tn ) e si assuma che ti [x/y ][y/s] = ti [x/s] per i = 1, . . . , n. Allora f (t1 , . . . , tn )[x/y ][y/s] = = f (t1 [x/y ][y/s], . . . , tn [x/y ][y/s]) = f (t1 [x/s], . . . , tn [x/s]) per ipotesi induttiva = f (t1 , . . . , tn )[x/s] SECONDO FOGLIO

Esercizio 3 (8pt) In un linguaggio del primordine con simboli predicativi unari P, Q, dimostrare che xP (x), y x(P (y ) Q(x)) |= xQ(x) Soluzione: M |= xQ(x) se e solo se QM = M |= xP (x) se e solo se P M = Quindi per ottenere che M |= y x(P (y ) Q(x)) ` e suciente avere un M elemento a M = M tale che a / P per cui assegnando ad y il valore a si ottiene che x(P (y ) Q(x)) ` e vera in M. Quindi basta considerare un modello con almeno due elementi a, b, tale che QM = e P M = {b}. Esercizio 4 (8pt) Formalizzare a seguente frase: per ogni numero pari k ci sono primi p arbitrariamente grandi tali che p + k ` e primo e non c` e nessun primo compreso tra p e p+k utilizzando il linguaggio contenente i simboli: +, < e il predicato unario P per essere un numero primo. Soluzione: xy z (y < z P (z ) P (z + x + x) w(z < w w < z + x + x P (w)))