Universita degli Studi di Bologna

Corso di Laurea in Informati a

Eser itazione s ritta di LOGICA
(4 luglio 2002)

 Si onsiderino le sentenze: (a) :C ! (D _ :A), (b) C ! (B _ :A), ( )

(:B ^ A) ! D. Si veri hi he e una onseguenza di a e b utilizzando
1. deduzione naturale
2. al olo dei sequenti
3. risoluzione proposizionale
 Si onsiderino le seguenti formule del prim'ordine:

1. (a) 8x9y(A(f (x; y); y) ^ 8x:A(x; y))

2. (b) 8x9y(A(x; y) ^ 8x:A(f (x; y); y))
Per ias una di esse si di a se si tratta o meno di una formula sod-
disfa ibile. In aso negativo se ne dimostri l'in onsistenza; in aso
aermativo, si fornis a una interpretazione he e un modello della for-
mula.
 Sia f una funzione iniettiva e non surgettiva. Formalizzare le assunzioni
pre edenti e dimostrare he esiste un x tale he x; f (x) e f (f (x)) sono
mutualmente distinti.