Rispondo alla richiesta di scrivere le tipologie delle domande sul capitolo 5, quelle spiegate in una delle lezioni del mese di dicembre. Comunque, le tipologie delle domande (e le risposte a tale domande) si possono trovare anche nel capitolo 10 del volume (II edizione).
1. Cos'è una proposizione del primo ordine.
2. Cos'è una formula del primo ordine (ciò che si ottiene da una proposizione del primo ordine mediante un processo di "astrazione" d ogni contenuto extra-logioco...)
3. Cos'è un sistema di valori per le variabili libere di una formula del primo ordine.
4. Cos'è un modello, e cos'è un contromodello, di una formula del primo ordine.
5. Passare da una proposizione del primo ordine a una formula del primo ordine, e passare da una formula del primo ordine e da un sistema di valori per le sue variabili libere a una proposizione del primo ordine (v. il volume, da pagina 247 a pagina 252) .
6. Cos'è la chiusura esistenziale, e cos'è la chiusura universale, di una formula del primo ordine.
7. Quando una formula del primo ordine è detta soddisfacibile, o verità logica, o falsificabile, o falsità logica..Qual è la negazione di soddisfacibile, o di verità logica, o di falsificabile , o di falsità logica,
8. Cosa vuol dire che una formula del primo ordine A è conseguenza logica di un insieme di formule M del primo ordine.
9. Cosa dice il teorema di incompletezza della logica.
10. Cosa dice il teorema di completezza della logica del primo ordine.
1. Cos'è una proposizione del primo ordine.
2. Cos'è una formula del primo ordine (ciò che si ottiene da una proposizione del primo ordine mediante un processo di "astrazione" d ogni contenuto extra-logioco...)
3. Cos'è un sistema di valori per le variabili libere di una formula del primo ordine.
4. Cos'è un modello, e cos'è un contromodello, di una formula del primo ordine.
5. Passare da una proposizione del primo ordine a una formula del primo ordine, e passare da una formula del primo ordine e da un sistema di valori per le sue variabili libere a una proposizione del primo ordine (v. il volume, da pagina 247 a pagina 252) .
6. Cos'è la chiusura esistenziale, e cos'è la chiusura universale, di una formula del primo ordine.
7. Quando una formula del primo ordine è detta soddisfacibile, o verità logica, o falsificabile, o falsità logica..Qual è la negazione di soddisfacibile, o di verità logica, o di falsificabile , o di falsità logica,
8. Cosa vuol dire che una formula del primo ordine A è conseguenza logica di un insieme di formule M del primo ordine.
9. Cosa dice il teorema di incompletezza della logica.
10. Cosa dice il teorema di completezza della logica del primo ordine.
Gentilissimo professore,
RispondiEliminala domanda numero tre mi risulta ostica.
Potrebbe, per favore, fornire dei chiarimenti a riguardo?
Cordiali Saluti.
E.B.
Un modello è una attribuzione di valori per le variabili, con la quale la formula diviene una proposizione vera.
EliminaUn contromodello è una attribuzione di valori per le variabili, con la quale la formula diviene una proposizione falsa.
Buongiorno Professore,
RispondiEliminavolevo chiederle la cortesia di chiarirmi quale è la risposta alla domanda : (Cos'è un sistema di valori per le variabili libere di una formula del primo ordine).
Grazie
Cordiali saluti