Per ogni Matematica, logica Esiste Matematica, logica Esiste ed è Matematica, logica unico Non esiste Matematica, logica Quantificatore universale usato soprattutto in matematica e in logica Quantificatore esistenziale. Indica l'esistenza di almeno una istanza del concetto/oggetto indicato Quantificatore esistenziale di unicità. Indica l'esistenza di esattamente una istanza del concetto/oggetto indicato Quantificatore esistenziale. Nega l'esistenza Tutti simboli utilizzati per la Uguale per Matematica, definizione di un concetto per definizione logica uguaglianza con altri concetti noti Implicazione logica. L'affermazione a Implica; Se Matematica, sinistra del simbolo è condizione …. allora logica sufficiente per quella a destra L'affermazione a sinistra del simbolo Matematica, è condizione Solo se logica necessaria per quella a destra Equivalenza matematica, condizione Matematica, necessaria e Se e solo se logica sufficiente, corrispondenza biunivoca