Possibili domande esame
May 5, 2017
1. Mostrare che la formula 8x (P (x) _ :P (x)) è un teorema del calcolo della
deduzione naturale
2. Mostrare che l’enunciato 9x (P (x) ^ Q (x; c)) è vera nel modello fatto nel
modo seguente (si speci…cano dominio e funzione interpretazione)
3. Fare la tavola di verità di : !
_
4. Quando uno schema di argomento proposizionale si dice formalmente
valido?
5. Speci…care una possibile istanza dello schema
;
!
. Controllare se è
uno schema formalmente valido con le tavole di verità.
6. Quali sono le di¢ coltà che si incontrano nell’estendere alla logica del primo
ordine la de…nizione di schema valido incontrata in logica proposizionale?
Descrivere la via sintattica e la via semantica verso la risoluzione di tale
problema.
7. Enunciare la de…nizione induttiva di soddisfacimento di una formula in un
modello relativamente a una data assegnazione.
8. Descrivere il signi…cato …loso…co del teorema di completezza
9. Spiegare la nozione di algoritmo e le caratteristiche ascritte da Turing
all’attività di calcolo
10. Enunciare la de…nizione di macchina di Turing (o di con…gurazione, di
computazione)
11. Data la seguente macchina di Turing (si speci…ca la tavola delle istruzioni),
eseguire una computazione a partire dall’input speci…cato.
1
