Materia:Logica matematica: differenze tra le versioni

nessun oggetto della modifica
Nessun oggetto della modifica
Nessun oggetto della modifica
#[[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.
83

contributi