Categoria:Logica matematica

A

• Algebra di Boole‎ (3 C, 22 P)
• Automi cellulari‎ (9 P)

C

• Connettivi logici‎ (11 P)

I

• Logica nell'informatica‎ (4 C, 22 P)

L

• Logica proposizionale‎ (2 C, 26 P)

R

• Ricorsione‎ (11 P)

T

• Teoremi di logica matematica‎ (12 P)
• Teoria degli insiemi‎ (1 C, 146 P)
• Teoria dei linguaggi formali‎ (2 C, 76 P)
• Teoria dei modelli‎ (7 P)
• Teoria della computazione‎ (6 C, 21 P)

• 03-XX
• Logica matematica

A

• Algebra di Heyting
• Algoritmo di Tison
• Ambito (logica)
• Anello booleano
• Aritmetica di Peano
• Aritmetica di Robinson
• Asserzione (logica)
• Assioma (matematica)
• Assioma logico
• Assioma proprio
• Assiomi per l'uguaglianza
• Autoinformazione

B

• Base di connettivi
• Base di Herbrand
• Egon Börger

C

• Chiusura deduttiva
• Chiusura universale
• Codice di Hamming
• Coerenza (logica matematica)
• Completezza (logica matematica)
• Condizione necessaria e sufficiente
• Connettivo logico
• Correttezza (logica matematica)
• Counting quantifier

D

• Decidibilità
• Deduzione naturale
• Dimostrazione matematica
• Distanza di Hamming
• Dominio del discorso
• Doppia negazione

E

• Esagono logico
• Estensione conservativa

F

• Fondamenti della matematica
• Formula atomica
• Formula ben formata
• Formula chiusa
• Formula di Barcan
• Funtori di Sheffer
• Funzione di ordine superiore
• Funzione di verità
• Funzione proposizionale

I

• Identità (logica moderna)
• Informazione parziale linearizzata

L

• Legge di Peirce
• Lemma del collasso di Mostowski
• Lemma di König
• Linguaggio del primo ordine
• Linguaggio dell'aritmetica del primo ordine
• Lista di regole di inferenza
• Logica a due variabili
• Logica di ordine zero
• Logica intensionale
• Logica libera
• Logica lineare
• Espressione ground
• Logica modale
• Logica paraconsistente
• Logica polivalente
• Logica temporale lineare

M

• Matematica inversa
• Metamatematica
• Metodo di Petrick
• Metodo di Quine-McCluskey
• Modus ponens
• Motore inferenziale

N

• Numero surreale

O

• Operatore di Sheffer

P

• Paradosso di Richard
• Pi calcolo
• Potenza logica
• Predicato (logica)
• Predicato funzionale
• Principia Mathematica
• Principio d'induzione
• Principio del buon ordinamento
• Principio di Markov
• Programma di Hilbert
• Proposizione atomica
• Proprietà dell'intersezione finita

Q

• Quantificatore

R

• Rappresentabilità
• Regola di inferenza
• Relazione ben fondata
• Riduzione (matematica)

S

• Segnatura (logica)
• Sequente
• Sillogismo disgiuntivo
• Simulazione
• Sistema assiomatico
• Sistema formale
• Subitizing
• Sussunzione (filosofia)

T

• Tacchino induttivista
• Teorema di deduzione
• Teorema di eliminazione del taglio
• Teorema di Lindström
• Teorema di Löb
• Teoria degli insiemi di Zermelo
• Teoria dei modelli astratti
• Teoria del primo ordine
• Teoria della dimostrazione
• Teoria formale
• Teoria soddisfacibile
• Teorie formali degli insiemi

U

• Uguaglianza (matematica)
• Unicità

V

• Validità (logica)
• Variabile libera
• Variabile predicativa