Strumenti Utente

Strumenti Sito


db:logica_formale

Logica formale

Approfondimenti

Info

Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti

Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ]

La Logica formale è un isomorfismo della teoria degli insiemi alla quale è strettamente collegata. Esiste una stretta analogia tra insiemi e connettivi logici. Questo porta a pensare che la Logica e la Teoria degli insiemi siano diversi aspetti di uno stesso ramo della Matematica.


Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org


db/logica_formale.txt · Ultima modifica: 13/04/2019 16:06 (modifica esterna)