Indice
12 relazioni: Condizione necessaria e sufficiente, Connettivo logico, Corrispondenza biunivoca, Logica, Matematica, Quantificatore, Quantificatore esistenziale (simbolo), Quantificatore universale (simbolo), Relazione (matematica), Relazione transitiva, Se e solo se, Uguaglianza (matematica).
- Terminologia matematica
Condizione necessaria e sufficiente
Una condizione necessaria e sufficiente, nella logica di una proposizione, è quell'evento che è vero se e solo se la proposizione è vera.
Vedere Unicità e Condizione necessaria e sufficiente
Connettivo logico
Un connettivo logico o operatore logico (nel contesto dell'algebra di Boole, i connettivi logici sono detti anche operatori booleani), è un elemento grammaticale di collegamento che instaura fra due proposizioni A e B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato.
Vedere Unicità e Connettivo logico
Corrispondenza biunivoca
In matematica una corrispondenza biunivoca tra due insiemi X e Y è una relazione binaria tra X e Y, tale che ad ogni elemento di X corrisponda uno ed un solo elemento di Y, e viceversa ad ogni elemento di Y corrisponda uno ed un solo elemento di X. In particolare, la corrispondenza biunivoca è una relazione di equivalenza.
Vedere Unicità e Corrispondenza biunivoca
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio delle relazioni di inferenza tra proposizioni, cioè lo studio delle leggi del ragionamento e della dimostrazione, generalmente definita come una branca della filosofia e la scienza dell'argomentazione.
Vedere Unicità e Logica
Matematica
La matematica (dal greco: μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità, i numeri, lo spazio,.
Vedere Unicità e Matematica
Quantificatore
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche.
Vedere Unicità e Quantificatore
Quantificatore esistenziale (simbolo)
Il quantificatore esistenziale è un carattere tipografico scientifico, molto usato sia in insiemistica che in logica, due campi tra loro affini della matematica; il nome del ∃ ha un'etimologia facilmente ricercabile: con la parola quantificatore si intende la sua funzione di indicare la grandezza o l'estensione di un'affermazione e con esistenziale il fatto che tale proposizione vale sempre almeno per un caso, che dunque esiste.
Vedere Unicità e Quantificatore esistenziale (simbolo)
Quantificatore universale (simbolo)
Il quantificatore universale è un simbolo scientifico, largamente usato in diversi campi della matematica (soprattutto in insiemistica e in logica); il ∀ viene detto quantificatore perché serve a indicare la grandezza o l'estensione di una affermazione ed universale perché l'estensione indicata è sempre totale: non per nulla, infatti, esso ha lettura "per ogni".
Vedere Unicità e Quantificatore universale (simbolo)
Relazione (matematica)
In matematica una relazione è un sottoinsieme del prodotto cartesiano di due o più insiemi.
Vedere Unicità e Relazione (matematica)
Relazione transitiva
In matematica una relazione binaria R in un insieme X è transitiva se e solo se per ogni a, b, c appartenenti a X, se a è in relazione con b e b è in relazione con c, allora a è in relazione con c. In simboli: Per esempio, "è maggiore di" e "è uguale a" sono relazioni transitive: se a.
Vedere Unicità e Relazione transitiva
Se e solo se
In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.
Vedere Unicità e Se e solo se
Uguaglianza (matematica)
In matematica l'uguaglianza indica comunemente una relazione binaria di equivalenza fra due enti, detti membri dell'uguaglianza. Rappresenta uno dei concetti più importanti e fondamentali introdotti a livello della logica di una teoria.
Vedere Unicità e Uguaglianza (matematica)
Vedi anche
Terminologia matematica
- Abuso di notazione
- Ambito (logica)
- Ansatz
- Banale (matematica)
- Bellezza matematica
- Coefficiente
- Coincidenza matematica
- Come volevasi dimostrare
- Condizione necessaria e sufficiente
- Congettura
- Controesempio
- Corollario
- Criptomorfismo
- Definizione
- Diagramma commutativo
- Dimostrazione matematica
- Discesa infinita
- Disequazione
- Disuguaglianza
- Forma canonica
- Formulario mathematico
- Invarianza (matematica)
- Lemma (matematica)
- Lemniscata
- Maggiorante e minorante
- Modello matematico
- Notazione per parti
- Parametro (matematica)
- Proporzionalità (matematica)
- Proprietà (matematica)
- Pseudo-inversa
- Punto percentuale
- Quasi certamente
- Quasi ovunque
- Se e solo se
- Stocastica
- Teorema
- Toy model
- Unicità
- Variabili dipendenti e indipendenti
Conosciuto come Unico.