| Logica matematica |
|---|
| Concetti generali | Linguaggio formale · Regole di formazione · Sistema formale · Sistema deduttivo · Dimostraione · Semantica formale · Formula ben formata · Insieme · Elemento · Classe · Logica classica · Conseguenza logica · Sistema assiomatico · Teoria dei tipi · Simbolo · Sintassi · Teoria |
|---|
| Logica tradizionale | Proposizione · Inferenza · Argomento · Validità · Sillogismo · Quadrato degli opposti · Diagramma di Venn |
|---|
| Logica proposizionale e logica booleana | Logica booleana · Calcolo proposizionale · Formula proposizionale · Connettivi logici · Quantificatore · Tabella di verità |
|---|
| Logica dei predicati | Teoria del primo ordine · Quantificatore · Predicato · Teoria del secondo ordine |
|---|
| Teoria degli insiemi | Insieme · Insieme vuoto · Enumerazione · Estensionalità · Insieme finito · Funzione · Sottoinsieme · Insieme potenza · Insieme numerabile · Insieme ricorsivo · Dominio · Insieme immagine · Coppia ordinata · Insieme non numerabile |
|---|
| Teoria dei modelli | Modello · Interpretazione · Modello non standard · Valore di verità · Validità |
|---|
| Teoria delle dimostrazioni | Dimostrazione · Sistema deduttivo · Sistema formale · Teorema · Conseguenza logica · Regola di inferenza · Sintassi |
|---|
| Computabilità | Algoritmo ricorsivo · Insieme ricorsivo · Insieme ricorsivamente enumerabile · Problema della decisione · Tesi di Church-Turing · Funzione calcolabile · Funzione ricorsiva primitiva |
|---|
