l'accesso più veloce di browser!
12 relazioni: Assioma della scelta, Completezza (logica matematica), Consequentia mirabilis, Correttezza (logica matematica), Dimostrazione per assurdo, Formula ben formata, Insieme numerabile, Logica matematica, Logica proposizionale, Modello (logica matematica), Principio di non contraddizione, Teoria del primo ordine.
Assioma della scelta
L'assioma della scelta è un assioma di teoria degli insiemi enunciato per la prima volta da Ernst Zermelo nel 1904.
Nuovo!!: Coerenza (logica matematica) e Assioma della scelta · Mostra di più »
Completezza (logica matematica)
Nella logica matematica il concetto di completezza esprime il fatto che un insieme di assiomi è sufficiente a dimostrare tutte le verità di una teoria e quindi a decidere della verità o falsità di qualunque enunciato formulabile nel linguaggio della teoria.
Nuovo!!: Coerenza (logica matematica) e Completezza (logica matematica) · Mostra di più »
Consequentia mirabilis
La consequentia mirabilis (conseguenza ammirevole) è una locuzione in latino anche nota come legge di Clavius, utilizzata in logica classica, che fa derivare la validità di un'affermazione dalla constatazione di inconsistenza della sua negazione.
Nuovo!!: Coerenza (logica matematica) e Consequentia mirabilis · Mostra di più »
Correttezza (logica matematica)
In logica matematica, la correttezza o validità (in inglese soundness) è una proprietà fondamentale delle regole logiche e dei calcoli logici.
Nuovo!!: Coerenza (logica matematica) e Correttezza (logica matematica) · Mostra di più »
Dimostrazione per assurdo
La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come ragionamento per assurdo, è un tipo di argomentazione logica in cui si assume temporaneamente un'ipotesi, si giunge ad una conclusione assurda, e quindi si dimostra che l'assunto originale deve essere errato.
Nuovo!!: Coerenza (logica matematica) e Dimostrazione per assurdo · Mostra di più »
Formula ben formata
Nella logica matematica si chiama formula ben formata o - brevemente - fbf di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso.
Nuovo!!: Coerenza (logica matematica) e Formula ben formata · Mostra di più »
Insieme numerabile
In matematica, e più in particolare nella teoria degli insiemi, un insieme viene detto numerabile se i suoi elementi sono in numero finito oppure se possono essere messi in corrispondenza biunivoca con i numeri naturali.
Nuovo!!: Coerenza (logica matematica) e Insieme numerabile · Mostra di più »
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Nuovo!!: Coerenza (logica matematica) e Logica matematica · Mostra di più »
Logica proposizionale
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi.
Nuovo!!: Coerenza (logica matematica) e Logica proposizionale · Mostra di più »
Modello (logica matematica)
In logica matematica un modello per un linguaggio o una teoria formale è intuitivamente un'attribuzione di un significato a tutti gli enunciati (le formule) del linguaggio.
Nuovo!!: Coerenza (logica matematica) e Modello (logica matematica) · Mostra di più »
Principio di non contraddizione
Nella logica classica, il principio di non-contraddizione afferma la falsità di ogni proposizione implicante che una certa proposizione A e la sua negazione, cioè la proposizione non-A, siano entrambe vere allo stesso tempo e nello stesso modo.
Nuovo!!: Coerenza (logica matematica) e Principio di non contraddizione · Mostra di più »
Teoria del primo ordine
Nella logica matematica una teoria del primo ordine è un particolare sistema formale, cioè una teoria formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
Nuovo!!: Coerenza (logica matematica) e Teoria del primo ordine · Mostra di più »
Riorienta qui:
Coerenza logica, Consistenza (logica matematica), Teoria coerente, Teoria consistente.
