Indice
9 relazioni: Formula atomica, Funzione proposizionale, Logica a due variabili, Logica intensionale, Operatore modale, Proposizione atomica, Simbolo non logico, Teorema di Löb, Variabile predicativa.
Formula atomica
Nella logica matematica, una formula atomica (nota anche come formula prima) è una formula priva di una struttura proposizionale più profonda, cioè una formula che non contiene connettivi logici o equivalentemente una formula che non ha sottoinsiemi di formule rigorose.
Vedere Variabile proposizionale e Formula atomica
Funzione proposizionale
Nel calcolo proposizionale, una funzione proposizionale o predicato è un espresso in un modo tale per cui esso assume il valore di verità vero o falso, ad eccezione del caso in cui al suo interno compaia una variabile (x) non definita o non specificata (e dunque libera), che lascia la proposizione indeterminata.
Vedere Variabile proposizionale e Funzione proposizionale
Logica a due variabili
Nella logica matematica e nell'informatica, la logica a due variabili è la parte della logica del primo ordine le cui formule possono essere scritte mediante due variabili e solitamente senza simboli di funzione.
Vedere Variabile proposizionale e Logica a due variabili
Logica intensionale
La logica intensionale è un'estensione della logica predicativa del primo ordine mediante quantificatori aggiuntivi, in cui la distinzione tra entità intensionali ed estensionali corre parallela alla distinzione tra senso e riferimento ('Sinn e Bedeutung).
Vedere Variabile proposizionale e Logica intensionale
Operatore modale
Un operatore modale è un operatore della logica modale. Esso è anche chiamato connettivo modale in quanto è un connettivo logico di quest'ultima.
Vedere Variabile proposizionale e Operatore modale
Proposizione atomica
Nella logica e nella filosofia analitica, una proposizione atomica è un tipo di proposizione dichiarativa che è vera o falsa e che non può essere scomposta in altre proposizioni più semplici.
Vedere Variabile proposizionale e Proposizione atomica
Simbolo non logico
Nella logica, i linguaggi formali utilizzati per comporre le espressioni sono costituiti da simboli, che possono essere suddivisi in costanti e variabili.
Vedere Variabile proposizionale e Simbolo non logico
Teorema di Löb
Nella logica matematica, il teorema di Löb stabilisce che nell'aritmetica di Peano (PA, o in qualsiasi sistema formale che la includa), per qualsiasi formula P, se è dimostrabile in PA che "se P è dimostrabile in PA allora P è vero", allora P è dimostrabile in PA.
Vedere Variabile proposizionale e Teorema di Löb
Variabile predicativa
Nella logica matematica, una variabile predicativa denota l'ordine dei termini di una relazione che non è stata definita specificatamente e alla quale quindi non è stato associato alcun significato particolare.