Logica matematica/Insiemi: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 24:
Ci limitiamo qui ad introdurre dei concetti di base delle operazioni vero-funzionali utilizzate nella definizione di insiemi, e rimandiamo alla logica proposizionale per un'introduzione formale agli enunciati e alla loro costruzione tramite ''connettivi logici''. Sono operazioni vero-funzionali <math>non,\ e,\ oppure,\ se...allora,\ sse</math>.
 
Se <math>A</math> non menziona operazioni vero-funzionali, allora è un enunciato elementare (anche detto ''atomo''), ed è verificato in base al contesto.
 
{{Avanzamento|25%|31 dicembre 2015}}