Materia:Logica matematica: differenze tra le versioni

nessun oggetto della modifica
Nessun oggetto della modifica
Nessun oggetto della modifica
|titolo=Calcolo delle proposizioni
|testo=
#[[logica_matematica/Il linguaggio formale delle proposizioni|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