Breve dizionario di logica

Abduzione/Alfabeto/Algebra/Algebra della logica/ Algoritmo/Analisi matematica/Analisi non standard/ Antecedente/Antinomia/Apodosi/Appartenenza (relazione di)/Aritmetica/Assioma/Assiomatica/ Assiomatizzabilità/Assiomatizzazione/Assiomi di Peano/Assiomi (indipendenza degli)/Associativa (proprietà)/Assorbimento (proprietà di)/Base di connettivi/Bicondizionale/Boole (algebra di)/ Bourbakismo/Calcolo dei seguenti/Calcolo della deduzione naturale/Calcolo logico/Campo/Campo d'azione di un quantificatore/Cardinali (numeri)/ Categorematico/Categoricità/Church (teorema di)/ Church (tesi di)/Classe/Coerenza/Coerenza (teorema di)/Commutativa (proprietà)/Compattezza (teorema di)/Complementare (insieme)/Completezza semantica/Completezza sintattica/Completezza (teorema di)/Concetto primitivo/Condizionale/ Condizionale controfattuale/Condizionale materiale/ Condizionale stretto/Condizione necessaria e sufficiente/Congiunzione/Connettivo/Connettivo principale di una forma proposizionale/Connettivo vero-funzionale/Conseguente/Conseguenza logica/ Consequentia mirabilis/Consistenza/ Contraddittorietà /Contraddizione/Contraria di una proposizione condizionale/Controesempio/ Contronominale di una proposizione condizionale/ Convenzionalismo/ Corollario/Correttezza/ Correttezza (teorema di)/ Costanti funzionali/ Costanti individuali/Costanti logiche/Costanti predicative/ Crisippo (legge di)/ Decidibilità/Decisione (problema della)/Dedekind (teorema di)/ Deduzione (teorema di)/Definizione/ Definizione induttiva/De Morgan (leggi di)/Derivabile (formula)/Derivazione/Descrizione definita/ Descrizioni (teoria delle)/ Diallele/ Dimostrazione/ Dimostrazione per assurdo/ Dimostrazione (teoria della)/Disgiunzione esclusiva/ Disgiunzione inclusiva/Distributiva (proprietà)/ Dominio/ Enumerabilità/Enunciato/Equivalenza di teorie/ Equivalenza logica/Esistenza del modello (teorema di)/Esportazione (legge di)/ Estensione/ Estensione di teorie/Fallacia/Fallacia dell'affermazione del conseguente/Fallacia della negazione dell'antecedente /Filone di Megara (legge di)/Fondamenti della matematica/Formalismo matematico/Formalizzazione /Forma proposizionale/ Formule (insieme delle)/Frege (legge di)/Funzione/ Funzione caratteristica/Funzione computabile/ Funzione proposizionale/Funzione ricorsiva/Funzione Turing computabile/Geometria euclidea e non/ Gödelizzazione/Gödel (teoremi di incompletezza di)/Gruppo/Heyting (algebra di)/Hilbert (programma di)/Idempotenza (proprietà di)/Identità/ Implicazione/Implicazione materiale/Implicazione stretta/Importazione (legge di)/Inclusione (relazione di)/Incompletezza semantica/Incompletezza sintattica/ Indecidibilità/