Materia:Logica matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 29:
#[[Strumenti minimi di teoria degli insiemi|Strumenti minimi di teoria degli insiemi]]
#[[Ordinali, cardinali, induzione transfinita]]}}
{{cassetto3b
|titolo=Calcolo delle proposizioni
|testo=
#[[Il linguaggio formale delle proposizioni]]}}
* [[Linguaggi del primo ordine|Linguaggi del primo ordine]]
Le strutture ed i linguaggi del primo ordine. Termini, formule, insiemi definibili. Enunciati, teorie.
| |||